Job 1611

CakeML:11ce5f9be7a62a7a9d1e8fc232d385c48c16d833
  Hook up decoder to bootstrap translation [Oct 21 06:45:24]
#841 (eval)
Merging into:e7a5c005596708fcf02ba333f849a5ae1eefdf8a
  Merge pull request #839 from CakeML/lpr_transform [Oct 03 11:04:50]
HOL:273cdc329fc48311e6f259f3614f36602110742a
  Fix diningcryptos example to cope with removal of REAL_SUM from miller [Oct 28 03:32:12]
Machine:oven3 4.19.67.1.amd64-smp

Oct 28 15:04:07 Claimed job
Oct 28 15:04:17 Building HOL
Oct 28 15:28:35 Starting developers
Oct 28 15:28:43 Finished developers                                               7s 141MB
Oct 28 15:28:43 Starting developers/bin
Oct 28 15:28:55 Finished developers/bin                                          12s   1GB
Oct 28 15:28:56 Starting semantics/ffi
Oct 28 15:29:22 Finished semantics/ffi                                           25s 247MB
Oct 28 15:29:22 Starting semantics
Oct 28 15:29:24 FAILED: semantics
Scanning [1m$(HOLDIR)/src/sort[0m
Scanning [1m$(HOLDIR)/src/string[0m
Scanning [1m$(HOLDIR)/src/n-bit[0m
Scanning [1m$(HOLDIR)/src/res_quan/src[0m
Scanning [1m$(HOLDIR)/src/finite_maps[0m
Scanning [1m$(HOLDIR)/examples/formal-languages/context-free[0m
Scanning [1m$(HOLDIR)/src/quotient/src[0m
Scanning [1m$(HOLDIR)/src/transfer[0m
Scanning [1m$(HOLDIR)/src/pred_set/src/more_theories[0m
Scanning [1m$(HOLDIR)/src/coalgebras[0m
Scanning [1m$(HOLDIR)/examples/fun-op-sem/lprefix_lub[0m
Scanning [1m$(CAKEMLDIR)/developers[0m
Scanning [1m$(HOLDIR)/examples/machine-code/hoare-triple[0m
Scanning [1m$(CAKEMLDIR)/misc/lem_lib_stub[0m
Scanning [1m$(CAKEMLDIR)/misc[0m
Scanning [1m$(CAKEMLDIR)/semantics/ffi[0m
Holdep failed: lexer_funScript.sml 515.1 Unterminated string literal
Holmake failed with exception: HolDepFailed
Raised from: /root/regression/HOL-273cdc329fc48311e6f259f3614f36602110742a/tools/Holmake/Holmake_tools.sml: 756:0 - 756:0