Job 227

CakeML:f0c2ac13fa817849c0cdc66ca2ea7e95775c88ae
  Port the tutorial exercise generator to CakeML [Feb 22 06:30:04]
#459 (issue380)
Merging into:37a8fbbfaf51a828ac12526de8b07e7c12292231
  Merge pull request #462 from ncough/basis_fix [Feb 22 07:04:02]
HOL:60830f02ff6b86e0fd69ce6679614d497089b2eb
  Merge branch 'master' of https://github.com/HOL-Theorem-Prover/HOL [Feb 20 07:55:14]
Machine:cakeml1796 4.4.0-22-generic x86_64 GNU/Linux

Feb 22 12:40:49 Claimed job
Feb 22 12:40:55 Reusing HOL
Feb 22 12:41:07 Starting semantics/ffi
Feb 22 12:41:27 Finished semantics/ffi                                           18s 250MB
Feb 22 12:41:29 Starting semantics
Feb 22 12:41:32 FAILED: semantics
]0;Holmake: /scratch/cakeml/regression/HOL-60830f02ff6b86e0fd69ce6679614d497089b2eb/examples/formal-languages/context-free]0;Holmake: /scratch/cakeml/regression/HOL-60830f02ff6b86e0fd69ce6679614d497089b2eb/examples/formal-languages/context-freeFinished recursive invocation in /scratch/cakeml/regression/HOL-60830f02ff6b86e0fd69ce6679614d497089b2eb/examples/formal-languages/context-free
]0;Holmake: .Recursively calling Holmake in /scratch/cakeml/regression/HOL-60830f02ff6b86e0fd69ce6679614d497089b2eb/examples/fun-op-sem/lprefix_lub
]0;Holmake: /scratch/cakeml/regression/HOL-60830f02ff6b86e0fd69ce6679614d497089b2eb/examples/fun-op-sem/lprefix_lub]0;Holmake: /scratch/cakeml/regression/HOL-60830f02ff6b86e0fd69ce6679614d497089b2eb/examples/fun-op-sem/lprefix_lubFinished recursive invocation in /scratch/cakeml/regression/HOL-60830f02ff6b86e0fd69ce6679614d497089b2eb/examples/fun-op-sem/lprefix_lub
]0;Holmake: .Recursively calling Holmake in ../misc
]0;Holmake: ../miscRecursively calling Holmake in /scratch/cakeml/regression/HOL-60830f02ff6b86e0fd69ce6679614d497089b2eb/examples/machine-code/hoare-triple
]0;Holmake: /scratch/cakeml/regression/HOL-60830f02ff6b86e0fd69ce6679614d497089b2eb/examples/machine-code/hoare-triple]0;Holmake: /scratch/cakeml/regression/HOL-60830f02ff6b86e0fd69ce6679614d497089b2eb/examples/machine-code/hoare-tripleFinished recursive invocation in /scratch/cakeml/regression/HOL-60830f02ff6b86e0fd69ce6679614d497089b2eb/examples/machine-code/hoare-triple
]0;Holmake: ../miscRecursively calling Holmake in ../developers
]0;Holmake: ../developers]0;Holmake: ../developersStarting work on readme_gen
readme_gen                                                                   OK
Starting work on README.md
README.md                                                           FAILED! <1>
 ERROR! readme_gen.sml cannot produce README.md due to:
 cml_utils: unable to open file: cml_utils/readmePrefix
Finished recursive invocation in ../developers
]0;Holmake: ../miscFinished recursive invocation in ../misc
]0;Holmake: .