Job 1918

CakeML:0deaebfe52ee97bd590f80b97ea11acdab40e296
  Get bootstrap translation to build again [Jun 10 18:42:54]
#889 (consts)
Merging into:f7195c3d29d6bd5f389a7ff307f998a45d56552f
  Merge pull request #888 from CakeML/deflate [Jun 09 07:20:45]
HOL:48bc6e3fcf4f5c1a81a122354d8838d83bbce3ef
  Re-organise Holmake code to isolate some "file-system" code [Jun 07 01:51:29]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

Jun 10 19:03:15 Claimed job
Jun 10 19:03:16 Reusing HOL
Jun 10 19:03:30 Starting developers
Jun 10 19:03:34 Finished developers                                               4s 182MB
Jun 10 19:03:34 Starting developers/bin
Jun 10 19:03:41 Finished developers/bin                                           6s   1GB
Jun 10 19:03:41 Starting semantics/ffi
Jun 10 19:03:52 Finished semantics/ffi                                           11s 219MB
Jun 10 19:03:52 Starting semantics
Jun 10 19:06:21 Finished semantics                                             2m28s   1GB
Jun 10 19:06:21 Starting semantics/proofs
Jun 10 19:13:19 Finished semantics/proofs                                      6m58s   1GB
Jun 10 19:13:19 Starting semantics/alt_semantics
Jun 10 19:13:46 Finished semantics/alt_semantics                                 27s 552MB
Jun 10 19:13:46 Starting semantics/alt_semantics/proofs
Jun 10 19:25:18 Finished semantics/alt_semantics/proofs                       11m30s   2GB
Jun 10 19:25:18 Starting basis/pure
Jun 10 19:26:25 Finished basis/pure                                            1m06s 963MB
Jun 10 19:26:25 Starting translator
Jun 10 19:30:03 Finished translator                                            3m38s   2GB
Jun 10 19:30:04 Starting compiler/parsing
Jun 10 19:31:28 Finished compiler/parsing                                      1m24s   5GB
Jun 10 19:31:28 Starting characteristic
Jun 10 19:38:29 Finished characteristic                                        7m00s   1GB
Jun 10 19:38:29 Starting translator/monadic
Jun 10 19:40:32 Finished translator/monadic                                    2m02s   1GB
Jun 10 19:40:32 Starting basis Jun 10 19:40:32 1850s