David.Matthews@prolingua.co.uk wrote:
I have built a new release for Poly/ML and installed it on the sourceforge site at http://sourceforge.net/projects/polyml . There is a database for each of the i386, PPC and Sparc architectures and sources for the driver, compiler and Basis library. As before, you need the driver plus the appropriate database.
I am about to try this with Isabelle2005. Concerning Solaris: How do you actually compile the poly driver? Using gcc 3.2.2 produces the following error:
gcc -DGCC -DSPARC -DSOLARIS -DSOLARIS2 -DBIGHEAP -c -o sparc_assembly.o sparc_assembly.S sparc_assembly.S: Assembler messages: sparc_assembly.S:1782: Error: Illegal operands make[1]: *** [sparc_assembly.o] Error 1 make[1]: Leaving directory `/export/T3/proj/polyml/polyml-4.1.4-test/driver' make: *** [none] Error 2
Note that the same problem occurs with the 4.1.3 driver.
Makarius