Le 6 juil. 2011 à 11:04, Romain Geissler a écrit : > 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 <romain.geiss...@gmail.com> > > * 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")
Ping !