Job 2572

CakeML:8620f3df78d7960734a2f98b4264564047077b81
  Update cc calls in makefiles [Aug 10 13:40:56]
#1032 (new-double-ffi)
Merging into:8f8e1629500ce09f10707b79d29273f4246e5d50
  Merge pull request #1043 from CakeML/heaps [Aug 23 10:27:42]
HOL:5fc7a6047d48839800489adfb2c2eac7f3ffd5fc
  Add missing export [Aug 21 10:25:23]
Machine:lammmington

Aug 23 11:40:37 Claimed job
Aug 23 11:40:41 Reusing HOL
Aug 23 11:40:52 Starting developers
Aug 23 11:40:56 Finished developers                                               2s 221MB
Aug 23 11:40:57 Starting developers/bin
Aug 23 11:41:08 Finished developers/bin                                          10s   1GB
Aug 23 11:41:09 Starting compiler/proofs Aug 23 11:41:09 6538s