New subject: [polyml] Poly/ML 4.1.4 Release

4 Oct 2005


      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