Overview

Job 1838

CakeML:1c24925dde3aebca0c5babd00400ec7efa5caab7
  Add readmePrefix for FloVer
#865 (Iced_cake)
Merging into:94ac4b68ba71917ede94f5bb752deb85333acb21
  Fix a build error caused by HOL-Theorem-Prover/HOL@60adf92493ffff
HOL:e423188b196a54551b2b4fddb00dc960d0ee96c4
  Minkowski's inequality and its applications in Probability (#1009)
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

 Claimed job
 Reusing HOL
 Starting developers
 FAILED: developers
readme_gen                                                          (0s)     OK
Starting work on README.md
README.md                                                           (0s)FAIL<1>
 Checking: /home/cake/oven/regression/cakeml-1838/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-1838/icing/flover/Holmakefile