Job 1264

CakeML:25a8362a9df0a82c36c7a0531b0c55a52296ee7f
  prefix heap/stack/stackend with cml_ [Jun 11 14:37:27]
#738 (export_update)
Merging into:30d1750b37e638af75fbb1f0a438859aef1fee04
  Fix a broken script [Jun 08 17:54:39]
HOL:ac7497223d5845f2709250fa8fdcb566cbc2e1ae
  emacs-mode: make regexp searching case-sensitive; SOME not a q'fier [Jun 03 04:25:22]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Jun 11 18:40:05 Claimed job
Jun 11 18:40:09 Reusing HOL
Jun 11 18:40:56 Starting developers
Jun 11 18:41:00 Finished developers                                               4s 111MB
Jun 11 18:41:00 Starting developers/bin
Jun 11 18:41:08 Finished developers/bin                                           7s   1GB
Jun 11 18:41:08 Starting semantics/ffi
Jun 11 18:41:20 Finished semantics/ffi                                           11s 231MB
Jun 11 18:41:20 Starting semantics
Jun 11 18:42:52 Finished semantics                                             1m31s   1GB
Jun 11 18:42:52 Starting semantics/proofs
Jun 11 18:46:32 Finished semantics/proofs                                      3m39s 941MB
Jun 11 18:46:32 Starting semantics/alt_semantics
Jun 11 18:46:42 Finished semantics/alt_semantics                                  9s 284MB
Jun 11 18:46:42 Starting semantics/alt_semantics/proofs
Jun 11 18:49:02 Finished semantics/alt_semantics/proofs                        2m19s 807MB
Jun 11 18:49:02 Starting basis/pure
Jun 11 18:49:56 Finished basis/pure                                              54s 749MB
Jun 11 18:49:56 Starting translator
Jun 11 18:52:50 Finished translator                                            2m53s   1GB
Jun 11 18:52:50 Starting compiler/parsing
Jun 11 18:54:13 Finished compiler/parsing                                      1m22s   3GB
Jun 11 18:54:13 Starting characteristic
Jun 11 19:00:36 Finished characteristic                                        6m22s   1GB
Jun 11 19:00:36 Starting translator/monadic
Jun 11 19:02:19 Finished translator/monadic                                    1m42s   1GB
Jun 11 19:02:19 Starting basis
Jun 11 19:38:20 Finished basis                                                36m01s  12GB
Jun 11 19:38:21 Starting compiler/inference
Jun 11 19:39:28 Finished compiler/inference                                    1m07s   1GB
Jun 11 19:39:28 Starting compiler/backend/reg_alloc
Jun 11 19:40:38 Finished compiler/backend/reg_alloc                            1m09s   1GB
Jun 11 19:40:38 Starting compiler/backend/gc
Jun 11 19:44:37 Finished compiler/backend/gc                                   3m58s   2GB
Jun 11 19:44:37 Starting compiler/backend
Jun 11 19:50:02 Finished compiler/backend                                      5m25s   4GB
Jun 11 19:50:03 Starting compiler/encoders/asm
Jun 11 19:50:27 Finished compiler/encoders/asm                                   23s 746MB
Jun 11 19:50:27 Starting compiler/encoders/x64
Jun 11 19:50:54 Finished compiler/encoders/x64                                   27s 772MB
Jun 11 19:50:55 Starting compiler/encoders/arm7
Jun 11 19:51:49 Finished compiler/encoders/arm7                                  53s 744MB
Jun 11 19:51:49 Starting compiler/encoders/arm8
Jun 11 19:52:03 Finished compiler/encoders/arm8                                  14s 882MB
Jun 11 19:52:03 Starting compiler/encoders/mips
Jun 11 19:52:22 Finished compiler/encoders/mips                                  18s   1GB
Jun 11 19:52:22 Starting compiler/encoders/riscv
Jun 11 19:52:40 Finished compiler/encoders/riscv                                 17s 837MB
Jun 11 19:52:40 Starting compiler/encoders/ag32
Jun 11 19:52:59 Finished compiler/encoders/ag32                                  19s 574MB
Jun 11 19:52:59 Starting compiler/backend/x64
Jun 11 19:53:18 Finished compiler/backend/x64                                    18s 926MB
Jun 11 19:53:18 Starting compiler/backend/arm7
Jun 11 19:53:39 Finished compiler/backend/arm7                                   20s   1GB
Jun 11 19:53:39 Starting compiler/backend/arm8
Jun 11 19:54:00 Finished compiler/backend/arm8                                   20s   1GB
Jun 11 19:54:00 Starting compiler/backend/mips
Jun 11 19:54:21 Finished compiler/backend/mips                                   21s   1GB
Jun 11 19:54:21 Starting compiler/backend/riscv
Jun 11 19:54:42 Finished compiler/backend/riscv                                  20s   1GB
Jun 11 19:54:43 Starting compiler/backend/ag32
Jun 11 19:56:00 Finished compiler/backend/ag32                                 1m17s   1GB
Jun 11 19:56:00 Starting compiler/parsing/proofs
Jun 11 20:01:56 Finished compiler/parsing/proofs                               5m55s   1GB
Jun 11 20:01:56 Starting compiler/inference/proofs
Jun 11 20:04:38 Finished compiler/inference/proofs                             2m41s   1GB
Jun 11 20:04:38 Starting compiler/backend/semantics
Jun 11 20:38:33 Finished compiler/backend/semantics                           33m55s   2GB
Jun 11 20:38:33 Starting compiler/backend/reg_alloc/proofs
Jun 11 20:42:25 Finished compiler/backend/reg_alloc/proofs                     3m51s 970MB
Jun 11 20:42:25 Starting compiler/backend/proofs
Jun 11 21:47:29 Finished compiler/backend/proofs                            1h05m03s  15GB
Jun 11 21:47:29 Starting compiler/encoders/x64/proofs
Jun 11 21:57:56 Finished compiler/encoders/x64/proofs                         10m26s   4GB
Jun 11 21:57:56 Starting compiler/encoders/arm7/proofs
Jun 11 22:11:54 Finished compiler/encoders/arm7/proofs                        13m58s   3GB
Jun 11 22:11:54 Starting compiler/encoders/arm8/proofs
Jun 11 22:19:05 Finished compiler/encoders/arm8/proofs                         7m10s   1GB
Jun 11 22:19:05 Starting compiler/encoders/mips/proofs
Jun 11 22:29:47 Finished compiler/encoders/mips/proofs                        10m41s   3GB
Jun 11 22:29:47 Starting compiler/encoders/riscv/proofs
Jun 11 22:39:20 Finished compiler/encoders/riscv/proofs                        9m33s   1GB
Jun 11 22:39:21 Starting compiler/encoders/ag32/proofs
Jun 11 22:42:11 Finished compiler/encoders/ag32/proofs                         2m50s 660MB
Jun 11 22:42:11 Starting compiler/backend/x64/proofs
Jun 11 22:42:33 Finished compiler/backend/x64/proofs                             22s   1GB
Jun 11 22:42:33 Starting compiler/backend/arm7/proofs
Jun 11 22:42:56 Finished compiler/backend/arm7/proofs                            22s 979MB
Jun 11 22:42:56 Starting compiler/backend/arm8/proofs
Jun 11 22:43:17 Finished compiler/backend/arm8/proofs                            21s   1GB
Jun 11 22:43:18 Starting compiler/backend/mips/proofs
Jun 11 22:43:40 Finished compiler/backend/mips/proofs                            21s   1GB
Jun 11 22:43:40 Starting compiler/backend/riscv/proofs
Jun 11 22:44:02 Finished compiler/backend/riscv/proofs                           21s   1GB
Jun 11 22:44:02 Starting compiler/backend/ag32/proofs
Jun 11 22:58:26 Finished compiler/backend/ag32/proofs                         14m24s   1GB
Jun 11 22:58:26 Starting compiler/proofs
Jun 11 23:00:01 Finished compiler/proofs                                       1m34s   2GB
Jun 11 23:00:02 Starting candle/set-theory
Jun 11 23:00:33 Finished candle/set-theory                                       30s 690MB
Jun 11 23:00:33 Starting candle/syntax-lib
Jun 11 23:00:44 Finished candle/syntax-lib                                       11s 642MB
Jun 11 23:00:44 Starting candle/standard/syntax
Jun 11 23:02:45 Finished candle/standard/syntax                                2m00s 905MB
Jun 11 23:02:45 Starting candle/standard/semantics
Jun 11 23:04:38 Finished candle/standard/semantics                             1m52s   1GB
Jun 11 23:04:38 Starting candle/standard/monadic
Jun 11 23:06:29 Finished candle/standard/monadic                               1m50s   1GB
Jun 11 23:06:29 Starting candle/standard/ml_kernel
Jun 11 23:12:26 Finished candle/standard/ml_kernel                             5m56s   4GB
Jun 11 23:12:26 Starting candle/standard/opentheory
Jun 11 23:22:31 Finished candle/standard/opentheory                           10m05s   5GB
Jun 11 23:22:31 Starting candle/standard/opentheory/compilation
Jun 11 23:56:35 Finished candle/standard/opentheory/compilation               34m03s  18GB
Jun 11 23:56:35 Starting candle/standard/opentheory/compilation/proofs
Jun 11 23:57:14 Finished candle/standard/opentheory/compilation/proofs           38s   2GB
Jun 11 23:57:14 Starting candle/overloading/syntax
Jun 12 00:00:38 Finished candle/overloading/syntax                             3m23s 954MB
Jun 12 00:00:38 Starting candle/overloading/semantics
Jun 12 00:08:14 Finished candle/overloading/semantics                          7m36s   3GB
Jun 12 00:08:14 Starting characteristic/examples
Jun 12 00:09:35 Finished characteristic/examples                               1m20s   1GB
Jun 12 00:09:35 Starting tutorial/solutions
Jun 12 00:24:57 Finished tutorial/solutions                                   15m21s   8GB
Jun 12 00:24:57 Starting translator/monadic/examples
Jun 12 00:28:47 Finished translator/monadic/examples                           3m49s   2GB
Jun 12 00:28:47 Starting examples
Jun 12 00:39:06 Finished examples                                             10m18s   3GB
Jun 12 00:39:06 Starting examples/compilation/x64
Jun 12 03:02:47 Finished examples/compilation/x64                           2h23m41s  14GB
Jun 12 03:02:48 Starting examples/compilation/x64/proofs
Jun 12 03:04:38 Finished examples/compilation/x64/proofs                       1m50s   2GB
Jun 12 03:04:38 Starting examples/compilation/ag32
Jun 12 03:38:09 Finished examples/compilation/ag32                            33m30s   6GB
Jun 12 03:38:09 Starting examples/compilation/ag32/proofs
Jun 12 03:38:55 Finished examples/compilation/ag32/proofs                        46s   2GB
Jun 12 03:38:55 Starting examples/cost
Jun 12 04:32:47 Finished examples/cost                                        53m51s   7GB
Jun 12 04:32:48 Starting examples/lpr_checker
Jun 12 04:36:58 Finished examples/lpr_checker                                  4m10s   2GB
Jun 12 04:36:58 Starting examples/lpr_checker/compilation
Jun 12 04:55:51 Finished examples/lpr_checker/compilation                     18m52s   8GB
Jun 12 04:55:51 Starting examples/lpr_checker/compilation/proofs
Jun 12 04:56:32 Finished examples/lpr_checker/compilation/proofs                 40s   2GB
Jun 12 04:56:32 Starting examples/lpr_checker/array
Jun 12 05:07:34 Finished examples/lpr_checker/array                           11m01s   3GB
Jun 12 05:07:34 Starting examples/lpr_checker/array/compilation
Jun 12 05:27:18 Finished examples/lpr_checker/array/compilation               19m43s  10GB
Jun 12 05:27:18 Starting examples/lpr_checker/array/compilation/proofs
Jun 12 05:28:09 Finished examples/lpr_checker/array/compilation/proofs           51s   3GB
Jun 12 05:28:09 Starting translator/okasaki-examples
Jun 12 05:33:03 Finished translator/okasaki-examples                           4m53s   1GB
Jun 12 05:33:03 Starting translator/other-examples
Jun 12 05:33:54 Finished translator/other-examples                               50s   1GB
Jun 12 05:33:54 Starting compiler/parsing/tests
Jun 12 05:34:21 Finished compiler/parsing/tests                                  27s 573MB
Jun 12 05:34:22 Starting compiler/inference/tests
Jun 12 05:39:14 Finished compiler/inference/tests                              4m52s   5GB
Jun 12 05:39:15 Starting compiler/bootstrap/translation
Jun 12 08:42:55 Finished compiler/bootstrap/translation                     3h03m39s  36GB
Jun 12 08:42:55 Starting unverified/sexpr-bootstrap/x64/64
Jun 12 08:56:57 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)/compiler/backend/pattern_matching
Scanning $(CAKEMLDIR)/compiler/backend/reachability
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:  101s  user:   91s     OK
Starting work on cake.S
cake.S                                          real:  732s  user:  707s     OK
Starting work on cake
cake                                            real:    6s  user:    5sFAIL<2>
 basis_ffi.o: In function `main':
 basis_ffi.c:(.text+0x883): undefined reference to `cml_heap'
 basis_ffi.c:(.text+0x88a): undefined reference to `cml_heap'
 basis_ffi.c:(.text+0x8be): undefined reference to `cml_heap'
 basis_ffi.c:(.text+0x8cc): undefined reference to `cml_stack'
 basis_ffi.c:(.text+0x8d3): undefined reference to `cml_stack'
 basis_ffi.c:(.text+0x8e1): undefined reference to `cml_stackend'
 basis_ffi.c:(.text+0x8e6): undefined reference to `cml_main'
 collect2: error: ld returned 1 exit status
 make: *** [Makefile:43: cake] Error 1