Re: [isabelle] installing Isabelle under polyml-5
Jeremy Dawson wrote:
Further to the above, I've tried to build Isabelle 2007 - under Polyml
5.1 it seems to work fine, but under PolyML 5.2 it gives the following
I'm trying to build Isabelle 2005 under PolyML 5.1 and get the
Please check /home/users/jeremy/Isabelle2007/etc/settings
to make sure that Isabelle's ML system settings and compilation options
The current values are:
ISABELLE_USEDIR_OPTIONS=-p 1 -v true -V outline=/proof,/ML
Press RETURN to compilation of
Started at Tue Oct 26 18:24:01 EST 2010 (polyml-5.2_x86-linux on stiletto)
make: Entering directory `/home/users/jeremy/Isabelle2007/src/Pure'
Building Pure ...
Unable to locate /home/users/jeremy/polyml-5.2/x86-linux/ML_dbase
Please check your ML system settings!
[/home/users/jeremy/Isabelle2007/heaps/polyml-5.2_x86-linux/Pure] Error 2
make: Leaving directory `/home/users/jeremy/Isabelle2007/src/Pure'
make: *** [Pure] Error 2
In fact so far as I can tell, PolyML-5.x doesn't have an ML_dbase, why
does the Isabelle build process want one ?
If I'm to check my ML system settings, what particular things should
they point to ?
This archive was generated by a fusion of
Pipermail (Mailman edition) and