Job 851

CakeML:c6a39e95b78f0065bedfa084dba102d538b7b922
  Remove armV6 backend subsumed by armV7 backend [May 09 05:55:09]
#633 (FMA_support)
Merging into:331972bc323d7886b60ecbab12195ee6999bcdeb
  Merge pull request #634 from CakeML/cleanup [May 08 15:37:32]
HOL:818ca782a5ea727abaa821f259ded153f08a6f18
  Give up on sending Travis notifications to hol-builds [May 08 01:08:45]
Machine:te1

May 09 12:53:56 Claimed job
May 09 12:54:00 Building HOL
May 09 13:06:53 Starting developers
May 09 13:06:55 Finished developers                                               2s  34MB
May 09 13:06:55 Starting developers/bin
May 09 13:07:02 Finished developers/bin                                           6s 933MB
May 09 13:07:02 Starting semantics/ffi
May 09 13:07:57 Finished semantics/ffi                                           55s 469MB
May 09 13:07:57 Starting semantics
May 09 13:10:13 Finished semantics                                             2m15s   1GB
May 09 13:10:13 Starting semantics/proofs
May 09 13:14:29 Finished semantics/proofs                                      4m15s   1GB
May 09 13:14:29 Starting basis/pure
May 09 13:19:26 Finished basis/pure                                            4m57s 755MB
May 09 13:19:26 Starting translator
May 09 13:21:48 Finished translator                                            2m21s   1GB
May 09 13:21:48 Starting compiler/parsing
May 09 13:23:07 Finished compiler/parsing                                      1m18s   2GB
May 09 13:23:07 Starting characteristic
May 09 13:30:37 Finished characteristic                                        7m29s   1GB
May 09 13:30:37 Starting translator/monadic
May 09 13:32:43 Finished translator/monadic                                    2m05s   1GB
May 09 13:32:43 Starting basis
May 09 13:55:56 Finished basis                                                23m12s   2GB
May 09 13:55:56 Starting compiler/inference
May 09 13:58:36 Finished compiler/inference                                    2m39s   1GB
May 09 13:58:36 Starting compiler/backend/reg_alloc
May 09 13:59:56 Finished compiler/backend/reg_alloc                            1m20s   1GB
May 09 13:59:56 Starting compiler/backend/gc
May 09 14:12:43 Finished compiler/backend/gc                                  12m46s   1GB
May 09 14:12:43 Starting compiler/backend
May 09 14:12:46 Finished compiler/backend                                         2s  34MB
May 09 14:12:46 Starting compiler/encoders/asm
May 09 14:12:47 Finished compiler/encoders/asm                                    1s  33MB
May 09 14:12:47 Starting compiler/encoders/x64
May 09 14:14:14 Finished compiler/encoders/x64                                 1m27s 807MB
May 09 14:14:14 Starting compiler/encoders/arm6
May 09 14:14:14 SysErr ("No such file or directory", SOME ENOENT)
May 09 14:14:15 FAILED: compiler/encoders/arm6