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.
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
