Re: [isabelle] Segmentation faults when running PolyML
On Thu, 5 Jul 2007, Ricardo Peña wrote:
> I am copying below part of the message from Ewen Maclean on 19.10.2005:
> > I noticed in the archives many problems reporting the segmentation
> fault with the latest polyml.
> > I managed to get isabelle to build with polyml 4.1.4 by using the
> 4.1.4 driver and the 4.1.3 database.
These problems may be avoided altogether by using Poly/ML 5.0. See also
http://www4.in.tum.de/~wenzelm/test/Isabelle2005-polyml-5.0.tar.gz on how
to make it work with Isabelle2005.
The latest CVS version of Poly/ML should also work, but make double sure
that Isabelle sees ML_SYSTEM=polyml-5.0, not 5.1 as reported by Poly/ML.
This archive was generated by a fusion of
Pipermail (Mailman edition) and