I'm actively working on the garbage collector so some commits may be
buggy. It's probably better to avoid SVN just at the moment although
the current commit (1264) should be better on X86/64 than 1259. More
news when I have something more stable.
David
On 14/01/2011 09:25, Ramana Kumar wrot
When I try to build HOL4 using polyml svn 1259 the builder
consistently exits with exit code 89 and I think it is running out of
memory.
I'm sorry I don't have anything more helpful to add - I'm switching
back to svn 1243 (which I happen to have and which works), but I'm
happy to follow instruction
