[CakeML] cakeML build fails

[Ramana Kumar]

On Tue, Jan 14, 2014 at 12:51 PM, Magnus Myreen
<magnus.myreen at cl.cam.ac.uk> wrote:
> As far as I know, the full bootstrap has only been successfully run on
> a 64 GB machine, but maybe Ramana had some data suggesting 16 GB would
> is enough.

I have run the bootstrap successfully multiple times on my laptop
which has 8GB RAM and 8GB swap.
It occasionally fails, though. I use Linux 3.12 and Poly/ML 5.5.1.