Job 720

CakeML:53f8249e0a07ff3cab71be0df92ae825a3bf44d3
  Remove dependency on pandas [Feb 07 08:25:50]
#616 (benchmark-report)
Merging into:6bc8e267ebd128227cd90e1c9f9be4fd7f3bbb5a
  Merge remote-tracking branch 'origin/cleanup' [Feb 06 09:47:42]
HOL:08a51fee676681dadabae53e90963868e9720563
  Implement mllex-driven lexing for Theory.dat files [Feb 06 06:13:12]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Feb 07 14:48:55 Claimed job
Feb 07 14:49:08 Building HOL
Feb 07 14:56:45 Starting developers
Feb 07 14:56:46 Finished developers                                               0s  22MB
Feb 07 14:56:47 Starting developers/bin
Feb 07 14:57:17 Finished developers/bin                                          29s 142MB
Feb 07 14:57:18 Starting semantics/ffi
Feb 07 14:57:52 Finished semantics/ffi                                           33s 358MB
Feb 07 14:57:53 Starting semantics
Feb 07 14:59:23 Finished semantics                                             1m29s   1GB
Feb 07 14:59:23 Starting semantics/proofs
Feb 07 15:02:30 Finished semantics/proofs                                      3m06s   1GB
Feb 07 15:02:31 Starting basis/pure
Feb 07 15:05:59 Finished basis/pure                                            3m27s 659MB
Feb 07 15:06:00 Starting translator
Feb 07 15:07:36 Finished translator                                            1m35s   1GB
Feb 07 15:07:37 Starting compiler/parsing
Feb 07 15:08:35 Finished compiler/parsing                                        57s   2GB
Feb 07 15:08:36 Starting characteristic
Feb 07 15:12:47 Finished characteristic                                        4m10s   1GB
Feb 07 15:12:48 Starting translator/monadic
Feb 07 15:14:11 Finished translator/monadic                                    1m21s   1GB
Feb 07 15:14:11 Starting basis
Feb 07 15:30:28 Finished basis                                                16m16s   2GB
Feb 07 15:30:29 Starting compiler/inference
Feb 07 15:32:15 Finished compiler/inference                                    1m45s   1GB
Feb 07 15:32:16 Starting compiler/backend/reg_alloc
Feb 07 15:33:06 Finished compiler/backend/reg_alloc                              49s   1GB
Feb 07 15:33:07 Starting compiler/backend/gc
Feb 07 15:41:52 Finished compiler/backend/gc                                   8m44s   1GB
Feb 07 15:41:52 Starting compiler/backend
Feb 07 15:41:54 Finished compiler/backend                                         0s  41MB
Feb 07 15:41:54 Starting compiler/encoders/asm
Feb 07 15:41:56 Finished compiler/encoders/asm                                    0s  32MB
Feb 07 15:41:56 Starting compiler/encoders/x64
Feb 07 15:42:52 Finished compiler/encoders/x64                                   55s 825MB
Feb 07 15:42:53 Starting compiler/encoders/arm6
Feb 07 15:44:38 Finished compiler/encoders/arm6                                1m43s   1GB
Feb 07 15:44:39 Starting compiler/encoders/arm8
Feb 07 15:45:08 Finished compiler/encoders/arm8                                  28s 690MB
Feb 07 15:45:09 Starting compiler/encoders/mips
Feb 07 15:46:10 Finished compiler/encoders/mips                                1m00s   1GB
Feb 07 15:46:11 Starting compiler/encoders/riscv
Feb 07 15:47:16 Finished compiler/encoders/riscv                               1m03s 926MB
Feb 07 15:47:16 Starting compiler/encoders/ag32
Feb 07 15:47:32 Finished compiler/encoders/ag32                                  14s 761MB
Feb 07 15:47:33 Starting compiler/backend/x64
Feb 07 15:47:49 Finished compiler/backend/x64                                    15s   1GB
Feb 07 15:47:50 Starting compiler/backend/arm6
Feb 07 15:48:06 Finished compiler/backend/arm6                                   15s   1GB
Feb 07 15:48:06 Starting compiler/backend/arm8
Feb 07 15:48:23 Finished compiler/backend/arm8                                   15s   1GB
Feb 07 15:48:23 Starting compiler/backend/mips
Feb 07 15:48:39 Finished compiler/backend/mips                                   15s 902MB
Feb 07 15:48:40 Starting compiler/backend/riscv
Feb 07 15:48:56 Finished compiler/backend/riscv                                  15s   1GB
Feb 07 15:48:57 Starting compiler/backend/ag32
Feb 07 15:50:02 Finished compiler/backend/ag32                                 1m04s   1GB
Feb 07 15:50:03 Starting compiler/parsing/proofs
Feb 07 15:55:39 Finished compiler/parsing/proofs                               5m36s   1GB
Feb 07 15:55:40 Starting compiler/inference/proofs
Feb 07 15:58:19 Finished compiler/inference/proofs                             2m38s   1GB
Feb 07 15:58:20 Starting compiler/backend/semantics
Feb 07 16:05:19 Finished compiler/backend/semantics                            6m58s   1GB
Feb 07 16:05:19 Starting compiler/backend/reg_alloc/proofs
Feb 07 16:07:51 Finished compiler/backend/reg_alloc/proofs                     2m31s 804MB
Feb 07 16:07:52 Starting compiler/backend/proofs
Feb 07 16:44:21 Finished compiler/backend/proofs                              36m28s   3GB
Feb 07 16:44:22 Starting compiler/encoders/x64/proofs
Feb 07 16:54:22 Finished compiler/encoders/x64/proofs                          9m58s   5GB
Feb 07 16:54:23 Starting compiler/encoders/arm6/proofs
Feb 07 17:07:42 Finished compiler/encoders/arm6/proofs                        13m18s   4GB
Feb 07 17:07:43 Starting compiler/encoders/arm8/proofs
Feb 07 17:13:25 Finished compiler/encoders/arm8/proofs                         5m41s   1GB
Feb 07 17:13:26 Starting compiler/encoders/mips/proofs
Feb 07 17:23:24 Finished compiler/encoders/mips/proofs                         9m57s   2GB
Feb 07 17:23:25 Starting compiler/encoders/riscv/proofs
Feb 07 17:31:00 Finished compiler/encoders/riscv/proofs                        7m34s   1GB
Feb 07 17:31:01 Starting compiler/encoders/ag32/proofs
Feb 07 17:33:29 Finished compiler/encoders/ag32/proofs                         2m27s 627MB
Feb 07 17:33:30 Starting compiler/backend/x64/proofs
Feb 07 17:33:47 Finished compiler/backend/x64/proofs                             16s 913MB
Feb 07 17:33:48 Starting compiler/backend/arm6/proofs
Feb 07 17:34:06 Finished compiler/backend/arm6/proofs                            17s   1GB
Feb 07 17:34:07 Starting compiler/backend/arm8/proofs
Feb 07 17:34:24 Finished compiler/backend/arm8/proofs                            16s   1GB
Feb 07 17:34:25 Starting compiler/backend/mips/proofs
Feb 07 17:34:43 Finished compiler/backend/mips/proofs                            17s   1GB
Feb 07 17:34:43 Starting compiler/backend/riscv/proofs
Feb 07 17:35:00 Finished compiler/backend/riscv/proofs                           16s 953MB
Feb 07 17:35:01 Starting compiler/backend/ag32/proofs
Feb 07 17:43:41 Finished compiler/backend/ag32/proofs                          8m39s   2GB
Feb 07 17:43:41 Starting compiler/proofs
Feb 08 08:10:22 Resuming compiler/proofs
Feb 08 08:11:53 Finished compiler/proofs                                       1m29s   2GB
Feb 08 08:11:54 Starting candle/set-theory
Feb 08 08:12:24 Finished candle/set-theory                                       29s 691MB
Feb 08 08:12:24 Starting candle/syntax-lib
Feb 08 08:12:36 Finished candle/syntax-lib                                       10s 670MB
Feb 08 08:12:37 Starting candle/standard/syntax
Feb 08 08:14:20 Finished candle/standard/syntax                                1m42s   1GB
Feb 08 08:14:21 Starting candle/standard/semantics
Feb 08 08:15:55 Finished candle/standard/semantics                             1m33s   1GB
Feb 08 08:15:56 Starting candle/standard/monadic
Feb 08 08:17:30 Finished candle/standard/monadic                               1m33s   1GB
Feb 08 08:17:30 Starting candle/standard/ml_kernel
Feb 08 08:21:32 Finished candle/standard/ml_kernel                             4m01s   4GB
Feb 08 08:21:33 Starting candle/standard/opentheory
Feb 08 08:30:35 Finished candle/standard/opentheory                            9m01s   4GB
Feb 08 08:30:36 Starting candle/standard/opentheory/compilation
Feb 08 09:00:25 Finished candle/standard/opentheory/compilation               29m48s  25GB
Feb 08 09:00:26 Starting candle/standard/opentheory/compilation/proofs
Feb 08 09:01:13 Finished candle/standard/opentheory/compilation/proofs           45s   5GB
Feb 08 09:01:14 Starting characteristic/examples
Feb 08 09:02:37 Finished characteristic/examples                               1m22s   2GB
Feb 08 09:02:38 Starting tutorial/solutions
Feb 08 09:15:46 Finished tutorial/solutions                                   13m06s   7GB
Feb 08 09:15:47 Starting translator/monadic/examples
Feb 08 09:17:55 Finished translator/monadic/examples                           2m07s   2GB
Feb 08 09:17:56 Starting examples
Feb 08 09:25:36 Finished examples                                              7m39s   3GB
Feb 08 09:25:37 Starting examples/compilation/x64
Feb 08 11:18:32 Finished examples/compilation/x64                           1h52m54s  12GB
Feb 08 11:18:33 Starting examples/compilation/x64/proofs
Feb 08 11:20:19 Finished examples/compilation/x64/proofs                       1m45s   4GB
Feb 08 11:20:20 Starting examples/compilation/ag32
Feb 08 11:48:13 Finished examples/compilation/ag32                            27m52s   5GB
Feb 08 11:48:13 Starting examples/compilation/ag32/proofs
Feb 08 11:48:58 Finished examples/compilation/ag32/proofs                        43s   4GB
Feb 08 11:48:58 Starting translator/okasaki-examples
Feb 08 11:53:03 Finished translator/okasaki-examples                           4m03s   1GB
Feb 08 11:53:04 Starting translator/other-examples
Feb 08 11:56:24 Finished translator/other-examples                             3m19s   2GB
Feb 08 11:56:25 Starting compiler/parsing/tests
Feb 08 11:56:50 Finished compiler/parsing/tests                                  24s 550MB
Feb 08 11:56:51 Starting compiler/inference/tests
Feb 08 12:01:00 Finished compiler/inference/tests                              4m07s   3GB
Feb 08 12:01:00 Starting compiler/bootstrap/translation
Feb 08 14:27:35 Finished compiler/bootstrap/translation                     2h26m33s  44GB
Feb 08 14:27:36 Starting unverified/sexpr-bootstrap/x64/64
Feb 08 14:36:02 Finished unverified/sexpr-bootstrap/x64/64                     8m25s  14GB
Feb 08 14:36:03 Starting unverified/sexpr-bootstrap/x64/32
Feb 08 14:41:24 Finished unverified/sexpr-bootstrap/x64/32                     5m20s  25GB
Feb 08 14:41:25 Starting compiler/benchmarks
Feb 08 15:15:22 FAILED: compiler/benchmarks
]0;Holmake: ~/regression/cakeml-720/characteristic]0;Holmake: ~/regression/cakeml-720/basis/pure]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/balanced_bst]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/balanced_bst[1mWorking in $(HOLDIR)/examples/balanced_bst[0m
]0;Holmake: ~/regression/cakeml-720/basis/pure]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/formal-languages/regular]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/formal-languages]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/formal-languages[1mWorking in $(HOLDIR)/examples/formal-languages[0m
]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/formal-languages/regular]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/formal-languages/context-free]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/formal-languages/context-free[1mWorking in $(HOLDIR)/examples/formal-languages/context-free[0m
]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/formal-languages/regular]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/formal-languages/regular[1mWorking in $(HOLDIR)/examples/formal-languages/regular[0m
]0;Holmake: ~/regression/cakeml-720/basis/pure]0;Holmake: ~/regression/cakeml-720/misc]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/fun-op-sem/lprefix_lub]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/fun-op-sem/lprefix_lub[1mWorking in $(HOLDIR)/examples/fun-op-sem/lprefix_lub[0m
]0;Holmake: ~/regression/cakeml-720/misc]0;Holmake: ~/regression/cakeml-720/developers]0;Holmake: ~/regression/cakeml-720/developers[1mWorking in $(CAKEMLDIR)/developers[0m
]0;Holmake: ~/regression/cakeml-720/misc]0;Holmake: ~/regression/cakeml-720/misc/lem_lib_stub]0;Holmake: ~/regression/cakeml-720/misc/lem_lib_stub[1mWorking in $(CAKEMLDIR)/misc/lem_lib_stub[0m
]0;Holmake: ~/regression/cakeml-720/misc]0;Holmake: ~/regression/cakeml-720/misc[1mWorking in $(CAKEMLDIR)/misc[0m
]0;Holmake: ~/regression/cakeml-720/basis/pure]0;Holmake: ~/regression/cakeml-720/basis/pure[1mWorking in $(CAKEMLDIR)/basis/pure[0m
]0;Holmake: ~/regression/cakeml-720/characteristic]0;Holmake: ~/regression/cakeml-720/compiler/parsing]0;Holmake: ~/regression/cakeml-720/semantics]0;Holmake: ~/regression/cakeml-720/semantics/ffi]0;Holmake: ~/regression/cakeml-720/semantics/ffi[1mWorking in $(CAKEMLDIR)/semantics/ffi[0m
]0;Holmake: ~/regression/cakeml-720/semantics]0;Holmake: ~/regression/cakeml-720/semantics[1mWorking in $(CAKEMLDIR)/semantics[0m
]0;Holmake: ~/regression/cakeml-720/compiler/parsing]0;Holmake: ~/regression/cakeml-720/compiler/parsing[1mWorking in $(CAKEMLDIR)/compiler/parsing[0m
]0;Holmake: ~/regression/cakeml-720/characteristic]0;Holmake: ~/regression/cakeml-720/semantics/proofs]0;Holmake: ~/regression/cakeml-720/semantics/proofs[1mWorking in $(CAKEMLDIR)/semantics/proofs[0m
]0;Holmake: ~/regression/cakeml-720/characteristic]0;Holmake: ~/regression/cakeml-720/translator]0;Holmake: ~/regression/cakeml-720/translator[1mWorking in $(CAKEMLDIR)/translator[0m
]0;Holmake: ~/regression/cakeml-720/characteristic]0;Holmake: ~/regression/cakeml-720/characteristic[1mWorking in $(CAKEMLDIR)/characteristic[0m
]0;Holmake: ~/regression/cakeml-720/unverified/sexpr-bootstrap/x64/64]0;Holmake: ~/regression/cakeml-720/compiler/bootstrap/translation]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/arm/model]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/common]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/common[1mWorking in $(HOLDIR)/examples/l3-machine-code/common[0m
]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/arm/model]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/lib]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/lib[1mWorking in $(HOLDIR)/examples/l3-machine-code/lib[0m
]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/arm/model]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/arm/model[1mWorking in $(HOLDIR)/examples/l3-machine-code/arm/model[0m
]0;Holmake: ~/regression/cakeml-720/compiler/bootstrap/translation]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/arm8/model]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/arm8/model[1mWorking in $(HOLDIR)/examples/l3-machine-code/arm8/model[0m
]0;Holmake: ~/regression/cakeml-720/compiler/bootstrap/translation]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/mips/model]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/mips/model[1mWorking in $(HOLDIR)/examples/l3-machine-code/mips/model[0m
]0;Holmake: ~/regression/cakeml-720/compiler/bootstrap/translation]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/riscv/model]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/riscv/model[1mWorking in $(HOLDIR)/examples/l3-machine-code/riscv/model[0m
]0;Holmake: ~/regression/cakeml-720/compiler/bootstrap/translation]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/x64/model]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/x64/model[1mWorking in $(HOLDIR)/examples/l3-machine-code/x64/model[0m
]0;Holmake: ~/regression/cakeml-720/compiler/bootstrap/translation]0;Holmake: ~/regression/cakeml-720/basis]0;Holmake: ~/regression/cakeml-720/translator/monadic]0;Holmake: ~/regression/cakeml-720/translator/monadic/monad_base]0;Holmake: ~/regression/cakeml-720/translator/monadic/monad_base[1mWorking in $(CAKEMLDIR)/translator/monadic/monad_base[0m
]0;Holmake: ~/regression/cakeml-720/translator/monadic]0;Holmake: ~/regression/cakeml-720/translator/monadic[1mWorking in $(CAKEMLDIR)/translator/monadic[0m
]0;Holmake: ~/regression/cakeml-720/basis]0;Holmake: ~/regression/cakeml-720/basis[1mWorking in $(CAKEMLDIR)/basis[0m
]0;Holmake: ~/regression/cakeml-720/compiler/bootstrap/translation]0;Holmake: ~/regression/cakeml-720/compiler]0;Holmake: ~/regression/cakeml-720/compiler/backend]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/machine-code/multiword]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/machine-code/multiword[1mWorking in $(HOLDIR)/examples/machine-code/multiword[0m
]0;Holmake: ~/regression/cakeml-720/compiler/backend]0;Holmake: ~/regression/cakeml-720/compiler/backend/reg_alloc]0;Holmake: ~/regression/cakeml-720/unverified/reg_alloc]0;Holmake: ~/regression/cakeml-720/unverified/reg_alloc[1mWorking in $(CAKEMLDIR)/unverified/reg_alloc[0m
]0;Holmake: ~/regression/cakeml-720/compiler/backend/reg_alloc]0;Holmake: ~/regression/cakeml-720/compiler/backend/reg_alloc[1mWorking in $(CAKEMLDIR)/compiler/backend/reg_alloc[0m
]0;Holmake: ~/regression/cakeml-720/compiler/backend]0;Holmake: ~/regression/cakeml-720/compiler/encoders/asm]0;Holmake: ~/regression/cakeml-720/compiler/encoders/asm[1mWorking in $(CAKEMLDIR)/compiler/encoders/asm[0m
]0;Holmake: ~/regression/cakeml-720/compiler/backend]0;Holmake: ~/regression/cakeml-720/compiler/backend[1mWorking in $(CAKEMLDIR)/compiler/backend[0m
]0;Holmake: ~/regression/cakeml-720/compiler]0;Holmake: ~/regression/cakeml-720/compiler/backend/ag32]0;Holmake: ~/regression/cakeml-720/compiler/encoders/ag32]0;Holmake: ~/regression/cakeml-720/compiler/encoders/ag32[1mWorking in $(CAKEMLDIR)/compiler/encoders/ag32[0m
]0;Holmake: ~/regression/cakeml-720/compiler/backend/ag32]0;Holmake: ~/regression/cakeml-720/compiler/backend/ag32[1mWorking in $(CAKEMLDIR)/compiler/backend/ag32[0m
]0;Holmake: ~/regression/cakeml-720/compiler]0;Holmake: ~/regression/cakeml-720/compiler/backend/arm6]0;Holmake: ~/regression/cakeml-720/compiler/encoders/arm6]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/arm/step]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/machine-code/decompiler]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/machine-code/decompiler[1mWorking in $(HOLDIR)/examples/machine-code/decompiler[0m
]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code[1mWorking in $(HOLDIR)/examples/l3-machine-code[0m
]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/arm/step]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/arm/step[1mWorking in $(HOLDIR)/examples/l3-machine-code/arm/step[0m
]0;Holmake: ~/regression/cakeml-720/compiler/encoders/arm6]0;Holmake: ~/regression/cakeml-720/compiler/encoders/arm6[1mWorking in $(CAKEMLDIR)/compiler/encoders/arm6[0m
]0;Holmake: ~/regression/cakeml-720/compiler/backend/arm6]0;Holmake: ~/regression/cakeml-720/compiler/backend/arm6[1mWorking in $(CAKEMLDIR)/compiler/backend/arm6[0m
]0;Holmake: ~/regression/cakeml-720/compiler]0;Holmake: ~/regression/cakeml-720/compiler/backend/arm8]0;Holmake: ~/regression/cakeml-720/compiler/encoders/arm8]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/arm8/step]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/arm8/step[1mWorking in $(HOLDIR)/examples/l3-machine-code/arm8/step[0m
]0;Holmake: ~/regression/cakeml-720/compiler/encoders/arm8]0;Holmake: ~/regression/cakeml-720/compiler/encoders/arm8[1mWorking in $(CAKEMLDIR)/compiler/encoders/arm8[0m
]0;Holmake: ~/regression/cakeml-720/compiler/backend/arm8]0;Holmake: ~/regression/cakeml-720/compiler/backend/arm8[1mWorking in $(CAKEMLDIR)/compiler/backend/arm8[0m
]0;Holmake: ~/regression/cakeml-720/compiler]0;Holmake: ~/regression/cakeml-720/compiler/backend/mips]0;Holmake: ~/regression/cakeml-720/compiler/encoders/mips]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/mips/step]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/mips/step[1mWorking in $(HOLDIR)/examples/l3-machine-code/mips/step[0m
]0;Holmake: ~/regression/cakeml-720/compiler/encoders/mips]0;Holmake: ~/regression/cakeml-720/compiler/encoders/mips[1mWorking in $(CAKEMLDIR)/compiler/encoders/mips[0m
]0;Holmake: ~/regression/cakeml-720/compiler/backend/mips]0;Holmake: ~/regression/cakeml-720/compiler/backend/mips[1mWorking in $(CAKEMLDIR)/compiler/backend/mips[0m
]0;Holmake: ~/regression/cakeml-720/compiler]0;Holmake: ~/regression/cakeml-720/compiler/backend/riscv]0;Holmake: ~/regression/cakeml-720/compiler/encoders/riscv]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/riscv/step]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/riscv/step[1mWorking in $(HOLDIR)/examples/l3-machine-code/riscv/step[0m
]0;Holmake: ~/regression/cakeml-720/compiler/encoders/riscv]0;Holmake: ~/regression/cakeml-720/compiler/encoders/riscv[1mWorking in $(CAKEMLDIR)/compiler/encoders/riscv[0m
]0;Holmake: ~/regression/cakeml-720/compiler/backend/riscv]0;Holmake: ~/regression/cakeml-720/compiler/backend/riscv[1mWorking in $(CAKEMLDIR)/compiler/backend/riscv[0m
]0;Holmake: ~/regression/cakeml-720/compiler]0;Holmake: ~/regression/cakeml-720/compiler/backend/x64]0;Holmake: ~/regression/cakeml-720/compiler/encoders/x64]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/x64/step]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/x64/step[1mWorking in $(HOLDIR)/examples/l3-machine-code/x64/step[0m
]0;Holmake: ~/regression/cakeml-720/compiler/encoders/x64]0;Holmake: ~/regression/cakeml-720/compiler/encoders/x64[1mWorking in $(CAKEMLDIR)/compiler/encoders/x64[0m
]0;Holmake: ~/regression/cakeml-720/compiler/backend/x64]0;Holmake: ~/regression/cakeml-720/compiler/backend/x64[1mWorking in $(CAKEMLDIR)/compiler/backend/x64[0m
]0;Holmake: ~/regression/cakeml-720/compiler]0;Holmake: ~/regression/cakeml-720/compiler/inference]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/unification/triangular/first-order]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/unification/triangular]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/unification/triangular[1mWorking in $(HOLDIR)/examples/unification/triangular[0m
]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/unification/triangular/first-order]0;Holmake: ~/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/unification/triangular/first-order[1mWorking in $(HOLDIR)/examples/unification/triangular/first-order[0m
]0;Holmake: ~/regression/cakeml-720/compiler/inference]0;Holmake: ~/regression/cakeml-720/compiler/inference[1mWorking in $(CAKEMLDIR)/compiler/inference[0m
]0;Holmake: ~/regression/cakeml-720/compiler]0;Holmake: ~/regression/cakeml-720/compiler[1mWorking in $(CAKEMLDIR)/compiler[0m
]0;Holmake: ~/regression/cakeml-720/compiler/bootstrap/translation]0;Holmake: ~/regression/cakeml-720/compiler/backend/reg_alloc/proofs]0;Holmake: ~/regression/cakeml-720/compiler/backend/reg_alloc/proofs[1mWorking in $(CAKEMLDIR)/compiler/backend/reg_alloc/proofs[0m
]0;Holmake: ~/regression/cakeml-720/compiler/bootstrap/translation]0;Holmake: ~/regression/cakeml-720/compiler/inference/proofs]0;Holmake: ~/regression/cakeml-720/compiler/inference/proofs[1mWorking in $(CAKEMLDIR)/compiler/inference/proofs[0m
]0;Holmake: ~/regression/cakeml-720/compiler/bootstrap/translation]0;Holmake: ~/regression/cakeml-720/compiler/bootstrap/translation[1mWorking in $(CAKEMLDIR)/compiler/bootstrap/translation[0m
]0;Holmake: ~/regression/cakeml-720/unverified/sexpr-bootstrap/x64/64]0;Holmake: ~/regression/cakeml-720/developers/bin]0;Holmake: ~/regression/cakeml-720/developers/bin[1mWorking in $(CAKEMLDIR)/developers/bin[0m
]0;Holmake: ~/regression/cakeml-720/unverified/sexpr-bootstrap/x64/64]0;Holmake: ~/regression/cakeml-720/unverified/sexpr-bootstrap]0;Holmake: ~/regression/cakeml-720/unverified/sexpr-bootstrap[1mWorking in $(CAKEMLDIR)/unverified/sexpr-bootstrap[0m
]0;Holmake: ~/regression/cakeml-720/unverified/sexpr-bootstrap/x64/64]0;Holmake: ~/regression/cakeml-720/unverified/sexpr-bootstrap/x64/64[1mWorking in $(CAKEMLDIR)/unverified/sexpr-bootstrap/x64/64[0m
]0;Holmake: cakeml_benchmarks/cakeml]0;Holmake: cakeml_benchmarks/cakeml[1mWorking in $(CAKEMLDIR)/compiler/benchmarks/cakeml_benchmarks/cakeml[0m
Starting work on README.md
README.md                                                                                                                                   OK
]0;Holmake: .]0;Holmake: mlton_benchmarks/cakeml]0;Holmake: mlton_benchmarks/cakeml[1mWorking in $(CAKEMLDIR)/compiler/benchmarks/mlton_benchmarks/cakeml[0m
Starting work on README.md
README.md                                                                                                                                   OK
]0;Holmake: .]0;Holmake: .[1mWorking in $(CAKEMLDIR)/compiler/benchmarks[0m
Starting work on README.md
Starting work on cml_cakeml
Starting work on cml_ocaml
Starting work on cml_sml
README.md                                                                                                                                   OK
Starting work on mlton_cakeml
cml_cakeml                                                                                                                                  OK
Starting work on mlton_sml
mlton_cakeml                                                                                                                                OK
cml_ocaml                                                                                                                                   OK
cml_sml                                                                                                                                     OK
Starting work on cakeml_plot1noerr.svg
mlton_sml                                                                                                                                   OK
cakeml_plot1noerr.svg                                                                                                                       OK
Starting work on cakeml_report.html
cakeml_report.html                                                                                                                          OK
Don't know how to build necessary target(s): mlton_ocaml