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