diff -ur ppl-0.9/configure ppl-0.9-patched/configure
--- ppl-0.9/configure	2006-03-12 09:11:32.000000000 +0100
+++ ppl-0.9-patched/configure	2007-06-07 15:19:05.000000000 +0200
@@ -2389,8 +2389,8 @@
 fi
 
 
-CFLAGS="$COMP_FLAGS $OPT_FLAGS"
-CXXFLAGS="$COMP_FLAGS $OPT_FLAGS"
+CFLAGS="$COMP_FLAGS $OPT_FLAGS $CFLAGS"
+CXXFLAGS="$COMP_FLAGS $OPT_FLAGS $CXXFLAGS"
 
 enableval=mpz
 echo "$as_me:$LINENO: checking the type of integral values to use as coefficients" >&5
diff -ur ppl-0.9/Watchdog/configure ppl-0.9-patched/Watchdog/configure
--- ppl-0.9/Watchdog/configure	2006-03-12 09:11:24.000000000 +0100
+++ ppl-0.9-patched/Watchdog/configure	2007-06-07 16:07:50.000000000 +0200
@@ -5112,8 +5112,8 @@
   ;;
 esac
 
-CFLAGS="$COMP_FLAGS $OPT_FLAGS"
-CXXFLAGS="$COMP_FLAGS $OPT_FLAGS"
+CFLAGS="$COMP_FLAGS $OPT_FLAGS $CFLAGS"
+CXXFLAGS="$COMP_FLAGS $OPT_FLAGS $CXXFLAGS"
 
 # Allow additions to C and C++ compilation flags