Job 883

CakeML:c3cbbfd27bd9e1f2836f8f307279178dc76ac571
  Merge pull request #650 from CakeML/tweak-how-to [May 17 12:31:32]
HOL:f6c660ddb3151f18cd07b606f2439087858abe20
  Further polish Definition documentation (incl. schematic attribute) [May 16 14:38:46]
Machine:brain12 4.14.89.1.amd64-smp x86_64 GNU/Linux

May 17 12:44:00 Claimed job
May 17 12:44:05 Reusing HOL
May 17 12:45:08 Starting developers
May 17 12:45:12 Finished developers                                               3s  30MB
May 17 12:45:12 Starting developers/bin
May 17 12:45:22 Finished developers/bin                                           9s 927MB
May 17 12:45:22 Starting semantics/ffi
May 17 12:45:38 Finished semantics/ffi                                           15s 252MB
May 17 12:45:38 Starting semantics
May 17 12:45:39 FAILED: semantics
]0;Holmake: .]0;Holmake: /local/hbecker/regression/HOL-f6c660ddb3151f18cd07b606f2439087858abe20/examples/fun-op-sem/lprefix_lub]0;Holmake: /local/hbecker/regression/HOL-f6c660ddb3151f18cd07b606f2439087858abe20/examples/fun-op-sem/lprefix_lubWorking in $(HOLDIR)/examples/fun-op-sem/lprefix_lub
]0;Holmake: .]0;Holmake: /local/hbecker/regression/cakeml-883/developers]0;Holmake: /local/hbecker/regression/cakeml-883/developersWorking in $(CAKEMLDIR)/developers
]0;Holmake: .]0;Holmake: /local/hbecker/regression/cakeml-883/misc]0;Holmake: /local/hbecker/regression/HOL-f6c660ddb3151f18cd07b606f2439087858abe20/examples/machine-code/hoare-triple]0;Holmake: /local/hbecker/regression/HOL-f6c660ddb3151f18cd07b606f2439087858abe20/examples/machine-code/hoare-tripleWorking in $(HOLDIR)/examples/machine-code/hoare-triple
]0;Holmake: /local/hbecker/regression/cakeml-883/misc]0;Holmake: /local/hbecker/regression/cakeml-883/misc/lem_lib_stub]0;Holmake: /local/hbecker/regression/cakeml-883/misc/lem_lib_stubWorking in $(CAKEMLDIR)/misc/lem_lib_stub
]0;Holmake: /local/hbecker/regression/cakeml-883/misc]0;Holmake: /local/hbecker/regression/cakeml-883/miscWorking in $(CAKEMLDIR)/misc
Holdep failed: miscScript.sml 3110.2 Bad character >[< after open
Holmake failed with exception: HolDepFailed
Raised from: /local/hbecker/regression/HOL-f6c660ddb3151f18cd07b606f2439087858abe20/tools/Holmake/Holmake_tools.sml: 637:0 - 637:0