Job 1286

CakeML:107033ffe631f1bc87118d7432c551699eabff59
  update several makefiles [Jun 23 05:23:40]
#738 (export_update)
Merging into:6f71ec748c056d9a784b0d01d2b96d77b6e006ca
  Fix some scripts in response to changes in HOL [Jun 18 15:12:28]
HOL:de873d08971c87bcfbbce86cdcd59909ef803929
  Remove some Unicode in src [Jun 22 00:09:18]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Jun 23 06:06:48 Claimed job
Jun 23 06:06:52 Building HOL
Jun 23 06:19:06 Starting developers
Jun 23 06:19:06 Finished developers                                               0s  30MB
Jun 23 06:19:06 Starting developers/bin
Jun 23 06:19:13 Finished developers/bin                                           6s   1GB
Jun 23 06:19:13 Starting semantics/ffi
Jun 23 06:19:22 Finished semantics/ffi                                            8s 268MB
Jun 23 06:19:22 Starting semantics
Jun 23 06:19:34 FAILED: semantics
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
Starting work on grammarTheory
Starting work on lprefix_lubTheory
Starting work on set_sepTheory
Starting work on tailrecTheory
tailrecTheory          real:    0s  user:    0s     OK
Starting work on lem_list_extraTheory
grammarTheory          real:    2s  user:    2s     OK
Starting work on lem_set_extraTheory
lem_set_extraTheory    real:    0s  user:    0s     OK
Starting work on lem_stringTheory
lprefix_lubTheory      real:    3s  user:    3s     OK
Starting work on lem_string_extraTheory
lem_stringTheory       real:    0s  user:    0s     OK
Starting work on byteTheory
lem_list_extraTheory   real:    2s  user:    2s     OK
Starting work on addancs
addancs                real:    0s  user:    0s     OK
Starting work on astScript
astScript              real:    0s  user:    0s     OK
Starting work on fpSemTheory
set_sepTheory          real:    3s  user:    3s     OK
Starting work on progTheory
lem_string_extraTheory real:    2s  user:    2s     OK
Starting work on namespaceScript
namespaceScript        real:    0s  user:    0s     OK
Starting work on namespaceTheory
byteTheory             real:    2s  user:    2s     OK
Starting work on tokensScript
tokensScript           real:    0s  user:    0s     OK
Starting work on tokensTheory
progTheory             real:    3s  user:    2s     OK
Starting work on addressTheory
fpSemTheory            real:    3s  user:    3s     OK
namespaceTheory        real:    2s  user:    2s     OK
Starting work on astTheory
tokensTheory           real:    4s  user:    4s     OK
Starting work on gramTheory
gramTheory             real:    1s  user:    0sFAIL<1>
 /home/myreen/regression/cakeml-1286/semantics/gramScript.sml:10: error: Structure (lcsymtacs) has not been declared
 Found near open lcsymtacs grammarLib
 error in quse /home/myreen/regression/cakeml-1286/semantics/gramScript.sml : Fail "Static Errors"
 error in load /home/myreen/regression/cakeml-1286/semantics/gramScript : Fail "Static Errors"
 Uncaught exception: Fail "Static Errors"
addressTheory                                  M-KILLED
astTheory                                      M-KILLED