Job 3178

CakeML:b3e05f211d0adb8f483c1b36bf608ce2ec4dc948
  Merge pull request #1305 from CakeML/flatdec [Jan 29 09:33:44]
HOL:08739e9f203d3a7315707a031429ab34076d571c
  Create selftest.sml for regexp example [Jan 29 06:09:51]
Machine:timtam

Jan 29 10:59:35 Claimed job
Jan 29 10:59:39 Reusing HOL
Jan 29 10:59:47 Starting developers
Jan 29 10:59:52 Finished developers                                               4s 176MB
Jan 29 10:59:53 Starting developers/bin
Jan 29 10:59:57 Finished developers/bin                                           3s  91MB
Jan 29 10:59:58 Starting misc
Jan 29 11:00:32 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 README.md
Starting work on miscTheory
README.md                                                           (0s)     OK
miscTheory                                                         (28s)     OK
Starting work on cakeml-heap
cakeml-heap                                                         (0s)FAIL<7F>
 /bin/sh: 1: /scratch/cakeml/regression2/HOL-08739e9f203d3a7315707a031429ab34076d571c/bin/buildheap: not found
 Full log: /scratch/cakeml/regression2/cakeml-3178/misc/.hol/logs/cakeml-heap