diff mbox

Fix configure --with-cloog

Message ID CAF+LTed4w-ZLPwZrpfgL1gMFFOAB14TrxKBSOJam4+GaAxh5sQ@mail.gmail.com
State New
Headers show

Commit Message

Romain Geissler July 6, 2011, 9:04 a.m. UTC 
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.geissler@gmail.com>

       * configure: Add $gmplibs to cloog $LDFLAGS

Comments

Romain Geissler July 25, 2011, 7:10 p.m. UTC | #1 
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.geissler@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 !
Romain Geissler Aug. 23, 2011, 2:50 p.m. UTC | #2 
Ping
diff mbox

Patch

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")