Job 1843

CakeML:58e13e40639dc9c3709bb335bc7726098624b09d
  Add RealCake properly to build sequence, update some README's [Apr 01 05:20:00]
#865 (Iced_cake)
Merging into:82bbc7aaff75d6af713057a1095be95f322a08fd
  Merge pull request #870 from CakeML/itree-semantics [Apr 01 07:08:11]
HOL:9808526b233f88ea0a3b91583172af86bafc46ab
  Fix broken proofs after changing several extreal lemmas into [simp] [Mar 31 07:35:03]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Apr 01 09:15:05 Claimed job
Apr 01 09:15:15 Building HOL
Apr 01 09:26:52 Starting developers
Apr 01 09:26:54 FAILED: developers
readme_gen                                                          (0s)     OK
Starting work on README.md
README.md                                                           (0s)FAIL<1>
 Checking: /home/cake/oven/regression/cakeml-1843/icing/flover
 ERROR! Every Holmakefile must include a README.md target. Consider adding:
 
 README_SOURCES = $(wildcard *Script.sml) $(wildcard *Lib.sml) $(wildcard *Syntax.sml)
 DIRS = $(wildcard */)
 README.md: $(CAKEMLDIR)/developers/readme_gen readmePrefix $(patsubst %,%readmePrefix,$(DIRS)) $(README_SOURCES)
 	$(CAKEMLDIR)/developers/readme_gen $(README_SOURCES)
 
 to /home/cake/oven/regression/cakeml-1843/icing/flover/Holmakefile