Job 2

CakeML:772ea4647099cbae61aea97eda95190d61facb9a
  Bootstrap (x64) eval files for riscv [Nov 27 00:00:00]
#352 (arm6_export)
Merging into:6d8819a319654ff1e3a9bbf6c6d7e3f96af265f3
  Move new regression test infrastructure [Nov 08 00:00:00]
HOL:adf95fed567e76641363a906871d9110e3d12f71
  Useful functions for dealing with terms up-to aconv [Nov 08 00:00:00]
Machine:cakeml1795 4.4.0-98-generic x86_64 GNU/Linux

Nov 09 19:52:42 Claimed job
Nov 09 19:52:58 Starting semantics/ffi
Nov 09 19:53:19 Finished semantics/ffi                                           19s   0kB
Nov 09 19:53:20 Starting semantics
Nov 09 19:55:34 Finished semantics                                             2m12s   0kB
Nov 09 19:55:36 Starting semantics/proofs
Nov 09 19:59:08 Finished semantics/proofs                                      3m30s   0kB
Nov 09 19:59:09 Starting basis/pure
Nov 09 20:00:17 Finished basis/pure                                            1m05s   0kB
Nov 09 20:00:18 Starting translator
Nov 09 20:07:26 Finished translator                                            7m06s   0kB
Nov 09 20:07:28 Starting compiler/parsing
Nov 09 20:09:50 Finished compiler/parsing                                      2m20s   0kB
Nov 09 20:09:51 Starting characteristic
Nov 09 20:14:28 Finished characteristic                                        4m34s   0kB
Nov 09 20:14:29 Starting basis
Nov 09 20:42:32 Finished basis                                                28m00s   0kB
Nov 09 20:42:33 Starting translator/monadic
Nov 09 20:46:10 Finished translator/monadic                                    3m34s   0kB
Nov 09 20:46:11 Starting compiler/inference
Nov 09 20:48:26 Finished compiler/inference                                    2m12s   0kB
Nov 09 20:48:27 Starting compiler/backend/reg_alloc
Nov 09 20:49:16 Finished compiler/backend/reg_alloc                              47s   0kB
Nov 09 20:49:18 Starting compiler/backend/gc
Nov 09 21:03:08 Finished compiler/backend/gc                                  13m48s   0kB
Nov 09 21:03:10 Starting compiler/backend
Nov 09 21:03:13 Finished compiler/backend                                         1s   0kB
Nov 09 21:03:14 Starting compiler/encoders/asm
Nov 09 21:03:16 Finished compiler/encoders/asm                                    0s   0kB
Nov 09 21:03:18 Starting compiler/encoders/x64
Nov 09 21:03:46 Finished compiler/encoders/x64                                   26s   0kB
Nov 09 21:03:48 Starting compiler/encoders/arm6
Nov 09 21:05:11 Finished compiler/encoders/arm6                                1m22s   0kB
Nov 09 21:05:13 Starting compiler/encoders/arm8
Nov 09 21:05:29 Finished compiler/encoders/arm8                                  15s   0kB
Nov 09 21:05:31 Starting compiler/encoders/mips
Nov 09 21:05:49 Finished compiler/encoders/mips                                  16s   0kB
Nov 09 21:05:50 Starting compiler/encoders/riscv
Nov 09 21:06:09 Finished compiler/encoders/riscv                                 17s   0kB
Nov 09 21:06:10 Starting compiler/backend/x64
Nov 09 21:06:52 Finished compiler/backend/x64                                    39s   0kB
Nov 09 21:06:53 Starting compiler/backend/arm6
Nov 09 21:07:38 Finished compiler/backend/arm6                                   43s   0kB
Nov 09 21:07:40 Starting compiler/backend/arm8
Nov 09 21:08:25 Finished compiler/backend/arm8                                   43s   0kB
Nov 09 21:08:26 Starting compiler/backend/mips
Nov 09 21:09:10 Finished compiler/backend/mips                                   42s   0kB
Nov 09 21:09:12 Starting compiler/backend/riscv
Nov 09 21:09:55 Finished compiler/backend/riscv                                  41s   0kB
Nov 09 21:09:56 Starting compiler/parsing/proofs
Nov 09 21:14:45 Finished compiler/parsing/proofs                               4m47s   0kB
Nov 09 21:14:47 Starting compiler/inference/proofs
Nov 09 21:18:58 Finished compiler/inference/proofs                             4m10s   0kB
Nov 09 21:19:00 Starting compiler/backend/semantics
Nov 09 21:37:29 Finished compiler/backend/semantics                           18m27s   0kB
Nov 09 21:37:30 Starting compiler/backend/reg_alloc/proofs
Nov 09 21:38:42 Finished compiler/backend/reg_alloc/proofs                     1m09s   0kB
Nov 09 21:38:43 Starting compiler/backend/proofs
Nov 09 22:46:46 Finished compiler/backend/proofs                            1h08m00s   0kB
Nov 09 22:46:48 Starting compiler/encoders/x64/proofs
Nov 09 22:56:33 Finished compiler/encoders/x64/proofs                          9m43s   0kB
Nov 09 22:56:35 Starting compiler/encoders/arm6/proofs
Nov 09 23:08:04 Finished compiler/encoders/arm6/proofs                        11m26s   0kB
Nov 09 23:08:05 Starting compiler/encoders/arm8/proofs
Nov 09 23:17:03 Finished compiler/encoders/arm8/proofs                         8m56s   0kB
Nov 09 23:17:04 Starting compiler/encoders/mips/proofs
Nov 09 23:29:20 Finished compiler/encoders/mips/proofs                        12m14s   0kB
Nov 09 23:29:22 Starting compiler/encoders/riscv/proofs
Nov 09 23:43:13 Finished compiler/encoders/riscv/proofs                       13m49s   0kB
Nov 09 23:43:15 Starting compiler/backend/x64/proofs
Nov 09 23:44:07 Finished compiler/backend/x64/proofs                             50s   0kB
Nov 09 23:44:09 Starting compiler/backend/arm6/proofs
Nov 09 23:45:05 Finished compiler/backend/arm6/proofs                            54s   0kB
Nov 09 23:45:06 Starting compiler/backend/arm8/proofs
Nov 09 23:45:58 Finished compiler/backend/arm8/proofs                            50s   0kB
Nov 09 23:46:00 Starting compiler/backend/mips/proofs
Nov 09 23:46:55 Finished compiler/backend/mips/proofs                            53s   0kB
Nov 09 23:46:57 Starting compiler/backend/riscv/proofs
Nov 09 23:47:50 Finished compiler/backend/riscv/proofs                           51s   0kB
Nov 09 23:47:51 Starting compiler/proofs
Nov 09 23:49:33 Finished compiler/proofs                                       1m40s   0kB
Nov 09 23:49:34 Starting candle/set-theory
Nov 09 23:50:24 Finished candle/set-theory                                       47s   0kB
Nov 09 23:50:25 Starting candle/syntax-lib
Nov 09 23:51:06 Finished candle/syntax-lib                                       19s   0kB
Nov 09 23:51:08 Starting candle/standard/syntax
Nov 09 23:54:06 Finished candle/standard/syntax                                2m57s   0kB
Nov 09 23:54:08 Starting candle/standard/semantics
Nov 09 23:56:34 Finished candle/standard/semantics                             2m24s   0kB
Nov 09 23:56:36 Starting candle/standard/monadic
Nov 09 23:59:17 Finished candle/standard/monadic                               2m40s   0kB
Nov 09 23:59:19 Starting candle/standard/ml_kernel
Nov 10 00:10:48 Finished candle/standard/ml_kernel                            11m27s   0kB
Nov 10 00:10:49 Starting candle/standard/opentheory
Nov 10 00:11:22 Finished candle/standard/opentheory                              31s   0kB
Nov 10 00:11:24 Starting characteristic/examples
Nov 10 00:13:25 Finished characteristic/examples                               2m00s   0kB
Nov 10 00:13:27 Starting tutorial/solutions
Nov 10 00:45:18 Finished tutorial/solutions                                   31m49s   0kB
Nov 10 00:45:20 Starting examples
Nov 10 00:53:51 Finished examples                                              8m29s   0kB
Nov 10 00:53:52 Starting examples/compilation
Nov 10 05:00:17 Finished examples/compilation                               4h06m22s   0kB
Nov 10 05:00:19 Starting examples/compilation/proofs
Nov 10 05:05:48 Finished examples/compilation/proofs                           5m27s   0kB
Nov 10 05:05:49 Starting compiler/benchmarks
Nov 10 06:48:30 Finished compiler/benchmarks                                1h42m39s   0kB
Nov 10 06:48:31 Starting translator/okasaki-examples
Nov 10 06:56:10 Finished translator/okasaki-examples                           7m36s   0kB
Nov 10 06:56:31 Starting translator/other-examples
Nov 10 07:03:34 Finished translator/other-examples                             7m00s   0kB
Nov 10 07:03:35 Starting compiler/parsing/tests
Nov 10 07:04:18 Finished compiler/parsing/tests                                  40s   0kB
Nov 10 07:04:19 Starting compiler/bootstrap/translation
Nov 10 14:27:05 Finished compiler/bootstrap/translation                     7h22m23s   0kB
Nov 10 14:27:06 Starting compiler/bootstrap/translation/x64
Nov 10 14:45:27 Finished compiler/bootstrap/translation/x64                   18m18s   0kB
Nov 10 14:45:28 Starting compiler/bootstrap/compilation/x64
Nov 11 06:34:29 Finished compiler/bootstrap/compilation/x64                15h48m58s   0kB
Nov 11 06:34:31 Starting compiler/bootstrap/compilation/x64/proofs
Nov 11 06:36:58 Finished compiler/bootstrap/compilation/x64/proofs             2m25s   0kB
Nov 11 06:36:59 Starting compiler/bootstrap/translation/riscv
Nov 11 06:57:11 Finished compiler/bootstrap/translation/riscv                 20m10s   0kB
Nov 11 06:57:13 Starting compiler/bootstrap/compilation/riscv
Nov 11 07:01:51 FAILED: compiler/bootstrap/compilation/riscv
]0;Holmake: ../../../../basisRecursively calling Holmake in ../../../../basis/pure
]0;Holmake: ../../../../basis/pureRecursively calling Holmake in /scratch/cakeml/worker/HOL/examples/formal-languages/regular
]0;Holmake: /scratch/cakeml/worker/HOL/examples/formal-languages/regularRecursively calling Holmake in /scratch/cakeml/worker/HOL/examples/balanced_bst
]0;Holmake: /scratch/cakeml/worker/HOL/examples/balanced_bst]0;Holmake: /scratch/cakeml/worker/HOL/examples/balanced_bstFinished recursive invocation in /scratch/cakeml/worker/HOL/examples/balanced_bst
]0;Holmake: /scratch/cakeml/worker/HOL/examples/formal-languages/regularRecursively calling Holmake in /scratch/cakeml/worker/HOL/examples/formal-languages
]0;Holmake: /scratch/cakeml/worker/HOL/examples/formal-languages]0;Holmake: /scratch/cakeml/worker/HOL/examples/formal-languagesFinished recursive invocation in /scratch/cakeml/worker/HOL/examples/formal-languages
]0;Holmake: /scratch/cakeml/worker/HOL/examples/formal-languages/regularRecursively calling Holmake in /scratch/cakeml/worker/HOL/examples/formal-languages/context-free
]0;Holmake: /scratch/cakeml/worker/HOL/examples/formal-languages/context-free]0;Holmake: /scratch/cakeml/worker/HOL/examples/formal-languages/context-freeFinished recursive invocation in /scratch/cakeml/worker/HOL/examples/formal-languages/context-free
]0;Holmake: /scratch/cakeml/worker/HOL/examples/formal-languages/regular]0;Holmake: /scratch/cakeml/worker/HOL/examples/formal-languages/regularFinished recursive invocation in /scratch/cakeml/worker/HOL/examples/formal-languages/regular
]0;Holmake: ../../../../basis/pureRecursively calling Holmake in ../../../../misc
]0;Holmake: ../../../../miscRecursively calling Holmake in /scratch/cakeml/worker/HOL/examples/fun-op-sem/lprefix_lub
]0;Holmake: /scratch/cakeml/worker/HOL/examples/fun-op-sem/lprefix_lub]0;Holmake: /scratch/cakeml/worker/HOL/examples/fun-op-sem/lprefix_lubFinished recursive invocation in /scratch/cakeml/worker/HOL/examples/fun-op-sem/lprefix_lub
]0;Holmake: ../../../../miscRecursively calling Holmake in /scratch/cakeml/worker/HOL/examples/machine-code/hoare-triple
]0;Holmake: /scratch/cakeml/worker/HOL/examples/machine-code/hoare-triple]0;Holmake: /scratch/cakeml/worker/HOL/examples/machine-code/hoare-tripleFinished recursive invocation in /scratch/cakeml/worker/HOL/examples/machine-code/hoare-triple
]0;Holmake: ../../../../miscRecursively calling Holmake in ../../../../developers
]0;Holmake: ../../../../developers]0;Holmake: ../../../../developersFinished recursive invocation in ../../../../developers
]0;Holmake: ../../../../miscRecursively calling Holmake in ../../../../misc/lem_lib_stub
]0;Holmake: ../../../../misc/lem_lib_stub]0;Holmake: ../../../../misc/lem_lib_stubFinished recursive invocation in ../../../../misc/lem_lib_stub
]0;Holmake: ../../../../misc]0;Holmake: ../../../../miscFinished recursive invocation in ../../../../misc
]0;Holmake: ../../../../basis/pure]0;Holmake: ../../../../basis/pureFinished recursive invocation in ../../../../basis/pure
]0;Holmake: ../../../../basisRecursively calling Holmake in ../../../../characteristic
]0;Holmake: ../../../../characteristicRecursively calling Holmake in ../../../../compiler/parsing
]0;Holmake: ../../../../compiler/parsingRecursively calling Holmake in ../../../../semantics
]0;Holmake: ../../../../semanticsRecursively calling Holmake in ../../../../semantics/ffi
]0;Holmake: ../../../../semantics/ffi]0;Holmake: ../../../../semantics/ffiFinished recursive invocation in ../../../../semantics/ffi
]0;Holmake: ../../../../semantics]0;Holmake: ../../../../semanticsFinished recursive invocation in ../../../../semantics
]0;Holmake: ../../../../compiler/parsing]0;Holmake: ../../../../compiler/parsingFinished recursive invocation in ../../../../compiler/parsing
]0;Holmake: ../../../../characteristicRecursively calling Holmake in ../../../../semantics/alt_semantics/proofs
]0;Holmake: ../../../../semantics/alt_semantics/proofsRecursively calling Holmake in ../../../../semantics/alt_semantics
]0;Holmake: ../../../../semantics/alt_semantics]0;Holmake: ../../../../semantics/alt_semanticsFinished recursive invocation in ../../../../semantics/alt_semantics
]0;Holmake: ../../../../semantics/alt_semantics/proofsRecursively calling Holmake in ../../../../semantics/proofs
]0;Holmake: ../../../../semantics/proofs]0;Holmake: ../../../../semantics/proofsFinished recursive invocation in ../../../../semantics/proofs
]0;Holmake: ../../../../semantics/alt_semantics/proofs]0;Holmake: ../../../../semantics/alt_semantics/proofsFinished recursive invocation in ../../../../semantics/alt_semantics/proofs
]0;Holmake: ../../../../characteristicRecursively calling Holmake in ../../../../translator
]0;Holmake: ../../../../translator]0;Holmake: ../../../../translatorFinished recursive invocation in ../../../../translator
]0;Holmake: ../../../../characteristic]0;Holmake: ../../../../characteristicFinished recursive invocation in ../../../../characteristic
]0;Holmake: ../../../../basis]0;Holmake: ../../../../basisFinished recursive invocation in ../../../../basis
]0;Holmake: .Recursively calling Holmake in ../../..
]0;Holmake: ../../..Recursively calling Holmake in ../../../backend
]0;Holmake: ../../../backendRecursively calling Holmake in /scratch/cakeml/worker/HOL/examples/machine-code/multiword
]0;Holmake: /scratch/cakeml/worker/HOL/examples/machine-code/multiword]0;Holmake: /scratch/cakeml/worker/HOL/examples/machine-code/multiwordFinished recursive invocation in /scratch/cakeml/worker/HOL/examples/machine-code/multiword
]0;Holmake: ../../../backendRecursively calling Holmake in ../../../backend/reg_alloc
]0;Holmake: ../../../backend/reg_allocRecursively calling Holmake in ../../../../unverified/reg_alloc
]0;Holmake: ../../../../unverified/reg_alloc]0;Holmake: ../../../../unverified/reg_allocFinished recursive invocation in ../../../../unverified/reg_alloc
]0;Holmake: ../../../backend/reg_alloc]0;Holmake: ../../../backend/reg_allocFinished recursive invocation in ../../../backend/reg_alloc
]0;Holmake: ../../../backendRecursively calling Holmake in ../../../encoders
]0;Holmake: ../../../encoders]0;Holmake: ../../../encodersFinished recursive invocation in ../../../encoders
]0;Holmake: ../../../backendRecursively calling Holmake in ../../../encoders/asm
]0;Holmake: ../../../encoders/asmRecursively calling Holmake in /scratch/cakeml/worker/HOL/examples/l3-machine-code/common
]0;Holmake: /scratch/cakeml/worker/HOL/examples/l3-machine-code/common]0;Holmake: /scratch/cakeml/worker/HOL/examples/l3-machine-code/commonFinished recursive invocation in /scratch/cakeml/worker/HOL/examples/l3-machine-code/common
]0;Holmake: ../../../encoders/asm]0;Holmake: ../../../encoders/asmFinished recursive invocation in ../../../encoders/asm
]0;Holmake: ../../../backend]0;Holmake: ../../../backendFinished recursive invocation in ../../../backend
]0;Holmake: ../../..Recursively calling Holmake in ../../../backend/arm6
]0;Holmake: ../../../backend/arm6Recursively calling Holmake in ../../../encoders/arm6
]0;Holmake: ../../../encoders/arm6Recursively calling Holmake in /scratch/cakeml/worker/HOL/examples/l3-machine-code/arm/model
]0;Holmake: /scratch/cakeml/worker/HOL/examples/l3-machine-code/arm/modelRecursively calling Holmake in /scratch/cakeml/worker/HOL/examples/l3-machine-code/lib
]0;Holmake: /scratch/cakeml/worker/HOL/examples/l3-machine-code/lib]0;Holmake: /scratch/cakeml/worker/HOL/examples/l3-machine-code/libFinished recursive invocation in /scratch/cakeml/worker/HOL/examples/l3-machine-code/lib
]0;Holmake: /scratch/cakeml/worker/HOL/examples/l3-machine-code/arm/model]0;Holmake: /scratch/cakeml/worker/HOL/examples/l3-machine-code/arm/modelFinished recursive invocation in /scratch/cakeml/worker/HOL/examples/l3-machine-code/arm/model
]0;Holmake: ../../../encoders/arm6Recursively calling Holmake in /scratch/cakeml/worker/HOL/examples/l3-machine-code/arm/step
]0;Holmake: /scratch/cakeml/worker/HOL/examples/l3-machine-code/arm/stepRecursively calling Holmake in /scratch/cakeml/worker/HOL/examples/l3-machine-code
]0;Holmake: /scratch/cakeml/worker/HOL/examples/l3-machine-codeRecursively calling Holmake in /scratch/cakeml/worker/HOL/examples/machine-code/decompiler
]0;Holmake: /scratch/cakeml/worker/HOL/examples/machine-code/decompiler]0;Holmake: /scratch/cakeml/worker/HOL/examples/machine-code/decompilerFinished recursive invocation in /scratch/cakeml/worker/HOL/examples/machine-code/decompiler
]0;Holmake: /scratch/cakeml/worker/HOL/examples/l3-machine-code]0;Holmake: /scratch/cakeml/worker/HOL/examples/l3-machine-codeFinished recursive invocation in /scratch/cakeml/worker/HOL/examples/l3-machine-code
]0;Holmake: /scratch/cakeml/worker/HOL/examples/l3-machine-code/arm/step]0;Holmake: /scratch/cakeml/worker/HOL/examples/l3-machine-code/arm/stepFinished recursive invocation in /scratch/cakeml/worker/HOL/examples/l3-machine-code/arm/step
]0;Holmake: ../../../encoders/arm6]0;Holmake: ../../../encoders/arm6Finished recursive invocation in ../../../encoders/arm6
]0;Holmake: ../../../backend/arm6]0;Holmake: ../../../backend/arm6Finished recursive invocation in ../../../backend/arm6
]0;Holmake: ../../..Recursively calling Holmake in ../../../backend/arm8
]0;Holmake: ../../../backend/arm8Recursively calling Holmake in ../../../encoders/arm8
]0;Holmake: ../../../encoders/arm8Recursively calling Holmake in /scratch/cakeml/worker/HOL/examples/l3-machine-code/arm8/model
]0;Holmake: /scratch/cakeml/worker/HOL/examples/l3-machine-code/arm8/model]0;Holmake: /scratch/cakeml/worker/HOL/examples/l3-machine-code/arm8/modelFinished recursive invocation in /scratch/cakeml/worker/HOL/examples/l3-machine-code/arm8/model
]0;Holmake: ../../../encoders/arm8Recursively calling Holmake in /scratch/cakeml/worker/HOL/examples/l3-machine-code/arm8/step
]0;Holmake: /scratch/cakeml/worker/HOL/examples/l3-machine-code/arm8/step]0;Holmake: /scratch/cakeml/worker/HOL/examples/l3-machine-code/arm8/stepFinished recursive invocation in /scratch/cakeml/worker/HOL/examples/l3-machine-code/arm8/step
]0;Holmake: ../../../encoders/arm8]0;Holmake: ../../../encoders/arm8Finished recursive invocation in ../../../encoders/arm8
]0;Holmake: ../../../backend/arm8]0;Holmake: ../../../backend/arm8Finished recursive invocation in ../../../backend/arm8
]0;Holmake: ../../..Recursively calling Holmake in ../../../backend/mips
]0;Holmake: ../../../backend/mipsRecursively calling Holmake in ../../../encoders/mips
]0;Holmake: ../../../encoders/mipsRecursively calling Holmake in /scratch/cakeml/worker/HOL/examples/l3-machine-code/mips/model
]0;Holmake: /scratch/cakeml/worker/HOL/examples/l3-machine-code/mips/model]0;Holmake: /scratch/cakeml/worker/HOL/examples/l3-machine-code/mips/modelFinished recursive invocation in /scratch/cakeml/worker/HOL/examples/l3-machine-code/mips/model
]0;Holmake: ../../../encoders/mipsRecursively calling Holmake in /scratch/cakeml/worker/HOL/examples/l3-machine-code/mips/step
]0;Holmake: /scratch/cakeml/worker/HOL/examples/l3-machine-code/mips/step]0;Holmake: /scratch/cakeml/worker/HOL/examples/l3-machine-code/mips/stepFinished recursive invocation in /scratch/cakeml/worker/HOL/examples/l3-machine-code/mips/step
]0;Holmake: ../../../encoders/mips]0;Holmake: ../../../encoders/mipsFinished recursive invocation in ../../../encoders/mips
]0;Holmake: ../../../backend/mips]0;Holmake: ../../../backend/mipsFinished recursive invocation in ../../../backend/mips
]0;Holmake: ../../..Recursively calling Holmake in ../../../backend/riscv
]0;Holmake: ../../../backend/riscvRecursively calling Holmake in ../../../encoders/riscv
]0;Holmake: ../../../encoders/riscvRecursively calling Holmake in /scratch/cakeml/worker/HOL/examples/l3-machine-code/riscv/model
]0;Holmake: /scratch/cakeml/worker/HOL/examples/l3-machine-code/riscv/model]0;Holmake: /scratch/cakeml/worker/HOL/examples/l3-machine-code/riscv/modelFinished recursive invocation in /scratch/cakeml/worker/HOL/examples/l3-machine-code/riscv/model
]0;Holmake: ../../../encoders/riscvRecursively calling Holmake in /scratch/cakeml/worker/HOL/examples/l3-machine-code/riscv/step
]0;Holmake: /scratch/cakeml/worker/HOL/examples/l3-machine-code/riscv/step]0;Holmake: /scratch/cakeml/worker/HOL/examples/l3-machine-code/riscv/stepFinished recursive invocation in /scratch/cakeml/worker/HOL/examples/l3-machine-code/riscv/step
]0;Holmake: ../../../encoders/riscv]0;Holmake: ../../../encoders/riscvFinished recursive invocation in ../../../encoders/riscv
]0;Holmake: ../../../backend/riscv]0;Holmake: ../../../backend/riscvFinished recursive invocation in ../../../backend/riscv
]0;Holmake: ../../..Recursively calling Holmake in ../../../backend/x64
]0;Holmake: ../../../backend/x64Recursively calling Holmake in ../../../encoders/x64
]0;Holmake: ../../../encoders/x64Recursively calling Holmake in /scratch/cakeml/worker/HOL/examples/l3-machine-code/x64/model
]0;Holmake: /scratch/cakeml/worker/HOL/examples/l3-machine-code/x64/model]0;Holmake: /scratch/cakeml/worker/HOL/examples/l3-machine-code/x64/modelFinished recursive invocation in /scratch/cakeml/worker/HOL/examples/l3-machine-code/x64/model
]0;Holmake: ../../../encoders/x64Recursively calling Holmake in /scratch/cakeml/worker/HOL/examples/l3-machine-code/x64/step
]0;Holmake: /scratch/cakeml/worker/HOL/examples/l3-machine-code/x64/step]0;Holmake: /scratch/cakeml/worker/HOL/examples/l3-machine-code/x64/stepFinished recursive invocation in /scratch/cakeml/worker/HOL/examples/l3-machine-code/x64/step
]0;Holmake: ../../../encoders/x64]0;Holmake: ../../../encoders/x64Finished recursive invocation in ../../../encoders/x64
]0;Holmake: ../../../backend/x64]0;Holmake: ../../../backend/x64Finished recursive invocation in ../../../backend/x64
]0;Holmake: ../../..Recursively calling Holmake in ../../../inference
]0;Holmake: ../../../inferenceRecursively calling Holmake in /scratch/cakeml/worker/HOL/examples/unification/triangular/first-order
]0;Holmake: /scratch/cakeml/worker/HOL/examples/unification/triangular/first-orderRecursively calling Holmake in /scratch/cakeml/worker/HOL/examples/unification/triangular
]0;Holmake: /scratch/cakeml/worker/HOL/examples/unification/triangular]0;Holmake: /scratch/cakeml/worker/HOL/examples/unification/triangularFinished recursive invocation in /scratch/cakeml/worker/HOL/examples/unification/triangular
]0;Holmake: /scratch/cakeml/worker/HOL/examples/unification/triangular/first-order]0;Holmake: /scratch/cakeml/worker/HOL/examples/unification/triangular/first-orderFinished recursive invocation in /scratch/cakeml/worker/HOL/examples/unification/triangular/first-order
]0;Holmake: ../../../inference]0;Holmake: ../../../inferenceFinished recursive invocation in ../../../inference
]0;Holmake: ../../..]0;Holmake: ../../..Finished recursive invocation in ../../..
]0;Holmake: .Recursively calling Holmake in ../../translation/riscv
]0;Holmake: ../../translation/riscvRecursively calling Holmake in ../../translation
]0;Holmake: ../../translationRecursively calling Holmake in ../../../backend/reg_alloc/proofs
]0;Holmake: ../../../backend/reg_alloc/proofs]0;Holmake: ../../../backend/reg_alloc/proofsFinished recursive invocation in ../../../backend/reg_alloc/proofs
]0;Holmake: ../../translationRecursively calling Holmake in ../../../inference/proofs
]0;Holmake: ../../../inference/proofs]0;Holmake: ../../../inference/proofsFinished recursive invocation in ../../../inference/proofs
]0;Holmake: ../../translation]0;Holmake: ../../translationFinished recursive invocation in ../../translation
]0;Holmake: ../../translation/riscvRecursively calling Holmake in ../../../riscv
]0;Holmake: ../../../riscv]0;Holmake: ../../../riscvFinished recursive invocation in ../../../riscv
]0;Holmake: ../../translation/riscv]0;Holmake: ../../translation/riscvFinished recursive invocation in ../../translation/riscv
]0;Holmake: .]0;Holmake: .Starting work on heap
Starting work on basis_ffi.c
basis_ffi.c                                                                  OK
heap                                                                         OK
Starting work on to_dataBootstrapTheory
to_dataBootstrapTheory                                              FAILED! <1>
 <<HOL message: Created theory "to_dataBootstrap">>
 error in quse /scratch/cakeml/worker/cakeml/compiler/bootstrap/compilation/riscv/to_dataBootstrapScript.sml : Fail "Static Errors"
 error in load to_dataBootstrapScript : Fail "Static Errors"
 Uncaught exception: Fail "Static Errors"
 Saved definition __ "init_conf_def"
 /scratch/cakeml/worker/cakeml/compiler/bootstrap/compilation/riscv/to_dataBootstrapScript.sml:47: error: Value or constructor (entire_program_def) has not been declared
 Found near entire_program_def