Re: [isabelle] problem with the last development snapshot
Temesghen Kahsai wrote:
Started at Thu Sep 20 17:44:31 BST 2007 (polyml-4.1.4_ppc-darwin on cslttk.swan.ac.uk)
Building Pure ...
Finished Pure (0:00:55 elapsed time, 0:00:34 cpu time)
Building HOL ...
Run out of store - interrupting console processes
you should try to upgrade to PolyML 5.0. Some older versions of PolyML have
problems handling applications that consume a large amount of heap space.
You also have to make sure that the default maximum heap size for PolyML
is set to the right value, but this should be taken care of by the default
Isabelle settings file automatically.
Dr. Stefan Berghofer E-Mail: berghofe at in.tum.de
Institut fuer Informatik Phone: +49 89 289 17328
Technische Universitaet Muenchen Fax: +49 89 289 17307
Boltzmannstr. 3 Room: 01.11.059
85748 Garching, GERMANY http://www.in.tum.de/~berghofe
This archive was generated by a fusion of
Pipermail (Mailman edition) and