I decided to update Poly/ML svn today and ran into this problem. Not a big deal since my old version still works, but maybe there's a bug to be found.
... Use: basis/PrettyPrinter.sml Use: basis/FinalPolyML.sml Use: basis/TopLevelPolyML.sml /bin/sh: line 1: 16849 Segmentation fault ./polyimport -H 10 polytemp.txt -I . < ./exportPoly.sml make[2]: *** [polyexport.o] Error 139 make[2]: Leaving directory `/home/ramana/builds/polyml-svn/src/polyml/polyml' make[1]: *** [all-recursive] Error 1 make[1]: Leaving directory `/home/ramana/builds/polyml-svn/src/polyml/polyml' make: *** [all] Error 2
svn info Path: . URL: https://polyml.svn.sourceforge.net/svnroot/polyml/trunk Repository Root: https://polyml.svn.sourceforge.net/svnroot/polyml Repository UUID: 57040599-48ee-4647-8227-d26cbd406fcb Revision: 1077
these are the commands I was trying to run (not sure where it got up to): make distclean ./configure --prefix=/usr make || return 1 make compiler make || return 1 make DESTDIR=$pkgdir install