Job 3181

CakeML:e0d326b14b1337db0c3696c5a3b81d8ed2bf71b8
  Fix some broken proofs [Jan 29 21:50:46]
#1301 (new-prims)
Merging into:b3e05f211d0adb8f483c1b36bf608ce2ec4dc948
  Merge pull request #1305 from CakeML/flatdec [Jan 29 09:33:44]
HOL:b725f6e8834462a5b4bb2fb67b35e36f368cb8b6
  Tweak regular Holmakefile to clean selftest's log [Jan 30 05:30:27]
Machine:lammmington

Jan 30 12:28:28 Claimed job
Jan 30 12:28:34 Building HOL
Jan 30 12:40:10 Starting developers
Jan 30 12:40:15 Finished developers                                               4s 205MB
Jan 30 12:40:16 Starting developers/bin
Jan 30 12:40:20 Finished developers/bin                                           3s  91MB
Jan 30 12:40:21 Starting misc
Jan 30 12:41:08 FAILED: misc
Scanning $(HOLDIR)/src/bag
Scanning $(HOLDIR)/src/sort
Scanning $(HOLDIR)/src/string
Scanning $(HOLDIR)/src/n-bit
Scanning $(HOLDIR)/src/res_quan/src
Scanning $(HOLDIR)/src/finite_maps
Scanning $(HOLDIR)/examples/formal-languages/context-free
Scanning $(HOLDIR)/examples/machine-code/hoare-triple
Scanning $(HOLDIR)/src/transfer
Scanning $(HOLDIR)/src/pred_set/src/more_theories
Scanning $(HOLDIR)/src/coalgebras
Scanning $(HOLDIR)/examples/pl-semantics/lprefix_lub
Scanning $(CAKEMLDIR)/developers
Scanned 15 directories
Starting work on locationTheory
Starting work on set_sepTheory
Starting work on tailrecTheory
Starting work on lprefix_lubTheory
tailrecTheory                   examples/machine-code/hoare-triple  (0s)     OK
Starting work on README.md
README.md                                                     misc  (0s)     OK
locationTheory              examples/formal-languages/context-free  (1s)     OK
Starting work on grammarTheory
lprefix_lubTheory                examples/pl-semantics/lprefix_lub  (3s)     OK
Finished $(HOLDIR)/examples/pl-semantics/lprefix_lub [#theories: 1]    (3.490s) 
set_sepTheory                   examples/machine-code/hoare-triple  (3s)     OK
Starting work on progTheory
grammarTheory               examples/formal-languages/context-free  (2s)     OK
Starting work on pegTheory
progTheory                      examples/machine-code/hoare-triple  (3s)     OK
Starting work on addressTheory
pegTheory                   examples/formal-languages/context-free  (5s)     OK
Starting work on pegexecTheory
pegexecTheory               examples/formal-languages/context-free  (3s)     OK
Finished $(HOLDIR)/examples/formal-languages/context-free [#theories: 4] (13.000s) 
addressTheory                   examples/machine-code/hoare-triple  (6s)     OK
Finished $(HOLDIR)/examples/machine-code/hoare-triple [#theories: 4]  (13.870s) 
Starting work on miscTheory
miscTheory                                                    misc (27s)     OK
Starting work on cakeml-heap
cakeml-heap                                                   misc  (0s)FAIL<7F>
 /bin/sh: 1: /scratch/cakeml/regression3/HOL-b725f6e8834462a5b4bb2fb67b35e36f368cb8b6/bin/buildheap: not found
 Full log: /scratch/cakeml/regression3/cakeml-3181/misc/.hol/logs/cakeml-heap
Finished $(CAKEMLDIR)/misc [#theories: 1]                             (27.040s)