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
HOL FAILED

[...]

Any advice?

Hi Temesghen,

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.

Greetings,
Stefan

--
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 MHonArc.