giamp@dmi.unict.it wrote:
Hi, can you please help?
Thanks!
I'm trying to install Isabelle on an AMD Athlon 64, which is a 64 bit x86 architecture.
Polyml gives a known segmentation fault, but installing its fix produces:
Poly/ML is not available for this architecture - x86_64
Ever heard about this? Do I just need to change machine
Poly/ML does not currently have support for 64-bit mode on the AMD 64 but I believe that this machine will run 32-bit programs. You need to edit the driver/configure script so that it will compile this in the same way as for the other iX86 machines. Changing the line that reads i?86) echo "Building for Intel architecture" into i?86 | x86_64) echo "Building for Intel architecture" ought to allow it to compile. I don't know how the virtual address space is organised so it's possible that there may be problems once you've compiled it. Let me know if this works and I will make the change in CVS.
David P.S. Please subscribe to the Poly/ML mailing list with the email address you use to mail to it. To avoid spam, messages from other mail addresses are held and I have to forward them to the list manually.