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 instructions to retrieve information that might lead to finding the problem. I am on x86_64.
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 wrote:
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 instructions to retrieve information that might lead to finding the problem. I am on x86_64.
-
David.Matthews＠prolingua.co.uk -
ramana.kumar＠gmail.com