Re: [isabelle] Isabelle Installation : help needed

On Wed, 15 Feb 2006, Jean-Francois Molderez wrote:

> I have carefully read the installation instructions but HOL still does 
> not compile (see shell transcript below) My OS is Linux Mandriva x86-64 
> (Processor AMD Athlon 64) I suspect that nor Polyml neither SML NJ do 
> work on that platform . Is there a fix ?

The problem is that neither Poly/ML nor SML/XL support x86_64, although 
the existing 32bit executables seem to work reasonably well on many 64bit 
platforms.  The success rate can be increased by using the linux32 tool 
with --3gb option, wrapped around the basic poly driver.

Here is an experimental polyml-4.1.4 package that does the right thing 
both for 32bit and 64bit platforms:

This can be used as a replacement for the official 
polyml-4.1.4_x86-linux.tar.gz from our Isabelle download site.  The 
existing logic images should still work with this, so there is no point to 
try compiling your own logics.


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