[isabelle] installing Isabelle under polyml-5




I'm trying to build Isabelle 2005 under PolyML 5.1 and get the following error:

      *****************************
               * Welcome to Isabelle build *
               *****************************

Please check /home/users/jeremy/Isabelle2005/etc/settings
to make sure that Isabelle's ML system settings and compilation options
are appropriate.

The current values are:

 ML_SYSTEM=polyml-5.1
 ML_HOME=/home/users/jeremy/polyml-5.1/x86-linux
 ML_OPTIONS=-H 500
 ML_PLATFORM=x86-linux

 ISABELLE_USEDIR_OPTIONS=-v true -V outline=/proof,/ML
 HOL_USEDIR_OPTIONS=


Press RETURN to compilation of

 HOL


Started at Mon Oct 25 16:00:34 EST 2010 (polyml-5.1_x86-linux on stiletto)
make[1]: Entering directory `/home/users/jeremy/Isabelle2005/src/Pure'
Building Pure ...
Pure FAILED
(see also /home/users/jeremy/Isabelle2005/heaps/polyml-5.1_x86-linux/log/Pure)

Unable to locate /home/users/jeremy/polyml-5.1/x86-linux/ML_dbase
Please check your ML system settings!

make[1]: *** [/home/users/jeremy/Isabelle2005/heaps/polyml-5.1_x86-linux/Pure] Error 2
make[1]: Leaving directory `/home/users/jeremy/Isabelle2005/src/Pure'
make: *** [Pure] Error 2
Finished at Mon Oct 25 16:00:34 EST 2010
0:00:00 total elapsed time

But I have built Isabelle2007 under polyml-5.1 successfully.

In etc/settings I put the following (copied from Isabelle2007/etc/settings)

ML_PLATFORM=x86-linux
ML_HOME=/home/users/jeremy/polyml-5.1/x86-linux
ML_SYSTEM=polyml-5.1
ML_OPTIONS="-H 500"

Have I got these settings wrong ?  How do I fix this ?

Jeremy








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