CakeML Regression Test

Job 2042

CakeML:f27e83230d2c21cb75295c76965f743d3bf29358
  Fix errors in Holmakefile preventing README.md build [Nov 23 09:54:57]
#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:55:58 Claimed job
Nov 23 09:56:00 Reusing HOL
Nov 23 09:56:52 Starting developers
Nov 23 09:57:00 FAILED: developers
readme_gen                                                                                                                                                                                            (0s)     OK
Starting work on README.md
README.md                                                                                                                                                                                             (6s)FAIL<1>
 Checking: /local/regression_new/cakeml-2042/compiler/proofs
 Checking: /local/regression_new/cakeml-2042/floatingPoint/libmGen
 Checking: /local/regression_new/cakeml-2042/floatingPoint/icing
 Checking: /local/regression_new/cakeml-2042/floatingPoint/icing/examples
 Checking: /local/regression_new/cakeml-2042/floatingPoint/icing/examples/output
 Checking: /local/regression_new/cakeml-2042/floatingPoint/tools/dandelion
 ERROR! readme_gen.sml failed due to:
 sollya: unable to open file: /local/regression_new/cakeml-2042/floatingPoint/tools/dandelion/sollya/README.md
 These errors were in: /local/regression_new/cakeml-2042/floatingPoint/tools/dandelion