14 Jan
2011
14 Jan
'11
9:26 a.m.
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.