Job 1599

CakeML:e7a5c005596708fcf02ba333f849a5ae1eefdf8a
  Merge pull request #839 from CakeML/lpr_transform [Oct 03 11:04:50]
HOL:109bb797367d22a4178d8009554291248f170c63
  More fiddling with holfoot Holmakefiles to get deps right [Oct 12 10:05:04]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Oct 13 10:41:04 Claimed job
Oct 13 10:41:15 Building HOL
Oct 13 10:42:04 FAILED: building HOL