diff mbox

Fix linking issues when using CLooG ISL and ppl-0.11

Message ID 4CDD14EC.6040307@gmail.com
State New
Headers show

Commit Message

Vincent Chou Nov. 12, 2010, 10:20 a.m. UTC 
Hi all,

These two patches make sure that GCC is successfully linked.
As libpwl is a requirement for libppl_c and libisl is required for 
libcloog-isl.

Please regenerate configure, thanks.

Comments

Ryan Hill Nov. 14, 2010, 9:07 a.m. UTC | #1 
On Fri, 12 Nov 2010 21:20:28 +1100
Vincent Chou <wsvchou@gmail.com> wrote:

> Hi all,
> 
> These two patches make sure that GCC is successfully linked.
> As libpwl is a requirement for libppl ...

Is this a new requirement?  We've never needed to link with it before as far
as I know (in fact our ppl is configured with --disable-watchdog).
diff mbox

Patch

Index: configure.ac
===================================================================
--- configure.ac	(revision 166641)
+++ configure.ac	(working copy)
@@ -1533,7 +1533,7 @@ 
 AC_SUBST(poststage1_ldflags)
 
 # Check for PPL
-ppllibs=" -lppl_c -lppl -lgmpxx"
+ppllibs=" -lppl_c -lpwl -lppl -lgmpxx"
 pplinc=
 
 AC_ARG_WITH(ppl, [  --with-ppl=PATH         Specify prefix directory for the installed PPL package
@@ -1549,7 +1549,7 @@ 
   "" | yes)
     ;;
   *)
-    ppllibs="-L$with_ppl/lib -lppl_c -lppl -lgmpxx"
+    ppllibs="-L$with_ppl/lib -lppl_c -lpwl -lppl -lgmpxx"
     pplinc="-I$with_ppl/include $pplinc"
     ;;
 esac
@@ -1557,10 +1557,10 @@ 
   pplinc="-I$with_ppl_include $pplinc"
 fi
 if test "x$with_ppl_lib" != x; then
-  ppllibs="-L$with_ppl_lib -lppl_c -lppl -lgmpxx"
+  ppllibs="-L$with_ppl_lib -lppl_c -lpwl -lppl -lgmpxx"
 fi
 if test "x$with_ppl$with_ppl_include$with_ppl_lib" = x && test -d ${srcdir}/ppl; then
-  ppllibs='-L$$r/$(HOST_SUBDIR)/ppl/interfaces/C/'"$lt_cv_objdir"' -L$$r/$(HOST_SUBDIR)/ppl/src/'"$lt_cv_objdir"' -lppl_c -lppl -lgmpxx '
+  ppllibs='-L$$r/$(HOST_SUBDIR)/ppl/interfaces/C/'"$lt_cv_objdir"' -L$$r/$(HOST_SUBDIR)/ppl/src/'"$lt_cv_objdir"' -lppl_c -lpwl -lppl -lgmpxx '
   pplinc='-I$$r/$(HOST_SUBDIR)/ppl/src -I$$r/$(HOST_SUBDIR)/ppl/interfaces/C '
   enable_ppl_version_check=no
 fi