Re: [isabelle] Insufficient memory when building heap image

Brilliant, worked like a charm. Thanks a lot!

On 28/09/12 16:45, Makarius wrote:
> Alternatively, you can ignore the problem and use current polyml-5.5.0
> from here:
> This is the brand-new Poly/ML release, with greatly improved heap
> management (parallel garbage collection and online sharing of values).
> It is able to run much larger Isabelle applications even in 32bit mode.
> To use the above polyml-5.5.0 component in Isabelle2012, add something
> like this to your $ISABELLE_HOME_USER/etc/settings:
>   ML_SYSTEM=polyml-5.5.0
>   ML_HOME="/some/where/polyml-5.5.0/$ML_PLATFORM"
>   ML_OPTIONS="-H 500"
>   ML_SOURCES="$ML_HOME/../src"
> Then rebuild the required images as usual via Isabelle2012/build.
>     Makarius 

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.