Hello
This patch fix an issue while building with cloog and gmp installed in
a custom separate directories.
How to reproduce :
- Make sure you've installed cloog and gmp in separate directories
(ie ${WITH-CLOOG-PATH}/lib doesn't contain libgmp)
- Make sure neither gmp nor cloog is not installed in a directory
searched by default by your linker when looking for libs.
- Launch configure script with both --with-gmp and --with-cloog
switch properly set
This result in an unexpected error while configuring: error: Unable to
find a usable CLooG.
2011-07-06 Romain Geissler <[email protected]>
* configure: Add $gmplibs to cloog $LDFLAGS
Index: configure
===================================================================
--- configure (revision 175709)
+++ configure (working copy)
@@ -5713,7 +5713,7 @@ if test "x$with_cloog" != "xno"; then
CFLAGS="${CFLAGS} ${clooginc} ${gmpinc}"
CPPFLAGS="${CPPFLAGS} ${_cloogorginc}"
- LDFLAGS="${LDFLAGS} ${clooglibs}"
+ LDFLAGS="${LDFLAGS} ${clooglibs} ${gmplibs}"
case $cloog_backend in
"ppl-legacy")
