Email Gateway (Aug 17 2022 at 13:46): Email Gateway (Aug 17 2022 at 13:46):From: Jean-Francois Molderez <jfmolderez@hotmail.com>
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 fv 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 fv 15 21:40:51 CET 2006
0:00:00 total elapsed time
Thank you for any help
Jean-Franois
Free blogging with MSN Spaces http://spaces.msn.com/?mkt=nl-be
Last updated: Nov 21 2024 at 12:39 UTC