diff options
| author | Sebastian Pop <sebastian.pop@amd.com> | 2010-05-06 21:53:42 +0000 |
|---|---|---|
| committer | Sebastian Pop <spop@gcc.gnu.org> | 2010-05-06 21:53:42 +0000 |
| commit | f1af9e5f460e7e04222953d9d958b6d5eb2c56ea (patch) | |
| tree | 745d96a240a03e168c5c572928a1593ab8158f24 /configure | |
| parent | e262fdda8466aba838725ee425b0135d26239f90 (diff) | |
Allow all the versions greater than 0.10 of PPL.
2010-05-05 Sebastian Pop <sebastian.pop@amd.com>
* configure.ac: Allow all the versions greater than 0.10 of PPL.
* configure: Regenerated.
From-SVN: r159134
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/configure b/configure index 90b754e55b0..cfec344880f 100755 --- a/configure +++ b/configure @@ -5801,8 +5801,6 @@ fi # Check for PPL -ppl_major_version=0 -ppl_minor_version=10 ppllibs=" -lppl_c -lppl -lgmpxx" pplinc= @@ -5859,8 +5857,8 @@ fi if test "x$with_ppl" != "xno" -a "${ENABLE_PPL_CHECK}" = "yes"; then saved_CFLAGS="$CFLAGS" CFLAGS="$CFLAGS $pplinc $gmpinc" - { $as_echo "$as_me:${as_lineno-$LINENO}: checking for version $ppl_major_version.$ppl_minor_version of PPL" >&5 -$as_echo_n "checking for version $ppl_major_version.$ppl_minor_version of PPL... " >&6; } + { $as_echo "$as_me:${as_lineno-$LINENO}: checking for version 0.10 (or later revision) of PPL" >&5 +$as_echo_n "checking for version 0.10 (or later revision) of PPL... " >&6; } cat confdefs.h - <<_ACEOF >conftest.$ac_ext /* end confdefs.h. */ #include "ppl_c.h" @@ -5868,7 +5866,7 @@ int main () { - #if PPL_VERSION_MAJOR != $ppl_major_version || PPL_VERSION_MINOR != $ppl_minor_version + #if PPL_VERSION_MAJOR != 0 || PPL_VERSION_MINOR < 10 choke me #endif |