Job 1612

CakeML: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:oven2 4.15.0-34-generic x86_64 GNU/Linux

Oct 28 15:06:12 Claimed job
Oct 28 15:06:22 Building HOL
Oct 28 15:17:34 Starting developers
Oct 28 15:17:37 Finished developers                                               2s 137MB
Oct 28 15:17:37 Starting developers/bin
Oct 28 15:17:43 Finished developers/bin                                           6s   1GB
Oct 28 15:17:44 Starting semantics/ffi
Oct 28 15:17:54 Finished semantics/ffi                                           10s 299MB
Oct 28 15:17:54 Starting semantics
Oct 28 15:17:55 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