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 !
