Hi All,<br><br>I'm new to the list and I could not find any information regarding this in the archives. Please let me know if this is not a pertinent discussion.<br><br>I've used Isabelle in PPC architecture with no issue in the past, but in Intel Macs I've been having some issues that you may be able to help. I've installed Isabelle and xemacs with Fink, and it's working just fine. The problem is in polyml and compiling the logics:
<br><br>First, the script to detect the Polyml architecture fails on Intel Macs. The "uname -m" returns only i386, which fails to search for the ppc-darwin file in polyml directory. Second, when I try to compile the logics, this is what I get:
<br><br>Press RETURN to compilation of<br><br>  FOL<br><br><br>Started at Mon Oct 29 00:41:42 BRST 2007 (polyml-4.1.4_ppc-darwin on simone-costas-macbook.local)<br>Building Pure ...<br>Pure FAILED<br>(see also /usr/local/Isabelle2005/heaps/polyml-
4.1.4_ppc-darwin/log/Pure)<br><br>Poly/ML RTS version PPC-4.1.4 (14:25:13 Nov 14 2005)<br>Copyright (c) 2002-5 CUTS and contributors.<br>Running with heap parameters (h=10240K,ib=2048K,ip=100%,mb=6144K,mp=20%)<br>Mapping /usr/local/Isabelle2005/../polyml/ppc-darwin/ML_dbase
<br>Poly/ML 4.2.0 Release<br>/usr/local/Isabelle2005/lib/scripts/run-polyml: line 103: 88927 Done                    echo "PolyML.make_database \"$(fixpath "$OUTFILE")\"; PolyML.quit();"<br>     88928 Bus error               | "$POLY" -r "$(fixpath "$INFILE")"
<br>Unable to create output heap file: "/usr/local/Isabelle2005/heaps/polyml-4.1.4_ppc-darwin/Pure"<br><br>make[1]: *** [/usr/local/Isabelle2005/heaps/polyml-4.1.4_ppc-darwin/Pure] Error 2<br>make: *** [Pure] Error 2
<br>Finished at Mon Oct 29 00:41:43 BRST 2007<br>0:00:01 total elapsed time<br>sh-3.2#<br><br>Do you guys have any idea?<br><br>Thanks,<br><br>Fernando<br>