Job 1087

CakeML:9d4f36604c8540a97dd20fdc7b297458b5429351
  Replace 'make $@' calls by expanding the $@ [Nov 13 08:08:17]
#704 (sexpr-bootstrap-fix)
Merging into:a0a73be366a40123567f97a747fbaffa114b6352
  Merge pull request #700 from CakeML/iocatprog-fix [Nov 10 16:39:33]
HOL:98729fa718256b0fa48d19ca8a978029674fe5a9
  Clean an AKS theory for --expk; examples/AKS now builds there [Nov 11 23:10:55]
Machine:stove 4.15.0-55-generic x86_64 GNU/Linux

Nov 13 09:13:01 Claimed job
Nov 13 09:13:03 Reusing HOL
Nov 13 09:13:55 Starting developers
Nov 13 09:13:59 Finished developers                                               3s 117MB
Nov 13 09:13:59 Starting developers/bin
Nov 13 09:14:05 Finished developers/bin                                           5s 964MB
Nov 13 09:14:05 Starting semantics/ffi
Nov 13 09:14:14 Finished semantics/ffi                                            8s 233MB
Nov 13 09:14:14 Starting semantics
Nov 13 09:15:28 Finished semantics                                             1m14s   1GB
Nov 13 09:15:28 Starting semantics/proofs
Nov 13 09:18:16 Finished semantics/proofs                                      2m48s   1GB
Nov 13 09:18:17 Starting semantics/alt_semantics
Nov 13 09:18:23 Finished semantics/alt_semantics                                  6s 302MB
Nov 13 09:18:24 Starting semantics/alt_semantics/proofs
Nov 13 09:20:05 Finished semantics/alt_semantics/proofs                        1m41s 837MB
Nov 13 09:20:05 Starting basis/pure
Nov 13 09:20:50 Finished basis/pure                                              44s 833MB
Nov 13 09:20:50 Starting translator
Nov 13 09:22:31 Finished translator                                            1m41s   1GB
Nov 13 09:22:31 Starting compiler/parsing
Nov 13 09:23:24 Finished compiler/parsing                                        53s   2GB
Nov 13 09:23:24 Starting characteristic
Nov 13 09:28:25 Finished characteristic                                        5m00s   1GB
Nov 13 09:28:25 Starting translator/monadic
Nov 13 09:29:52 Finished translator/monadic                                    1m27s   1GB
Nov 13 09:29:52 Starting basis
Nov 13 09:48:19 Finished basis                                                18m26s   2GB
Nov 13 09:48:19 Starting compiler/inference
Nov 13 09:49:51 Finished compiler/inference                                    1m32s   1GB
Nov 13 09:49:51 Starting compiler/backend/reg_alloc
Nov 13 09:50:48 Finished compiler/backend/reg_alloc                              56s   1GB
Nov 13 09:50:48 Starting compiler/backend/gc
Nov 13 09:53:36 Finished compiler/backend/gc                                   2m48s   2GB
Nov 13 09:53:36 Starting compiler/backend
Nov 13 09:57:06 Finished compiler/backend                                      3m29s   2GB
Nov 13 09:57:06 Starting compiler/encoders/asm
Nov 13 09:57:26 Finished compiler/encoders/asm                                   19s 817MB
Nov 13 09:57:26 Starting compiler/encoders/x64
Nov 13 09:57:48 Finished compiler/encoders/x64                                   22s 960MB
Nov 13 09:57:48 Starting compiler/encoders/arm7
Nov 13 09:58:32 Finished compiler/encoders/arm7                                  43s   1GB
Nov 13 09:58:32 Starting compiler/encoders/arm8
Nov 13 09:58:43 Finished compiler/encoders/arm8                                  11s 585MB
Nov 13 09:58:43 Starting compiler/encoders/mips
Nov 13 09:59:00 Finished compiler/encoders/mips                                  16s   1GB
Nov 13 09:59:00 Starting compiler/encoders/riscv
Nov 13 09:59:13 Finished compiler/encoders/riscv                                 12s 845MB
Nov 13 09:59:13 Starting compiler/encoders/ag32
Nov 13 09:59:28 Finished compiler/encoders/ag32                                  15s 787MB
Nov 13 09:59:28 Starting compiler/backend/x64
Nov 13 09:59:44 Finished compiler/backend/x64                                    15s   1GB
Nov 13 09:59:44 Starting compiler/backend/arm7
Nov 13 10:00:03 Finished compiler/backend/arm7                                   18s   1GB
Nov 13 10:00:03 Starting compiler/backend/arm8
Nov 13 10:00:18 Finished compiler/backend/arm8                                   15s 971MB
Nov 13 10:00:18 Starting compiler/backend/mips
Nov 13 10:00:34 Finished compiler/backend/mips                                   16s   1GB
Nov 13 10:00:34 Starting compiler/backend/riscv
Nov 13 10:00:51 Finished compiler/backend/riscv                                  16s   1GB
Nov 13 10:00:51 Starting compiler/backend/ag32
Nov 13 10:01:53 Finished compiler/backend/ag32                                 1m01s 937MB
Nov 13 10:01:53 Starting compiler/parsing/proofs
Nov 13 10:07:12 Finished compiler/parsing/proofs                               5m19s   1GB
Nov 13 10:07:12 Starting compiler/inference/proofs
Nov 13 10:09:49 Finished compiler/inference/proofs                             2m36s   1GB
Nov 13 10:09:49 Starting compiler/backend/semantics
Nov 13 10:15:20 Finished compiler/backend/semantics                            5m30s   2GB
Nov 13 10:15:20 Starting compiler/backend/reg_alloc/proofs
Nov 13 10:18:29 Finished compiler/backend/reg_alloc/proofs                     3m08s   1GB
Nov 13 10:18:29 Starting compiler/backend/proofs
Nov 13 10:54:57 Finished compiler/backend/proofs                              36m27s   4GB
Nov 13 10:54:57 Starting compiler/encoders/x64/proofs
Nov 13 11:03:24 Finished compiler/encoders/x64/proofs                          8m27s   5GB
Nov 13 11:03:24 Starting compiler/encoders/arm7/proofs
Nov 13 11:14:56 Finished compiler/encoders/arm7/proofs                        11m31s   3GB
Nov 13 11:14:56 Starting compiler/encoders/arm8/proofs
Nov 13 11:20:46 Finished compiler/encoders/arm8/proofs                         5m50s   1GB
Nov 13 11:20:46 Starting compiler/encoders/mips/proofs
Nov 13 11:29:42 Finished compiler/encoders/mips/proofs                         8m56s   2GB
Nov 13 11:29:42 Starting compiler/encoders/riscv/proofs
Nov 13 11:37:36 Finished compiler/encoders/riscv/proofs                        7m53s   1GB
Nov 13 11:37:36 Starting compiler/encoders/ag32/proofs
Nov 13 11:39:54 Finished compiler/encoders/ag32/proofs                         2m18s 667MB
Nov 13 11:39:54 Starting compiler/backend/x64/proofs
Nov 13 11:40:11 Finished compiler/backend/x64/proofs                             16s 982MB
Nov 13 11:40:11 Starting compiler/backend/arm7/proofs
Nov 13 11:40:29 Finished compiler/backend/arm7/proofs                            17s   1GB
Nov 13 11:40:29 Starting compiler/backend/arm8/proofs
Nov 13 11:40:46 Finished compiler/backend/arm8/proofs                            17s 761MB
Nov 13 11:40:46 Starting compiler/backend/mips/proofs
Nov 13 11:41:04 Finished compiler/backend/mips/proofs                            17s   1GB
Nov 13 11:41:04 Starting compiler/backend/riscv/proofs
Nov 13 11:41:21 Finished compiler/backend/riscv/proofs                           17s   1GB
Nov 13 11:41:22 Starting compiler/backend/ag32/proofs
Nov 13 11:49:49 Finished compiler/backend/ag32/proofs                          8m27s   2GB
Nov 13 11:49:49 Starting compiler/proofs
Nov 13 11:51:08 Finished compiler/proofs                                       1m18s   3GB
Nov 13 11:51:08 Starting candle/set-theory
Nov 13 11:51:34 Finished candle/set-theory                                       25s 675MB
Nov 13 11:51:34 Starting candle/syntax-lib
Nov 13 11:51:43 Finished candle/syntax-lib                                        8s 611MB
Nov 13 11:51:43 Starting candle/standard/syntax
Nov 13 11:53:22 Finished candle/standard/syntax                                1m39s 916MB
Nov 13 11:53:22 Starting candle/standard/semantics
Nov 13 11:54:54 Finished candle/standard/semantics                             1m31s   1GB
Nov 13 11:54:54 Starting candle/standard/monadic
Nov 13 11:56:26 Finished candle/standard/monadic                               1m31s   1GB
Nov 13 11:56:26 Starting candle/standard/ml_kernel
Nov 13 12:00:15 Finished candle/standard/ml_kernel                             3m48s   3GB
Nov 13 12:00:15 Starting candle/standard/opentheory
Nov 13 12:08:34 Finished candle/standard/opentheory                            8m18s   3GB
Nov 13 12:08:34 Starting candle/standard/opentheory/compilation
Nov 13 12:35:56 Finished candle/standard/opentheory/compilation               27m21s  21GB
Nov 13 12:35:56 Starting candle/standard/opentheory/compilation/proofs
Nov 13 12:36:33 Finished candle/standard/opentheory/compilation/proofs           37s   1GB
Nov 13 12:36:33 Starting characteristic/examples
Nov 13 12:37:55 Finished characteristic/examples                               1m22s   2GB
Nov 13 12:37:55 Starting tutorial/solutions
Nov 13 12:50:32 Finished tutorial/solutions                                   12m36s   7GB
Nov 13 12:50:32 Starting translator/monadic/examples
Nov 13 12:53:15 Finished translator/monadic/examples                           2m43s   2GB
Nov 13 12:53:15 Starting examples
Nov 13 13:01:19 Finished examples                                              8m03s   3GB
Nov 13 13:01:19 Starting examples/compilation/x64
Nov 13 14:59:11 Finished examples/compilation/x64                           1h57m51s  11GB
Nov 13 14:59:11 Starting examples/compilation/x64/proofs
Nov 13 15:01:13 Finished examples/compilation/x64/proofs                       2m01s   2GB
Nov 13 15:01:13 Starting examples/compilation/ag32
Nov 13 15:28:15 Finished examples/compilation/ag32                            27m02s   5GB
Nov 13 15:28:15 Starting examples/compilation/ag32/proofs
Nov 13 15:28:56 Finished examples/compilation/ag32/proofs                        40s   3GB
Nov 13 15:28:56 Starting translator/okasaki-examples
Nov 13 15:32:50 Finished translator/okasaki-examples                           3m53s   1GB
Nov 13 15:32:50 Starting translator/other-examples
Nov 13 15:33:25 Finished translator/other-examples                               35s   1GB
Nov 13 15:33:25 Starting compiler/parsing/tests
Nov 13 15:33:49 Finished compiler/parsing/tests                                  23s 581MB
Nov 13 15:33:49 Starting compiler/inference/tests
Nov 13 15:37:52 Finished compiler/inference/tests                              4m03s   5GB
Nov 13 15:37:52 Starting compiler/bootstrap/translation
Nov 13 18:00:55 Finished compiler/bootstrap/translation                     2h23m01s  45GB
Nov 13 18:00:55 Starting unverified/sexpr-bootstrap/x64/64
Nov 13 18:13:19 Finished unverified/sexpr-bootstrap/x64/64                    12m23s   3GB
Nov 13 18:13:19 Starting unverified/sexpr-bootstrap/x64/32
Nov 13 18:22:28 Finished unverified/sexpr-bootstrap/x64/32                     9m08s   6GB
Nov 13 18:22:28 Starting compiler/benchmarks
Nov 13 18:22:30 Finished compiler/benchmarks                                      2s  24MB
Nov 13 18:22:30 Starting compiler/bootstrap/compilation/x64/64
Nov 14 05:23:12 Finished compiler/bootstrap/compilation/x64/64             11h00m41s  64GB
Nov 14 05:23:12 Starting compiler/bootstrap/compilation/x64/64/proofs
Nov 14 05:26:33 Finished compiler/bootstrap/compilation/x64/64/proofs          3m20s   5GB
Nov 14 05:26:33 Starting compiler/bootstrap/compilation/x64/32
Nov 14 15:58:14 Finished compiler/bootstrap/compilation/x64/32             10h31m41s  64GB
Nov 14 15:58:14 Starting compiler/bootstrap/compilation/x64/32/proofs
Nov 14 16:02:14 Finished compiler/bootstrap/compilation/x64/32/proofs          3m59s   5GB
Nov 14 16:02:14 Starting compiler/bootstrap/compilation/ag32/32
Nov 15 03:33:13 Finished compiler/bootstrap/compilation/ag32/32            11h30m59s  64GB
Nov 15 03:33:14 Starting compiler/bootstrap/compilation/ag32/32/proofs
Nov 15 03:58:25 Finished compiler/bootstrap/compilation/ag32/32/proofs        25m11s  16GB
Nov 15 03:58:25 SUCCESS