[isabelle] Isabelle Installation : help needed




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 ?

---------------------------------------------- Shell Transcript --------------------------------------------------
Press RETURN to compilation of

 HOL


Started at mer fév 15 21:40:51 CET 2006 (polyml_x86-linux on localhost)
make[1]: Entering directory `/usr/local/Isabelle2005/src/Pure'
Building Pure ...
Pure FAILED
(see also /usr/local/Isabelle2005/heaps/polyml_x86-linux/log/Pure)

/usr/local/Isabelle2005/lib/scripts/run-polyml: line 103: 6165 Done echo "PolyML.make_database \"$(fixpath "$OUTFILE")\"; PolyML.quit();"
     6167 Erreur de segmentation  | "$POLY" -r "$(fixpath "$INFILE")"
Unable to create output heap file: "/usr/local/Isabelle2005/heaps/polyml_x86-linux/Pure"

make[1]: *** [/usr/local/Isabelle2005/heaps/polyml_x86-linux/Pure] Erreur 2
make[1]: Leaving directory `/usr/local/Isabelle2005/src/Pure'
make: *** [Pure] Erreur 2
Finished at mer fév 15 21:40:51 CET 2006
0:00:00 total elapsed time

---------------------------------------------------------------------------------------------------------------------------------

Thank you for any help

Jean-François

_________________________________________________________________
Free blogging with MSN Spaces  http://spaces.msn.com/?mkt=nl-be






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