Re: [isabelle] polyml 4.1.3 segfault on debian sid



On Mon, Aug 15, 2005 at 11:16:59AM +0800, C G wrote:
> On 8/14/05, George Karabotsos <g_karab at cs.concordia.ca> wrote:
>> I believe this is related to the kernel version of your Debian
>> installation.

> BTW, I followed the instructions at

> http://www.polyml.org/linuxsegfault.html

> But it does not help either.

I used this patch to driver/configure that made it work. (It also
changes the installation path.)

-- 
Lionel
--- tmp/polyml/driver/configure	2004-10-05 13:34:32.000000000 +0200
+++ polyml/driver/configure	2005-08-16 16:15:11.000000000 +0200
@@ -3,7 +3,7 @@
 # using appropriate configuration information.
 #
 # Defaults
-OPTFLAGS="-g -O2 -Wall"
+OPTFLAGS="-ggdb -Wall -fno-strict-aliasing"
 CCOMP="gcc -DGCC"
 AS="gcc"
 CPP="gcc -E"
@@ -12,8 +12,8 @@
 INCLUDES=""
 LIBS=""
 OBJS=""
-INSTALLDIR="/usr/bin"
-DEFAULT_POLYPATH=.:/usr/lib/poly:/usr/local/lib/poly
+INSTALLDIR="/opt/isabelle/bin"
+DEFAULT_POLYPATH=.:/usr/lib/poly:/usr/local/lib/poly:/opt/isabelle/lib/poly
 
 # Basic operating system.  Use this to find the other parameters.
 OS=`uname`
@@ -105,7 +105,7 @@
 then
 	echo "Including support for X-Windows/Motif"
 	OBJS=$OBJS" xwindows.o"
-	LIBS=$LIBS" -lXm -lXt -lXp -lXext -lX11"
+	LIBS=$LIBS" -L/usr/X11R6/lib -lXm -lXt -lXp -lXext -lX11"
 else
 	OBJS=$OBJS" noxwindows.o"
 	echo "Excluding support for X-Windows/Motif"


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.