Job 1071

CakeML:269f87aa83ca27ae9aa19db786c53d6b793f565b
  Patch up broken proof in iocatProg (see comments) [Nov 09 11:51:02]
#700 (iocatprog-fix)
Merging into:dc73bd8f21601e06bdc92eb303865a3992673970
  Merge pull request #694 from CakeML/remove-oom [Oct 13 07:36:28]
HOL:63cafe0c6fe8ccc9745d4df57ceeeed75f009fc2
  Holmake: prevent starred dependencies from spawning 2 jobs [Nov 05 03:23:34]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Nov 09 14:45:55 Claimed job
Nov 09 14:46:03 Building HOL
Nov 09 14:55:31 Starting developers
Nov 09 14:55:33 Finished developers                                               2s  93MB
Nov 09 14:55:34 Starting developers/bin
Nov 09 14:55:38 Finished developers/bin                                           3s 164MB
Nov 09 14:55:38 Starting semantics/ffi
Nov 09 14:55:46 Finished semantics/ffi                                            7s 221MB
Nov 09 14:55:46 Starting semantics
Nov 09 14:57:12 Finished semantics                                             1m25s   1GB
Nov 09 14:57:12 Starting semantics/proofs
Nov 09 15:00:11 Finished semantics/proofs                                      2m58s   1GB
Nov 09 15:00:11 Starting semantics/alt_semantics
Nov 09 15:00:18 Finished semantics/alt_semantics                                  6s 314MB
Nov 09 15:00:18 Starting semantics/alt_semantics/proofs
Nov 09 15:02:09 Finished semantics/alt_semantics/proofs                        1m50s 756MB
Nov 09 15:02:10 Starting basis/pure
Nov 09 15:05:04 Finished basis/pure                                            2m54s 861MB
Nov 09 15:05:04 Starting translator
Nov 09 15:06:53 Finished translator                                            1m47s   1GB
Nov 09 15:06:53 Starting compiler/parsing
Nov 09 15:07:53 Finished compiler/parsing                                      1m00s   1GB
Nov 09 15:07:53 Starting characteristic
Nov 09 15:13:09 Finished characteristic                                        5m15s   2GB
Nov 09 15:13:09 Starting translator/monadic
Nov 09 15:14:38 Finished translator/monadic                                    1m28s   1GB
Nov 09 15:14:38 Starting basis
Nov 09 15:34:22 Finished basis                                                19m43s   2GB
Nov 09 15:34:22 Starting compiler/inference
Nov 09 15:36:07 Finished compiler/inference                                    1m44s   1GB
Nov 09 15:36:07 Starting compiler/backend/reg_alloc
Nov 09 15:37:08 Finished compiler/backend/reg_alloc                            1m00s   1GB
Nov 09 15:37:08 Starting compiler/backend/gc
Nov 09 15:40:21 Finished compiler/backend/gc                                   3m13s   1GB
Nov 09 15:40:22 Starting compiler/backend
Nov 09 15:44:09 Finished compiler/backend                                      3m47s   2GB
Nov 09 15:44:09 Starting compiler/encoders/asm
Nov 09 15:44:30 Finished compiler/encoders/asm                                   19s 722MB
Nov 09 15:44:30 Starting compiler/encoders/x64
Nov 09 15:45:22 Finished compiler/encoders/x64                                   51s 967MB
Nov 09 15:45:22 Starting compiler/encoders/arm7
Nov 09 15:47:00 Finished compiler/encoders/arm7                                1m37s   1GB
Nov 09 15:47:01 Starting compiler/encoders/arm8
Nov 09 15:47:31 Finished compiler/encoders/arm8                                  29s 508MB
Nov 09 15:47:31 Starting compiler/encoders/mips
Nov 09 15:48:37 Finished compiler/encoders/mips                                1m05s 863MB
Nov 09 15:48:37 Starting compiler/encoders/riscv
Nov 09 15:49:57 Finished compiler/encoders/riscv                               1m19s 821MB
Nov 09 15:49:57 Starting compiler/encoders/ag32
Nov 09 15:50:13 Finished compiler/encoders/ag32                                  15s 504MB
Nov 09 15:50:13 Starting compiler/backend/x64
Nov 09 15:50:30 Finished compiler/backend/x64                                    16s   1GB
Nov 09 15:50:30 Starting compiler/backend/arm7
Nov 09 15:50:49 Finished compiler/backend/arm7                                   18s   1GB
Nov 09 15:50:49 Starting compiler/backend/arm8
Nov 09 15:51:06 Finished compiler/backend/arm8                                   16s   1GB
Nov 09 15:51:07 Starting compiler/backend/mips
Nov 09 15:51:23 Finished compiler/backend/mips                                   15s 955MB
Nov 09 15:51:23 Starting compiler/backend/riscv
Nov 09 15:51:41 Finished compiler/backend/riscv                                  17s   1GB
Nov 09 15:51:41 Starting compiler/backend/ag32
Nov 09 15:52:48 Finished compiler/backend/ag32                                 1m06s   1GB
Nov 09 15:52:48 Starting compiler/parsing/proofs
Nov 09 15:58:27 Finished compiler/parsing/proofs                               5m38s   1GB
Nov 09 15:58:27 Starting compiler/inference/proofs
Nov 09 16:01:11 Finished compiler/inference/proofs                             2m44s 845MB
Nov 09 16:01:12 Starting compiler/backend/semantics
Nov 09 16:07:24 Finished compiler/backend/semantics                            6m12s   1GB
Nov 09 16:07:25 Starting compiler/backend/reg_alloc/proofs
Nov 09 16:10:51 Finished compiler/backend/reg_alloc/proofs                     3m26s 944MB
Nov 09 16:10:51 Starting compiler/backend/proofs
Nov 09 16:57:47 Finished compiler/backend/proofs                              46m54s   4GB
Nov 09 16:57:47 Starting compiler/encoders/x64/proofs
Nov 09 17:08:45 Finished compiler/encoders/x64/proofs                         10m58s   4GB
Nov 09 17:08:46 Starting compiler/encoders/arm7/proofs
Nov 09 17:21:50 Finished compiler/encoders/arm7/proofs                        13m04s   5GB
Nov 09 17:21:51 Starting compiler/encoders/arm8/proofs
Nov 09 17:28:27 Finished compiler/encoders/arm8/proofs                         6m36s   1GB
Nov 09 17:28:28 Starting compiler/encoders/mips/proofs
Nov 09 17:38:22 Finished compiler/encoders/mips/proofs                         9m53s   3GB
Nov 09 17:38:22 Starting compiler/encoders/riscv/proofs
Nov 09 17:47:06 Finished compiler/encoders/riscv/proofs                        8m43s   1GB
Nov 09 17:47:06 Starting compiler/encoders/ag32/proofs
Nov 09 17:49:40 Finished compiler/encoders/ag32/proofs                         2m34s 843MB
Nov 09 17:49:41 Starting compiler/backend/x64/proofs
Nov 09 17:49:59 Finished compiler/backend/x64/proofs                             18s   1GB
Nov 09 17:49:59 Starting compiler/backend/arm7/proofs
Nov 09 17:50:18 Finished compiler/backend/arm7/proofs                            18s 885MB
Nov 09 17:50:18 Starting compiler/backend/arm8/proofs
Nov 09 17:50:36 Finished compiler/backend/arm8/proofs                            17s   1GB
Nov 09 17:50:36 Starting compiler/backend/mips/proofs
Nov 09 17:50:54 Finished compiler/backend/mips/proofs                            18s   1GB
Nov 09 17:50:55 Starting compiler/backend/riscv/proofs
Nov 09 17:51:13 Finished compiler/backend/riscv/proofs                           17s   1GB
Nov 09 17:51:13 Starting compiler/backend/ag32/proofs
Nov 09 18:00:48 Finished compiler/backend/ag32/proofs                          9m34s   2GB
Nov 09 18:00:49 Starting compiler/proofs
Nov 09 18:02:28 Finished compiler/proofs                                       1m38s   3GB
Nov 09 18:02:28 Starting candle/set-theory
Nov 09 18:02:55 Finished candle/set-theory                                       27s 708MB
Nov 09 18:02:56 Starting candle/syntax-lib
Nov 09 18:03:05 Finished candle/syntax-lib                                        9s 631MB
Nov 09 18:03:06 Starting candle/standard/syntax
Nov 09 18:04:55 Finished candle/standard/syntax                                1m49s   1GB
Nov 09 18:04:55 Starting candle/standard/semantics
Nov 09 18:06:35 Finished candle/standard/semantics                             1m39s   1GB
Nov 09 18:06:35 Starting candle/standard/monadic
Nov 09 18:08:16 Finished candle/standard/monadic                               1m40s   1GB
Nov 09 18:08:16 Starting candle/standard/ml_kernel
Nov 09 18:12:23 Finished candle/standard/ml_kernel                             4m06s   3GB
Nov 09 18:12:23 Starting candle/standard/opentheory
Nov 09 18:21:40 Finished candle/standard/opentheory                            9m16s   4GB
Nov 09 18:21:40 Starting candle/standard/opentheory/compilation
Nov 09 18:54:20 Finished candle/standard/opentheory/compilation               32m39s  16GB
Nov 09 18:54:20 Starting candle/standard/opentheory/compilation/proofs
Nov 09 18:55:06 Finished candle/standard/opentheory/compilation/proofs           46s   2GB
Nov 09 18:55:07 Starting characteristic/examples
Nov 09 18:56:42 Finished characteristic/examples                               1m35s   2GB
Nov 09 18:56:42 Starting tutorial/solutions
Nov 09 19:12:16 Finished tutorial/solutions                                   15m33s   6GB
Nov 09 19:12:17 Starting translator/monadic/examples
Nov 09 19:16:22 Finished translator/monadic/examples                           4m05s   2GB
Nov 09 19:16:22 Starting examples
Nov 09 19:30:05 Finished examples                                             13m42s   4GB
Nov 09 19:30:05 Starting examples/compilation/x64
Nov 09 21:42:46 Finished examples/compilation/x64                           2h12m39s  10GB
Nov 09 21:42:46 Starting examples/compilation/x64/proofs
Nov 09 21:45:01 Finished examples/compilation/x64/proofs                       2m13s   2GB
Nov 09 21:45:01 Starting examples/compilation/ag32
Nov 09 22:14:02 Finished examples/compilation/ag32                            29m01s   5GB
Nov 09 22:14:03 Starting examples/compilation/ag32/proofs
Nov 09 22:14:52 Finished examples/compilation/ag32/proofs                        48s   2GB
Nov 09 22:14:52 Starting translator/okasaki-examples
Nov 09 22:19:03 Finished translator/okasaki-examples                           4m10s   1GB
Nov 09 22:19:05 Starting translator/other-examples
Nov 09 22:20:52 Finished translator/other-examples                             1m46s   1GB
Nov 09 22:20:52 Starting compiler/parsing/tests
Nov 09 22:21:17 Finished compiler/parsing/tests                                  25s 526MB
Nov 09 22:21:18 Starting compiler/inference/tests
Nov 09 22:25:36 Finished compiler/inference/tests                              4m18s   5GB
Nov 09 22:25:36 Starting compiler/bootstrap/translation
Nov 10 01:01:25 Finished compiler/bootstrap/translation                     2h35m47s  44GB
Nov 10 01:01:25 Starting unverified/sexpr-bootstrap/x64/64
Nov 10 01:14:32 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:  119s  user:  115s     OK
Starting work on cake.S
cake.S                                                                                                                                            real:  660s  user:  636s     OK
Starting work on cake
cake                                                                                                                                              real:    3s  user:    2sFAIL<2>
 cake.S:(.text+0x10927c1): undefined reference to `ffiget_arg_count'
 /tmp/ccE0tU05.o: In function `windows_ffiwrite':
 cake.S:(.text+0x10927d2): undefined reference to `ffiwrite'
 /tmp/ccE0tU05.o: In function `windows_ffiread':
 cake.S:(.text+0x10927e3): undefined reference to `ffiread'
 /tmp/ccE0tU05.o: In function `windows_ffi':
 cake.S:(.text+0x10927f4): undefined reference to `ffi'
 collect2: error: ld returned 1 exit status
 <builtin>: recipe for target '/home/myreen/regression/cakeml-1071/unverified/sexpr-bootstrap/x64/64/cake' failed
 make: *** [/home/myreen/regression/cakeml-1071/unverified/sexpr-bootstrap/x64/64/cake] Error 1