Job 1076

CakeML:2680f32a69334bea368d0928d98b6f1fccd1f15d
  Fix translation of parserProg given new validAddSym constant [Nov 12 05:58:45]
#695 (ocaml-infixes)
Merging into:a0a73be366a40123567f97a747fbaffa114b6352
  Merge pull request #700 from CakeML/iocatprog-fix [Nov 10 16:39:33]
HOL:63cafe0c6fe8ccc9745d4df57ceeeed75f009fc2
  Holmake: prevent starred dependencies from spawning 2 jobs [Nov 05 03:23:34]
Machine:oven3 4.19.67.1.amd64-smp

Nov 12 08:46:46 Claimed job
Nov 12 08:46:51 Reusing HOL
Nov 12 08:47:48 Starting developers
Nov 12 08:47:54 Finished developers                                               6s 116MB
Nov 12 08:47:54 Starting developers/bin
Nov 12 08:48:08 Finished developers/bin                                          13s 972MB
Nov 12 08:48:08 Starting semantics/ffi
Nov 12 08:48:30 Finished semantics/ffi                                           22s 232MB
Nov 12 08:48:30 Starting semantics
Nov 12 08:51:06 Finished semantics                                             2m35s   1GB
Nov 12 08:51:06 Starting semantics/proofs
Nov 12 08:57:44 Finished semantics/proofs                                      6m37s   1GB
Nov 12 08:57:44 Starting semantics/alt_semantics
Nov 12 08:58:02 Finished semantics/alt_semantics                                 17s 309MB
Nov 12 08:58:02 Starting semantics/alt_semantics/proofs
Nov 12 09:01:59 Finished semantics/alt_semantics/proofs                        3m56s 786MB
Nov 12 09:01:59 Starting basis/pure
Nov 12 09:03:38 Finished basis/pure                                            1m39s 787MB
Nov 12 09:03:39 Starting translator
Nov 12 09:07:20 Finished translator                                            3m40s   1GB
Nov 12 09:07:20 Starting compiler/parsing
Nov 12 09:09:38 Finished compiler/parsing                                      2m17s   3GB
Nov 12 09:09:38 Starting characteristic
Nov 12 09:20:58 Finished characteristic                                       11m20s   2GB
Nov 12 09:20:59 Starting translator/monadic
Nov 12 09:24:08 Finished translator/monadic                                    3m09s   1GB
Nov 12 09:24:08 Starting basis
Nov 12 10:05:22 Finished basis                                                41m13s   2GB
Nov 12 10:05:22 Starting compiler/inference
Nov 12 10:08:57 Finished compiler/inference                                    3m34s   1GB
Nov 12 10:08:57 Starting compiler/backend/reg_alloc
Nov 12 10:10:53 Finished compiler/backend/reg_alloc                            1m56s   1GB
Nov 12 10:10:54 Starting compiler/backend/gc
Nov 12 10:16:50 Finished compiler/backend/gc                                   5m56s   2GB
Nov 12 10:16:51 Starting compiler/backend
Nov 12 10:23:47 Finished compiler/backend                                      6m56s   2GB
Nov 12 10:23:47 Starting compiler/encoders/asm
Nov 12 10:24:31 Finished compiler/encoders/asm                                   43s 816MB
Nov 12 10:24:32 Starting compiler/encoders/x64
Nov 12 10:25:24 Finished compiler/encoders/x64                                   52s 754MB
Nov 12 10:25:24 Starting compiler/encoders/arm7
Nov 12 10:27:07 Finished compiler/encoders/arm7                                1m42s 664MB
Nov 12 10:27:08 Starting compiler/encoders/arm8
Nov 12 10:27:35 Finished compiler/encoders/arm8                                  26s 919MB
Nov 12 10:27:35 Starting compiler/encoders/mips
Nov 12 10:28:11 Finished compiler/encoders/mips                                  35s   1GB
Nov 12 10:28:11 Starting compiler/encoders/riscv
Nov 12 10:28:40 Finished compiler/encoders/riscv                                 28s 830MB
Nov 12 10:28:40 Starting compiler/encoders/ag32
Nov 12 10:29:18 Finished compiler/encoders/ag32                                  38s 593MB
Nov 12 10:29:19 Starting compiler/backend/x64
Nov 12 10:29:56 Finished compiler/backend/x64                                    37s   1GB
Nov 12 10:29:57 Starting compiler/backend/arm7
Nov 12 10:30:38 Finished compiler/backend/arm7                                   41s   1GB
Nov 12 10:30:38 Starting compiler/backend/arm8
Nov 12 10:31:15 Finished compiler/backend/arm8                                   36s   1GB
Nov 12 10:31:15 Starting compiler/backend/mips
Nov 12 10:31:53 Finished compiler/backend/mips                                   38s   1GB
Nov 12 10:31:53 Starting compiler/backend/riscv
Nov 12 10:32:34 Finished compiler/backend/riscv                                  40s   1GB
Nov 12 10:32:35 Starting compiler/backend/ag32
Nov 12 10:35:00 Finished compiler/backend/ag32                                 2m24s   1GB
Nov 12 10:35:00 Starting compiler/parsing/proofs
Nov 12 10:47:11 Finished compiler/parsing/proofs                              12m10s 929MB
Nov 12 10:47:11 Starting compiler/inference/proofs
Nov 12 10:53:24 Finished compiler/inference/proofs                             6m12s   1GB
Nov 12 10:53:24 Starting compiler/backend/semantics
Nov 12 11:05:15 Finished compiler/backend/semantics                           11m51s   1GB
Nov 12 11:05:15 Starting compiler/backend/reg_alloc/proofs
Nov 12 11:12:41 Finished compiler/backend/reg_alloc/proofs                     7m24s 767MB
Nov 12 11:12:41 Starting compiler/backend/proofs
Nov 12 12:28:59 Finished compiler/backend/proofs                            1h16m17s   4GB
Nov 12 12:28:59 Starting compiler/encoders/x64/proofs
Nov 12 12:49:23 Finished compiler/encoders/x64/proofs                         20m23s   3GB
Nov 12 12:49:23 Starting compiler/encoders/arm7/proofs
Nov 12 13:16:56 Finished compiler/encoders/arm7/proofs                        27m33s   3GB
Nov 12 13:16:57 Starting compiler/encoders/arm8/proofs
Nov 12 13:30:47 Finished compiler/encoders/arm8/proofs                        13m50s   1GB
Nov 12 13:30:47 Starting compiler/encoders/mips/proofs
Nov 12 13:51:54 Finished compiler/encoders/mips/proofs                        21m06s   2GB
Nov 12 13:51:54 Starting compiler/encoders/riscv/proofs
Nov 12 14:10:35 Finished compiler/encoders/riscv/proofs                       18m40s   1GB
Nov 12 14:10:35 Starting compiler/encoders/ag32/proofs
Nov 12 14:15:57 Finished compiler/encoders/ag32/proofs                         5m21s 825MB
Nov 12 14:15:58 Starting compiler/backend/x64/proofs
Nov 12 14:16:36 Finished compiler/backend/x64/proofs                             38s   1GB
Nov 12 14:16:36 Starting compiler/backend/arm7/proofs
Nov 12 14:17:17 Finished compiler/backend/arm7/proofs                            40s   1GB
Nov 12 14:17:18 Starting compiler/backend/arm8/proofs
Nov 12 14:17:55 Finished compiler/backend/arm8/proofs                            36s 790MB
Nov 12 14:17:55 Starting compiler/backend/mips/proofs
Nov 12 14:18:35 Finished compiler/backend/mips/proofs                            39s   1GB
Nov 12 14:18:35 Starting compiler/backend/riscv/proofs
Nov 12 14:19:13 Finished compiler/backend/riscv/proofs                           38s 857MB
Nov 12 14:19:13 Starting compiler/backend/ag32/proofs
Nov 12 14:38:16 Finished compiler/backend/ag32/proofs                         19m02s   2GB
Nov 12 14:38:16 Starting compiler/proofs
Nov 12 14:41:31 Finished compiler/proofs                                       3m14s   3GB
Nov 12 14:41:31 Starting candle/set-theory
Nov 12 14:42:27 Finished candle/set-theory                                       55s 685MB
Nov 12 14:42:27 Starting candle/syntax-lib
Nov 12 14:42:49 Finished candle/syntax-lib                                       22s 639MB
Nov 12 14:42:50 Starting candle/standard/syntax
Nov 12 14:46:35 Finished candle/standard/syntax                                3m44s 924MB
Nov 12 14:46:35 Starting candle/standard/semantics
Nov 12 14:50:08 Finished candle/standard/semantics                             3m33s   1GB
Nov 12 14:50:08 Starting candle/standard/monadic
Nov 12 14:53:35 Finished candle/standard/monadic                               3m26s   1GB
Nov 12 14:53:36 Starting candle/standard/ml_kernel
Nov 12 15:01:53 Finished candle/standard/ml_kernel                             8m17s   3GB
Nov 12 15:01:53 Starting candle/standard/opentheory
Nov 12 15:20:41 Finished candle/standard/opentheory                           18m47s   3GB
Nov 12 15:20:41 Starting candle/standard/opentheory/compilation
Nov 12 16:22:59 Finished candle/standard/opentheory/compilation             1h02m18s  17GB
Nov 12 16:23:00 Starting candle/standard/opentheory/compilation/proofs
Nov 12 16:24:59 Finished candle/standard/opentheory/compilation/proofs         1m59s   2GB
Nov 12 16:25:00 Starting characteristic/examples
Nov 12 16:28:07 Finished characteristic/examples                               3m07s   2GB
Nov 12 16:28:07 Starting tutorial/solutions
Nov 12 16:57:16 Finished tutorial/solutions                                   29m08s   7GB
Nov 12 16:57:16 Starting translator/monadic/examples
Nov 12 17:02:16 Finished translator/monadic/examples                           4m59s   2GB
Nov 12 17:02:16 Starting examples
Nov 12 17:17:45 Finished examples                                             15m29s   3GB
Nov 12 17:17:46 Starting examples/compilation/x64
Nov 12 21:49:45 Finished examples/compilation/x64                           4h31m58s  12GB
Nov 12 21:49:45 Starting examples/compilation/x64/proofs
Nov 12 21:53:09 Finished examples/compilation/x64/proofs                       3m23s   2GB
Nov 12 21:53:09 Starting examples/compilation/ag32
Nov 12 22:57:34 Finished examples/compilation/ag32                          1h04m24s   6GB
Nov 12 22:57:35 Starting examples/compilation/ag32/proofs
Nov 12 22:59:13 Finished examples/compilation/ag32/proofs                      1m38s   3GB
Nov 12 22:59:13 Starting translator/okasaki-examples
Nov 12 23:07:37 Finished translator/okasaki-examples                           8m23s   1GB
Nov 12 23:07:38 Starting translator/other-examples
Nov 12 23:08:50 Finished translator/other-examples                             1m12s   1GB
Nov 12 23:08:50 Starting compiler/parsing/tests
Nov 12 23:09:46 Finished compiler/parsing/tests                                  55s 614MB
Nov 12 23:09:46 Starting compiler/inference/tests
Nov 12 23:18:13 Finished compiler/inference/tests                              8m26s   5GB
Nov 12 23:18:13 Starting compiler/bootstrap/translation
Nov 13 04:49:42 Finished compiler/bootstrap/translation                     5h31m28s  73GB
Nov 13 04:49:42 Starting unverified/sexpr-bootstrap/x64/64
Nov 13 05:15:14 FAILED: unverified/sexpr-bootstrap/x64/64
Scanning [1m$(HOLDIR)/examples/balanced_bst[0m
Scanning [1m$(HOLDIR)/examples/formal-languages[0m
Scanning [1m$(HOLDIR)/examples/formal-languages/context-free[0m
Scanning [1m$(HOLDIR)/examples/formal-languages/regular[0m
Scanning [1m$(HOLDIR)/examples/fun-op-sem/lprefix_lub[0m
Scanning [1m$(CAKEMLDIR)/developers[0m
Scanning [1m$(CAKEMLDIR)/misc/lem_lib_stub[0m
Scanning [1m$(CAKEMLDIR)/misc[0m
Scanning [1m$(CAKEMLDIR)/basis/pure[0m
Scanning [1m$(CAKEMLDIR)/semantics/ffi[0m
Scanning [1m$(CAKEMLDIR)/semantics[0m
Scanning [1m$(CAKEMLDIR)/compiler/parsing[0m
Scanning [1m$(CAKEMLDIR)/semantics/proofs[0m
Scanning [1m$(CAKEMLDIR)/translator[0m
Scanning [1m$(CAKEMLDIR)/characteristic[0m
Scanning [1m$(HOLDIR)/examples/l3-machine-code/common[0m
Scanning [1m$(HOLDIR)/examples/l3-machine-code/lib[0m
Scanning [1m$(HOLDIR)/examples/l3-machine-code/arm/model[0m
Scanning [1m$(HOLDIR)/examples/l3-machine-code/arm8/model[0m
Scanning [1m$(HOLDIR)/examples/l3-machine-code/mips/model[0m
Scanning [1m$(HOLDIR)/examples/l3-machine-code/riscv/model[0m
Scanning [1m$(HOLDIR)/examples/l3-machine-code/x64/model[0m
Scanning [1m$(CAKEMLDIR)/translator/monadic/monad_base[0m
Scanning [1m$(CAKEMLDIR)/translator/monadic[0m
Scanning [1m$(CAKEMLDIR)/basis[0m
Scanning [1m$(HOLDIR)/examples/machine-code/multiword[0m
Scanning [1m$(CAKEMLDIR)/unverified/reg_alloc[0m
Scanning [1m$(CAKEMLDIR)/compiler/backend/reg_alloc[0m
Scanning [1m$(CAKEMLDIR)/compiler/encoders/asm[0m
Scanning [1m$(CAKEMLDIR)/compiler/backend[0m
Scanning [1m$(CAKEMLDIR)/compiler/encoders/ag32[0m
Scanning [1m$(CAKEMLDIR)/compiler/backend/ag32[0m
Scanning [1m$(HOLDIR)/examples/machine-code/decompiler[0m
Scanning [1m$(HOLDIR)/examples/l3-machine-code[0m
Scanning [1m$(HOLDIR)/examples/l3-machine-code/arm/step[0m
Scanning [1m$(CAKEMLDIR)/compiler/encoders/arm7[0m
Scanning [1m$(CAKEMLDIR)/compiler/backend/arm7[0m
Scanning [1m$(HOLDIR)/examples/l3-machine-code/arm8/step[0m
Scanning [1m$(CAKEMLDIR)/compiler/encoders/arm8[0m
Scanning [1m$(CAKEMLDIR)/compiler/backend/arm8[0m
Scanning [1m$(HOLDIR)/examples/l3-machine-code/mips/step[0m
Scanning [1m$(CAKEMLDIR)/compiler/encoders/mips[0m
Scanning [1m$(CAKEMLDIR)/compiler/backend/mips[0m
Scanning [1m$(HOLDIR)/examples/l3-machine-code/riscv/step[0m
Scanning [1m$(CAKEMLDIR)/compiler/encoders/riscv[0m
Scanning [1m$(CAKEMLDIR)/compiler/backend/riscv[0m
Scanning [1m$(HOLDIR)/examples/l3-machine-code/x64/step[0m
Scanning [1m$(CAKEMLDIR)/compiler/encoders/x64[0m
Scanning [1m$(CAKEMLDIR)/compiler/backend/x64[0m
Scanning [1m$(HOLDIR)/examples/unification/triangular[0m
Scanning [1m$(HOLDIR)/examples/unification/triangular/first-order[0m
Scanning [1m$(CAKEMLDIR)/compiler/inference[0m
Scanning [1m$(CAKEMLDIR)/compiler[0m
Scanning [1m$(CAKEMLDIR)/compiler/backend/reg_alloc/proofs[0m
Scanning [1m$(CAKEMLDIR)/compiler/encoders/monadic_enc[0m
Scanning [1m$(CAKEMLDIR)/compiler/inference/proofs[0m
Scanning [1m$(CAKEMLDIR)/compiler/bootstrap/translation[0m
Scanning [1m$(CAKEMLDIR)/developers/bin[0m
Scanning [1m$(CAKEMLDIR)/unverified/sexpr-bootstrap[0m
Starting work on README.md
Starting work on cake-sexpr-x64-64
README.md                                                                                                                                                                          real:    0s  user:    0s     OK
cake-sexpr-x64-64                                                                                                                                                                  real:  184s  user:  176s     OK
Starting work on cake.S
cake.S                                                                                                                                                                             real: 1325s  user: 1268s     OK
Starting work on cake
cake                                                                                                                                                                               real:   12s  user:    9sFAIL<2>
 cake.S:(.text+0x108f4ed): undefined reference to `ffiget_arg_count'
 /tmp/cc1NmNkZ.o: In function `windows_ffiwrite':
 cake.S:(.text+0x108f4fe): undefined reference to `ffiwrite'
 /tmp/cc1NmNkZ.o: In function `windows_ffiread':
 cake.S:(.text+0x108f50f): undefined reference to `ffiread'
 /tmp/cc1NmNkZ.o: In function `windows_ffi':
 cake.S:(.text+0x108f520): undefined reference to `ffi'
 collect2: error: ld returned 1 exit status
 make: *** [/root/regression/cakeml-1076/unverified/sexpr-bootstrap/x64/64/cake] Error 1
 <builtin>: recipe for target '/root/regression/cakeml-1076/unverified/sexpr-bootstrap/x64/64/cake' failed