Job 1080

CakeML:90b7cdde216ee33d1bf113626daeeaa3bdbaa8d8
  Replace direct calls to $< by exec [Nov 12 15:37:37]
#704 (sexpr-bootstrap-fix)
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:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Nov 12 15:42:18 Claimed job
Nov 12 15:42:20 Reusing HOL
Nov 12 15:43:13 Starting developers
Nov 12 15:43:17 Finished developers                                               3s  74MB
Nov 12 15:43:17 Starting developers/bin
Nov 12 15:43:24 Finished developers/bin                                           6s 960MB
Nov 12 15:43:24 Starting semantics/ffi
Nov 12 15:43:33 Finished semantics/ffi                                            9s 239MB
Nov 12 15:43:33 Starting semantics
Nov 12 15:44:51 Finished semantics                                             1m17s   1GB
Nov 12 15:44:51 Starting semantics/proofs
Nov 12 15:47:54 Finished semantics/proofs                                      3m02s   1GB
Nov 12 15:47:54 Starting semantics/alt_semantics
Nov 12 15:48:01 Finished semantics/alt_semantics                                  7s 310MB
Nov 12 15:48:02 Starting semantics/alt_semantics/proofs
Nov 12 15:49:48 Finished semantics/alt_semantics/proofs                        1m46s 708MB
Nov 12 15:49:49 Starting basis/pure
Nov 12 15:50:36 Finished basis/pure                                              47s 653MB
Nov 12 15:50:36 Starting translator
Nov 12 15:52:21 Finished translator                                            1m44s   1GB
Nov 12 15:52:21 Starting compiler/parsing
Nov 12 15:53:18 Finished compiler/parsing                                        56s   2GB
Nov 12 15:53:18 Starting characteristic
Nov 12 15:58:35 Finished characteristic                                        5m16s   1GB
Nov 12 15:58:35 Starting translator/monadic
Nov 12 16:00:04 Finished translator/monadic                                    1m28s   1GB
Nov 12 16:00:04 Starting basis
Nov 12 16:19:47 Finished basis                                                19m42s   2GB
Nov 12 16:19:47 Starting compiler/inference
Nov 12 16:21:23 Finished compiler/inference                                    1m36s   1GB
Nov 12 16:21:23 Starting compiler/backend/reg_alloc
Nov 12 16:22:23 Finished compiler/backend/reg_alloc                              59s   1GB
Nov 12 16:22:23 Starting compiler/backend/gc
Nov 12 16:25:22 Finished compiler/backend/gc                                   2m58s   1GB
Nov 12 16:25:22 Starting compiler/backend
Nov 12 16:29:05 Finished compiler/backend                                      3m43s   2GB
Nov 12 16:29:05 Starting compiler/encoders/asm
Nov 12 16:29:26 Finished compiler/encoders/asm                                   20s 890MB
Nov 12 16:29:26 Starting compiler/encoders/x64
Nov 12 16:29:49 Finished compiler/encoders/x64                                   22s 655MB
Nov 12 16:29:49 Starting compiler/encoders/arm7
Nov 12 16:30:34 Finished compiler/encoders/arm7                                  44s 805MB
Nov 12 16:30:34 Starting compiler/encoders/arm8
Nov 12 16:30:46 Finished compiler/encoders/arm8                                  11s 650MB
Nov 12 16:30:46 Starting compiler/encoders/mips
Nov 12 16:31:03 Finished compiler/encoders/mips                                  16s   1GB
Nov 12 16:31:03 Starting compiler/encoders/riscv
Nov 12 16:31:17 Finished compiler/encoders/riscv                                 13s 786MB
Nov 12 16:31:17 Starting compiler/encoders/ag32
Nov 12 16:31:34 Finished compiler/encoders/ag32                                  16s 575MB
Nov 12 16:31:34 Starting compiler/backend/x64
Nov 12 16:31:51 Finished compiler/backend/x64                                    16s   1GB
Nov 12 16:31:51 Starting compiler/backend/arm7
Nov 12 16:32:11 Finished compiler/backend/arm7                                   19s   1GB
Nov 12 16:32:11 Starting compiler/backend/arm8
Nov 12 16:32:28 Finished compiler/backend/arm8                                   17s   1GB
Nov 12 16:32:28 Starting compiler/backend/mips
Nov 12 16:32:46 Finished compiler/backend/mips                                   17s   1GB
Nov 12 16:32:46 Starting compiler/backend/riscv
Nov 12 16:33:04 Finished compiler/backend/riscv                                  17s   1GB
Nov 12 16:33:04 Starting compiler/backend/ag32
Nov 12 16:34:10 Finished compiler/backend/ag32                                 1m05s   1GB
Nov 12 16:34:10 Starting compiler/parsing/proofs
Nov 12 16:39:41 Finished compiler/parsing/proofs                               5m30s 857MB
Nov 12 16:39:41 Starting compiler/inference/proofs
Nov 12 16:42:26 Finished compiler/inference/proofs                             2m44s   1GB
Nov 12 16:42:26 Starting compiler/backend/semantics
Nov 12 16:48:19 Finished compiler/backend/semantics                            5m52s   2GB
Nov 12 16:48:19 Starting compiler/backend/reg_alloc/proofs
Nov 12 16:51:34 Finished compiler/backend/reg_alloc/proofs                     3m15s 767MB
Nov 12 16:51:34 Starting compiler/backend/proofs
Nov 12 17:31:27 Finished compiler/backend/proofs                              39m53s   4GB
Nov 12 17:31:28 Starting compiler/encoders/x64/proofs
Nov 12 17:40:27 Finished compiler/encoders/x64/proofs                          8m59s   4GB
Nov 12 17:40:27 Starting compiler/encoders/arm7/proofs
Nov 12 17:52:30 Finished compiler/encoders/arm7/proofs                        12m02s   3GB
Nov 12 17:52:30 Starting compiler/encoders/arm8/proofs
Nov 12 17:58:37 Finished compiler/encoders/arm8/proofs                         6m06s   1GB
Nov 12 17:58:37 Starting compiler/encoders/mips/proofs
Nov 12 18:08:02 Finished compiler/encoders/mips/proofs                         9m24s   1GB
Nov 12 18:08:03 Starting compiler/encoders/riscv/proofs
Nov 12 18:16:12 Finished compiler/encoders/riscv/proofs                        8m09s   1GB
Nov 12 18:16:12 Starting compiler/encoders/ag32/proofs
Nov 12 18:18:34 Finished compiler/encoders/ag32/proofs                         2m21s 837MB
Nov 12 18:18:34 Starting compiler/backend/x64/proofs
Nov 12 18:18:52 Finished compiler/backend/x64/proofs                             17s   1GB
Nov 12 18:18:52 Starting compiler/backend/arm7/proofs
Nov 12 18:19:10 Finished compiler/backend/arm7/proofs                            17s 856MB
Nov 12 18:19:10 Starting compiler/backend/arm8/proofs
Nov 12 18:19:26 Finished compiler/backend/arm8/proofs                            16s 826MB
Nov 12 18:19:27 Starting compiler/backend/mips/proofs
Nov 12 18:19:45 Finished compiler/backend/mips/proofs                            18s   1GB
Nov 12 18:19:45 Starting compiler/backend/riscv/proofs
Nov 12 18:20:03 Finished compiler/backend/riscv/proofs                           17s 841MB
Nov 12 18:20:03 Starting compiler/backend/ag32/proofs
Nov 12 18:28:49 Finished compiler/backend/ag32/proofs                          8m45s   2GB
Nov 12 18:28:49 Starting compiler/proofs
Nov 12 18:30:38 Finished compiler/proofs                                       1m48s   3GB
Nov 12 18:30:38 Starting candle/set-theory
Nov 12 18:31:05 Finished candle/set-theory                                       26s 697MB
Nov 12 18:31:05 Starting candle/syntax-lib
Nov 12 18:31:15 Finished candle/syntax-lib                                        9s 652MB
Nov 12 18:31:15 Starting candle/standard/syntax
Nov 12 18:32:57 Finished candle/standard/syntax                                1m42s 931MB
Nov 12 18:32:58 Starting candle/standard/semantics
Nov 12 18:34:34 Finished candle/standard/semantics                             1m36s   1GB
Nov 12 18:34:34 Starting candle/standard/monadic
Nov 12 18:36:07 Finished candle/standard/monadic                               1m31s   1GB
Nov 12 18:36:07 Starting candle/standard/ml_kernel
Nov 12 18:39:56 Finished candle/standard/ml_kernel                             3m49s   3GB
Nov 12 18:39:56 Starting candle/standard/opentheory
Nov 12 18:48:29 Finished candle/standard/opentheory                            8m32s   4GB
Nov 12 18:48:29 Starting candle/standard/opentheory/compilation
Nov 12 19:18:29 Finished candle/standard/opentheory/compilation               29m59s  15GB
Nov 12 19:18:30 Starting candle/standard/opentheory/compilation/proofs
Nov 12 19:19:14 Finished candle/standard/opentheory/compilation/proofs           44s   2GB
Nov 12 19:19:15 Starting characteristic/examples
Nov 12 19:20:43 Finished characteristic/examples                               1m28s   2GB
Nov 12 19:20:43 Starting tutorial/solutions
Nov 12 19:33:43 Finished tutorial/solutions                                   12m59s   7GB
Nov 12 19:33:43 Starting translator/monadic/examples
Nov 12 19:36:39 Finished translator/monadic/examples                           2m55s   2GB
Nov 12 19:36:39 Starting examples
Nov 12 19:45:40 Finished examples                                              9m01s   4GB
Nov 12 19:45:40 Starting examples/compilation/x64
Nov 12 21:49:44 Finished examples/compilation/x64                           2h04m03s  13GB
Nov 12 21:49:45 Starting examples/compilation/x64/proofs
Nov 12 21:51:55 Finished examples/compilation/x64/proofs                       2m10s   2GB
Nov 12 21:51:55 Starting examples/compilation/ag32
Nov 12 22:20:30 Finished examples/compilation/ag32                            28m33s   5GB
Nov 12 22:20:30 Starting examples/compilation/ag32/proofs
Nov 12 22:21:18 Finished examples/compilation/ag32/proofs                        47s   2GB
Nov 12 22:21:18 Starting translator/okasaki-examples
Nov 12 22:25:21 Finished translator/okasaki-examples                           4m03s   1GB
Nov 12 22:25:21 Starting translator/other-examples
Nov 12 22:27:08 Finished translator/other-examples                             1m46s   1GB
Nov 12 22:27:08 Starting compiler/parsing/tests
Nov 12 22:27:33 Finished compiler/parsing/tests                                  24s 584MB
Nov 12 22:27:33 Starting compiler/inference/tests
Nov 12 22:31:51 Finished compiler/inference/tests                              4m18s   3GB
Nov 12 22:31:51 Starting compiler/bootstrap/translation
Nov 13 01:02:49 Finished compiler/bootstrap/translation                     2h30m57s  39GB
Nov 13 01:02:49 Starting unverified/sexpr-bootstrap/x64/64
Nov 13 01:15:38 FAILED: unverified/sexpr-bootstrap/x64/64
Scanning $(HOLDIR)/examples/balanced_bst
Scanning $(HOLDIR)/examples/formal-languages
Scanning $(HOLDIR)/examples/formal-languages/context-free
Scanning $(HOLDIR)/examples/formal-languages/regular
Scanning $(HOLDIR)/examples/fun-op-sem/lprefix_lub
Scanning $(CAKEMLDIR)/developers
Scanning $(CAKEMLDIR)/misc/lem_lib_stub
Scanning $(CAKEMLDIR)/misc
Scanning $(CAKEMLDIR)/basis/pure
Scanning $(CAKEMLDIR)/semantics/ffi
Scanning $(CAKEMLDIR)/semantics
Scanning $(CAKEMLDIR)/compiler/parsing
Scanning $(CAKEMLDIR)/semantics/proofs
Scanning $(CAKEMLDIR)/translator
Scanning $(CAKEMLDIR)/characteristic
Scanning $(HOLDIR)/examples/l3-machine-code/common
Scanning $(HOLDIR)/examples/l3-machine-code/lib
Scanning $(HOLDIR)/examples/l3-machine-code/arm/model
Scanning $(HOLDIR)/examples/l3-machine-code/arm8/model
Scanning $(HOLDIR)/examples/l3-machine-code/mips/model
Scanning $(HOLDIR)/examples/l3-machine-code/riscv/model
Scanning $(HOLDIR)/examples/l3-machine-code/x64/model
Scanning $(CAKEMLDIR)/translator/monadic/monad_base
Scanning $(CAKEMLDIR)/translator/monadic
Scanning $(CAKEMLDIR)/basis
Scanning $(HOLDIR)/examples/machine-code/multiword
Scanning $(CAKEMLDIR)/unverified/reg_alloc
Scanning $(CAKEMLDIR)/compiler/backend/reg_alloc
Scanning $(CAKEMLDIR)/compiler/encoders/asm
Scanning $(CAKEMLDIR)/compiler/backend
Scanning $(CAKEMLDIR)/compiler/encoders/ag32
Scanning $(CAKEMLDIR)/compiler/backend/ag32
Scanning $(HOLDIR)/examples/machine-code/decompiler
Scanning $(HOLDIR)/examples/l3-machine-code
Scanning $(HOLDIR)/examples/l3-machine-code/arm/step
Scanning $(CAKEMLDIR)/compiler/encoders/arm7
Scanning $(CAKEMLDIR)/compiler/backend/arm7
Scanning $(HOLDIR)/examples/l3-machine-code/arm8/step
Scanning $(CAKEMLDIR)/compiler/encoders/arm8
Scanning $(CAKEMLDIR)/compiler/backend/arm8
Scanning $(HOLDIR)/examples/l3-machine-code/mips/step
Scanning $(CAKEMLDIR)/compiler/encoders/mips
Scanning $(CAKEMLDIR)/compiler/backend/mips
Scanning $(HOLDIR)/examples/l3-machine-code/riscv/step
Scanning $(CAKEMLDIR)/compiler/encoders/riscv
Scanning $(CAKEMLDIR)/compiler/backend/riscv
Scanning $(HOLDIR)/examples/l3-machine-code/x64/step
Scanning $(CAKEMLDIR)/compiler/encoders/x64
Scanning $(CAKEMLDIR)/compiler/backend/x64
Scanning $(HOLDIR)/examples/unification/triangular
Scanning $(HOLDIR)/examples/unification/triangular/first-order
Scanning $(CAKEMLDIR)/compiler/inference
Scanning $(CAKEMLDIR)/compiler
Scanning $(CAKEMLDIR)/compiler/backend/reg_alloc/proofs
Scanning $(CAKEMLDIR)/compiler/encoders/monadic_enc
Scanning $(CAKEMLDIR)/compiler/inference/proofs
Scanning $(CAKEMLDIR)/compiler/bootstrap/translation
Scanning $(CAKEMLDIR)/developers/bin
Scanning $(CAKEMLDIR)/unverified/sexpr-bootstrap
Starting work on README.md
Starting work on cake-sexpr-x64-64
README.md                                       real:    0s  user:    0s     OK
cake-sexpr-x64-64                               real:  122s  user:  117s     OK
Starting work on cake.S
cake.S                                          real:  635s  user:  612s     OK
Starting work on cake
cake                                            real:    5s  user:    4sFAIL<2>
 /tmp/ccSah5It.o: In function `windows_ffiget_arg_count':
 cake.S:(.text+0x1092425): undefined reference to `ffiget_arg_count'
 /tmp/ccSah5It.o: In function `windows_ffiwrite':
 cake.S:(.text+0x1092436): undefined reference to `ffiwrite'
 /tmp/ccSah5It.o: In function `windows_ffiread':
 cake.S:(.text+0x1092447): undefined reference to `ffiread'
 /tmp/ccSah5It.o: In function `windows_ffi':
 cake.S:(.text+0x1092458): undefined reference to `ffi'
 collect2: error: ld returned 1 exit status
 make: *** [<builtin>: /home/cake/oven/regression/cakeml-1080/unverified/sexpr-bootstrap/x64/64/cake] Error 1