CakeML Regression Test

Job 2041

CakeML:c4c296da826f398241d974076f2e27d73691f0d5
  Add sollya as a tool to the floating-point implementation for regress [Nov 23 09:38:20]
#911 (libm_gen)
Merging into:3d27e77937edd037e810801a4e7849352300104f
  Add [schematic] to a definition (suggested by @mn200) [Nov 07 20:36:24]
HOL:126d898e2a2195a717f5757375b93570965286f1
  Cleanup and tweak release notes for next version in a few places [Nov 03 06:41:06]
Machine:oven3

Nov 23 09:38:55 Claimed job
Nov 23 09:38:59 Reusing HOL
Nov 23 09:39:52 Starting developers
Nov 23 09:40:00 FAILED: developers
readme_gen                                                                                                                                                                                            (0s)     OK
Starting work on README.md
README.md                                                                                                                                                                                             (5s)FAIL<1>
 Checking: /local/regression_new/cakeml-2041/floatingPoint/icing
 Checking: /local/regression_new/cakeml-2041/floatingPoint/icing/examples
 Checking: /local/regression_new/cakeml-2041/floatingPoint/icing/examples/output
 Checking: /local/regression_new/cakeml-2041/floatingPoint/tools/dandelion
 ERROR! The first target line must have
 
 all: $(DEFAULT_TARGETS) README.md
 
 as a prefix in /local/regression_new/cakeml-2041/floatingPoint/tools/dandelion/Holmakefile