Re: [isabelle] [polyml] Problems compiling polyml 5 on sparc/solaris
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 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.
polyml mailing list
polyml at inf.ed.ac.uk
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
This archive was generated by a fusion of
Pipermail (Mailman edition) and