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
Ramana Kumar wrote:
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
What platform was this? In particular what hardware? I'm doing a lot on the low-level code-generation at the moment so things may be broken but if it's easy to fix I'd rather do it now than later.
David
On Mon, 8 Mar 2010, David Matthews wrote:
Ramana Kumar wrote:
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
What platform was this? In particular what hardware? I'm doing a lot on the low-level code-generation at the moment so things may be broken but if it's easy to fix I'd rather do it now than later.
I've run into the same problem on Mac OS (Snow Leopard), compiling for x86-darwin or x86_64-darwin.
Makarius
I've fixed a bug in the X86/64 version (SVN 1082) and it now builds successfully.
David
Makarius wrote:
On Mon, 8 Mar 2010, David Matthews wrote:
Ramana Kumar wrote:
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
What platform was this? In particular what hardware? I'm doing a lot on the low-level code-generation at the moment so things may be broken but if it's easy to fix I'd rather do it now than later.
I've run into the same problem on Mac OS (Snow Leopard), compiling for x86-darwin or x86_64-darwin.
Thanks! (This message confirms that the fix led to a successful build on my machine.)
On Wed, Mar 10, 2010 at 10:29 PM, David Matthews David.Matthews@prolingua.co.uk wrote:
I've fixed a bug in the X86/64 version (SVN 1082) and it now builds successfully.
David
Makarius wrote:
On Mon, 8 Mar 2010, David Matthews wrote:
Ramana Kumar wrote:
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
What platform was this? ?In particular what hardware? ?I'm doing a lot on the low-level code-generation at the moment so things may be broken but if it's easy to fix I'd rather do it now than later.
I've run into the same problem on Mac OS (Snow Leopard), compiling for x86-darwin or x86_64-darwin.
polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
-
David.Matthews＠prolingua.co.uk -
makarius＠sketis.net -
ramana.kumar＠gmail.com