Re: [isabelle] [polyml] Problems compiling polyml 5 on sparc/solaris



Hi David,
I was able to compile the current CVS version on SPARC/Solaris10. Thank you for your help, it's much appreciated. Should you still require access, please email me. We should be able to set up a temporary account for you.

Regards,
Henry


David Matthews wrote:
Lucas Dixon wrote:
I get the a similar error when trying to install polyml 5 using darwin ports on MacOSX 10.3.9 (PPC).

It is unlikely that this is the same problem. Have you tried building from the original source rather than the darwin port?

I have a good idea what the problem is with the Sparc and Solaris 10 but since I haven't got access to a Sparc with Solaris 10 I can't test it to be sure. There is an experimental version of Poly/ML in CVS on sourceforge (See http://www.polyml.org/download.html for how to use it) and this version does not use the g7 register that may have been causing the problems. It will still need the CFLAGS="-gstabs -O3" CXXFLAGS="-gstabs -O3" workaround.

David
_______________________________________________
polyml mailing list
polyml at inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml



--
 ========================================================================
     Dipl.-Inform. Henry Sudhof

     Technische Universität Berlin              Tel.: +49 30 314 73419
     Fakultät IV                                Raum: FR5503
     Institut für Softwaretechnik und           Projekt ASCOT
     theoretische Informatik                    hsudhof at cs.tu-berlin.de
FR5-6 ========================================================================





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