Job 529

CakeML:d83742f10a36f76853fc6e0d9de26bfa02ec9f3a
  Update HOL_STORE precondition theorem [Oct 10 20:10:02]
#511 (argparse)
Merging into:8e7ff2c9b893acc68ca4490386c1e9511f5752ac
  Merge pull request #535 from CakeML/data-to-word-tweak [Oct 13 06:22:37]
HOL:32537a5663e731a4d41cf53adf51cc27b71a0e97
  Get temporal_deep/src/model_check to build by fixing Holmakefile [Oct 11 22:55:58]
Machine:oven1 4.15.9-300.fc27.x86_64 x86_64 GNU/Linux

Oct 14 05:05:14 Claimed job
Oct 14 05:05:19 Reusing HOL
Oct 14 05:06:07 Starting developers/bin
Oct 14 05:07:18 Finished developers/bin                                        1m10s 912MB
Oct 14 05:07:19 Starting semantics/ffi
Oct 14 05:07:31 Finished semantics/ffi                                           11s 260MB
Oct 14 05:07:32 Starting semantics
Oct 14 05:08:46 Finished semantics                                             1m14s   1GB
Oct 14 05:08:47 Starting semantics/proofs
Oct 14 05:11:30 Finished semantics/proofs                                      2m42s   1GB
Oct 14 05:11:31 Starting basis/pure
Oct 14 05:11:33 FAILED: basis/pure
]0;Holmake: .]0;Holmake: ~/regression/HOL-32537a5663e731a4d41cf53adf51cc27b71a0e97/examples/formal-languages/regular]0;Holmake: ~/regression/HOL-32537a5663e731a4d41cf53adf51cc27b71a0e97/examples/balanced_bst]0;Holmake: ~/regression/HOL-32537a5663e731a4d41cf53adf51cc27b71a0e97/examples/balanced_bst[1mWorking in $(HOLDIR)/examples/balanced_bst[0m
]0;Holmake: ~/regression/HOL-32537a5663e731a4d41cf53adf51cc27b71a0e97/examples/formal-languages/regular]0;Holmake: ~/regression/HOL-32537a5663e731a4d41cf53adf51cc27b71a0e97/examples/formal-languages]0;Holmake: ~/regression/HOL-32537a5663e731a4d41cf53adf51cc27b71a0e97/examples/formal-languages[1mWorking in $(HOLDIR)/examples/formal-languages[0m
]0;Holmake: ~/regression/HOL-32537a5663e731a4d41cf53adf51cc27b71a0e97/examples/formal-languages/regular]0;Holmake: ~/regression/HOL-32537a5663e731a4d41cf53adf51cc27b71a0e97/examples/formal-languages/regular[1mWorking in $(HOLDIR)/examples/formal-languages/regular[0m
]0;Holmake: .]0;Holmake: ../../misc]0;Holmake: ~/regression/HOL-32537a5663e731a4d41cf53adf51cc27b71a0e97/examples/fun-op-sem/lprefix_lub]0;Holmake: ~/regression/HOL-32537a5663e731a4d41cf53adf51cc27b71a0e97/examples/fun-op-sem/lprefix_lub[1mWorking in $(HOLDIR)/examples/fun-op-sem/lprefix_lub[0m
]0;Holmake: ../../misc]0;Holmake: ~/regression/HOL-32537a5663e731a4d41cf53adf51cc27b71a0e97/examples/machine-code/hoare-triple]0;Holmake: ~/regression/HOL-32537a5663e731a4d41cf53adf51cc27b71a0e97/examples/machine-code/hoare-triple[1mWorking in $(HOLDIR)/examples/machine-code/hoare-triple[0m
]0;Holmake: ../../misc]0;Holmake: ../../developers]0;Holmake: ../../developers[1mWorking in ../../developers[0m
]0;Holmake: ../../misc]0;Holmake: ../../misc/lem_lib_stub]0;Holmake: ../../misc/lem_lib_stub[1mWorking in $(CAKEMLDIR)/misc/lem_lib_stub[0m
]0;Holmake: ../../misc]0;Holmake: ../../misc[1mWorking in $(CAKEMLDIR)/misc[0m
]0;Holmake: .]0;Holmake: .[1mWorking in $(CAKEMLDIR)/basis/pure[0m
Starting work on mllistTheory
Starting work on mloptionTheory
Starting work on README.md
README.md                                                                                                                                                                                              FAILED! <1>
 ERROR! readme_gen.sml cannot produce README.md due to:
 ArgParseScript.sml: file must start with (*
mllistTheory                                                                                                                                                                                              M-KILLED
mloptionTheory                                                                                                                                                                                            M-KILLED