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.


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 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.

polyml mailing list
polyml at

     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
FR5-6 ========================================================================

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