benoit@2854: diff -Naurd cloog-ppl-0.15.9-a/configure cloog-ppl-0.15.9-b/configure
benoit@2854: --- cloog-ppl-0.15.9-a/configure	2010-03-23 22:29:47.000000000 +0100
benoit@2854: +++ cloog-ppl-0.15.9-b/configure	2012-01-27 13:28:03.866987993 +0100
benoit@2854: @@ -12902,7 +12902,7 @@
benoit@2854:  
benoit@2854:  rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
benoit@2854:  
benoit@2854: -	LIBS="$LIBS -lppl_c -lppl -lgmpxx"
benoit@2854: +	LIBS="-lppl_c -lppl -lgmpxx $LIBS"
benoit@2854:  
benoit@2854:  cat >>confdefs.h <<\_ACEOF
benoit@2854:  #define CLOOG_PPL_BACKEND 1
benoit@2854: diff -Naurd cloog-ppl-0.15.9-a/configure.in cloog-ppl-0.15.9-b/configure.in
benoit@2854: --- cloog-ppl-0.15.9-a/configure.in	2010-03-23 22:29:47.000000000 +0100
benoit@2854: +++ cloog-ppl-0.15.9-b/configure.in	2012-01-27 13:28:03.866987993 +0100
benoit@2854: @@ -345,7 +345,7 @@
benoit@2854:  	#endif
benoit@2854:  	], [AC_MSG_RESULT([yes])], [AC_MSG_ERROR(Can't find correct version of PPL.) ])
benoit@2854:  
benoit@2854: -	LIBS="$LIBS -lppl_c -lppl -lgmpxx"
benoit@2854: +	LIBS="-lppl_c -lppl -lgmpxx $LIBS"
benoit@2854:  	AC_DEFINE([CLOOG_PPL_BACKEND], 1, [Use the PPL backend])
benoit@2854:  
benoit@2854:  else