Job 890

CakeML:c3cbbfd27bd9e1f2836f8f307279178dc76ac571
  Merge pull request #650 from CakeML/tweak-how-to [May 17 12:31:32]
HOL:15a1e85b5308eeb3ca329cafe2c409f1fd21edfd
  Fix Holmake regressions arising from b03aecf7b [May 20 00:34:31]
Machine:te1

May 21 00:07:57 Claimed job
May 21 00:08:01 Building HOL
May 21 00:20:46 Starting developers
May 21 00:20:48 Finished developers                                               2s  33MB
May 21 00:20:48 Starting developers/bin
May 21 00:20:55 Finished developers/bin                                           6s 934MB
May 21 00:20:55 Starting semantics/ffi
May 21 00:21:49 Finished semantics/ffi                                           54s 636MB
May 21 00:21:49 Starting semantics
May 21 00:22:12 FAILED: semantics
]0;Holmake: .]0;Holmake: ~/regression-worker/HOL-15a1e85b5308eeb3ca329cafe2c409f1fd21edfd/examples/fun-op-sem/lprefix_lub]0;Holmake: ~/regression-worker/HOL-15a1e85b5308eeb3ca329cafe2c409f1fd21edfd/examples/fun-op-sem/lprefix_lub[1mWorking in $(HOLDIR)/examples/fun-op-sem/lprefix_lub[0m
Starting work on lprefix_lubTheory
lprefix_lubTheory                                                            OK
]0;Holmake: .]0;Holmake: ~/regression-worker/cakeml-890/developers]0;Holmake: ~/regression-worker/cakeml-890/developers[1mWorking in $(CAKEMLDIR)/developers[0m
]0;Holmake: .]0;Holmake: ~/regression-worker/cakeml-890/misc]0;Holmake: ~/regression-worker/HOL-15a1e85b5308eeb3ca329cafe2c409f1fd21edfd/examples/machine-code/hoare-triple]0;Holmake: ~/regression-worker/HOL-15a1e85b5308eeb3ca329cafe2c409f1fd21edfd/examples/machine-code/hoare-triple[1mWorking in $(HOLDIR)/examples/machine-code/hoare-triple[0m
Starting work on set_sepTheory
Starting work on tailrecTheory
tailrecTheory                                                                OK
set_sepTheory                                                                OK
Starting work on progTheory
progTheory                                                                   OK
Starting work on addressTheory
Starting work on temporalTheory
temporalTheory                                                               OK
addressTheory                                                                OK
]0;Holmake: ~/regression-worker/cakeml-890/misc]0;Holmake: ~/regression-worker/cakeml-890/misc/lem_lib_stub]0;Holmake: ~/regression-worker/cakeml-890/misc/lem_lib_stub[1mWorking in $(CAKEMLDIR)/misc/lem_lib_stub[0m
]0;Holmake: ~/regression-worker/cakeml-890/misc]0;Holmake: ~/regression-worker/cakeml-890/misc[1mWorking in $(CAKEMLDIR)/misc[0m
Holdep failed: miscScript.sml 3110.2 Bad character >[< after open
Holmake failed with exception: HolDepFailed
Raised from: /usr/local/google/home/ramanakumar/regression-worker/HOL-15a1e85b5308eeb3ca329cafe2c409f1fd21edfd/tools/Holmake/Holmake_tools.sml: 637:0 - 637:0