[polyml] Error building Poly/ML 5

Martin Preen wrote:

Hi, I have problems building Poly/ML 5 on Solaris 10. It works fine on Linux 2.6.15. In both cases I use gcc 4.1.1.

... creating polyimport ./polyimport -H 10 imports/polymlsparc.txt < exportPoly.sml > /dev/null /bin/bash: line 1: 13236 Segmentation Fault (core dumped) ./polyimport -H 10 imports/polymlsparc.txt <exportPoly.sml >/dev/null make[2]: *** [polyexport.o] Error 139 make[2]: Leaving directory `/scratch/polyml.5.0' make[1]: *** [all-recursive] Error 1 make[1]: Leaving directory `/scratch/polyml.5.0' make: *** [all] Error 2

Any ideas ?

Is this on i386 or Sparc? I haven't tried Poly/ML on i386/Solaris but it works on the Sparc.

David.