--- rpl/rplcas/Makefile.in	2011/06/27 14:30:20	1.10
+++ rpl/rplcas/Makefile.in	2011/07/22 07:38:22	1.11
@@ -9,7 +9,7 @@ lib/libgmp.a:
 		mkdir @GMP@; \
 	fi
 	if [ ! -f @GMP@/config.log ]; then \
-		(cd @GMP@ && CFLAGS=@ABI@ $(CFLAGS) \
+		(cd @GMP@ && CFLAGS="@ABI@ $(CFLAGS)" \
 				../$(srcdir)/@GMP@/configure --with-readline=no \
 				--disable-shared --enable-static \
 				--prefix=$(top_builddir)/rplcas); \
@@ -21,7 +21,7 @@ lib/libmpfr.a: lib/libgmp.a
 		mkdir @MPFR@ ; \
 	fi
 	if [ ! -f @MPFR@/config.log ]; then \
-		(cd @MPFR@ && CFLAGS=@ABI@ $(CFLAGS) ../$(srcdir)/@MPFR@/configure \
+		(cd @MPFR@ && CFLAGS="@ABI@ $(CFLAGS)" ../$(srcdir)/@MPFR@/configure \
 				--with-gmp=$(top_builddir)/rplcas \
 				--disable-shared --enable-static \
 				--prefix=$(top_builddir)/rplcas); \