--- 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"