diff --git a/ChangeLog b/ChangeLog index ee366db9014..82125465bf5 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2008-12-12 Sebastian Pop + + * configure.ac (ppllibs): Add by default the lib flags. + * configure: Regenerate. + 2008-12-08 Luis Machado * MAINTAINERS: Add myself to the write after approval list. diff --git a/configure b/configure index 403982c69fb..f26e2ba5cb7 100755 --- a/configure +++ b/configure @@ -4809,7 +4809,7 @@ fi # Check for PPL ppl_major_version=0 ppl_minor_version=10 -ppllibs= +ppllibs=" -lppl_c -lppl -lgmpxx " pplinc= diff --git a/configure.ac b/configure.ac index 21fcf78ed49..6efc633c308 100644 --- a/configure.ac +++ b/configure.ac @@ -1315,7 +1315,7 @@ AC_SUBST(gmpinc) # Check for PPL ppl_major_version=0 ppl_minor_version=10 -ppllibs= +ppllibs=" -lppl_c -lppl -lgmpxx " pplinc= AC_ARG_WITH(ppl, [ --with-ppl=PATH Specify prefix directory for the installed PPL package