I get the a similar error when trying to install polyml 5 using darwin ports on MacOSX 10.3.9 (PPC).
sudo port -v install polyml Password: ---> Building polyml with target all make all-recursive Making all in libpolyml make[2]: Nothing to be done for `all'. Making all in libpolymain make[2]: Nothing to be done for `all'. ./polyimport -H 10 imports/polymlppc.txt < exportPoly.sml > /dev/null make[2]: *** [polyexport.o] Error 139 make[1]: *** [all-recursive] Error 1 make: *** [all] Error 2
any ideas/work around?
lucas
David Matthews wrote:
Peter Lammich wrote:
with gcc 4.0.2, I get the same segfault as already reported on this list. When using gcc 3.4.3, I get the following error:
I have a sparc machine running Solaris 8 and Poly/ML compiles and runs fine on that. Unfortunately the machine is so old that Solaris 10 won't install on it so I can't test this. If someone has a sparc with Solaris 10 and will provide me ssh access I'm willing to see if there's a simple fix but other than that I can't help. I think Sourceforge used to have a sparc with Solaris but that's no longer available.
David. _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml