Job 880

CakeML:45b1619f37337d72ec309252e0e4c5351906545c
  Fit patLang semantics for FMA [May 15 07:58:54]
#633 (FMA_support)
Merging into: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:oven2 4.15.0-34-generic x86_64 GNU/Linux

May 17 12:39:12 Claimed job
May 17 12:39:15 Reusing HOL
May 17 12:39:19 Starting developers
May 17 12:39:20 Finished developers                                               0s  21MB
May 17 12:39:20 Starting developers/bin
May 17 12:39:23 Finished developers/bin                                           2s 144MB
May 17 12:39:23 Starting semantics/ffi
May 17 12:39:31 Finished semantics/ffi                                            7s 240MB
May 17 12:39:31 Starting semantics
May 17 12:39:32 FAILED: semantics
]0;Holmake: .]0;Holmake: ~/regression/HOL-f6c660ddb3151f18cd07b606f2439087858abe20/examples/fun-op-sem/lprefix_lub]0;Holmake: ~/regression/HOL-f6c660ddb3151f18cd07b606f2439087858abe20/examples/fun-op-sem/lprefix_lub[1mWorking in $(HOLDIR)/examples/fun-op-sem/lprefix_lub[0m
]0;Holmake: .]0;Holmake: ~/regression/cakeml-880/developers]0;Holmake: ~/regression/cakeml-880/developers[1mWorking in $(CAKEMLDIR)/developers[0m
]0;Holmake: .]0;Holmake: ~/regression/cakeml-880/misc]0;Holmake: ~/regression/HOL-f6c660ddb3151f18cd07b606f2439087858abe20/examples/machine-code/hoare-triple]0;Holmake: ~/regression/HOL-f6c660ddb3151f18cd07b606f2439087858abe20/examples/machine-code/hoare-triple[1mWorking in $(HOLDIR)/examples/machine-code/hoare-triple[0m
]0;Holmake: ~/regression/cakeml-880/misc]0;Holmake: ~/regression/cakeml-880/misc/lem_lib_stub]0;Holmake: ~/regression/cakeml-880/misc/lem_lib_stub[1mWorking in $(CAKEMLDIR)/misc/lem_lib_stub[0m
]0;Holmake: ~/regression/cakeml-880/misc]0;Holmake: ~/regression/cakeml-880/misc[1mWorking in $(CAKEMLDIR)/misc[0m
Holdep failed: miscScript.sml 3110.2 Bad character >[< after open
Holmake failed with exception: HolDepFailed