diff options
| author | Richard Guenther <rguenther@suse.de> | 2009-10-21 11:40:17 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2009-10-21 11:40:17 +0000 |
| commit | ad0abd3c9040a5085d7833cb964e94ce2ec59069 (patch) | |
| tree | 2b616f052772ea4bfefcaed70dba596d1d488db4 /configure | |
| parent | 3c28a5f48c173ca546369b2434c0701009320569 (diff) | |
| download | gcc-ad0abd3c9040a5085d7833cb964e94ce2ec59069.tar.gz | |
configure.ac: Adjust the ppl and cloog configure to work as documented.
2009-10-21 Richard Guenther <rguenther@suse.de>
* configure.ac: Adjust the ppl and cloog configure to work as
documented. Disable cloog if ppl was disabled. Omit the version
checks if they were disabled.
* configure: Re-generate.
From-SVN: r153055
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 18 |
1 files changed, 14 insertions, 4 deletions
diff --git a/configure b/configure index 1ece75c489f..aa8af62cf92 100755 --- a/configure +++ b/configure @@ -5750,7 +5750,7 @@ pplinc= if test "${with_ppl+set}" = set; then : withval=$with_ppl; else - with_ppl=no + with_ppl=yes fi @@ -5770,6 +5770,9 @@ case $with_ppl in no) ppllibs= ;; + yes) + LIBS="$ppllibs $LIBS" + ;; *) ppllibs="-L$with_ppl/lib -lppl_c -lppl -lgmpxx" pplinc="-I$with_ppl/include $pplinc" @@ -5797,7 +5800,7 @@ else fi -if test "${ENABLE_PPL_CHECK}" = "yes"; then +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 @@ -5842,7 +5845,7 @@ clooginc=" -DCLOOG_PPL_BACKEND " if test "${with_cloog+set}" = set; then : withval=$with_cloog; else - with_cloog=no + with_cloog=yes fi @@ -5858,11 +5861,18 @@ if test "${with_cloog_lib+set}" = set; then : fi +if test "x$with_ppl" == "xno"; then + with_cloog=no +fi + case $with_cloog in no) clooglibs= clooginc= ;; + yes) + LIBS="$clooglibs $LIBS" + ;; *) clooglibs="-L$with_cloog/lib -lcloog" clooginc="-I$with_cloog/include -DCLOOG_PPL_BACKEND " @@ -5890,7 +5900,7 @@ else fi -if test "${ENABLE_CLOOG_CHECK}" = "yes"; then +if test "x$with_cloog" != "xno" -a "${ENABLE_CLOOG_CHECK}" = "yes"; then saved_CFLAGS="$CFLAGS" CFLAGS="$CFLAGS $clooginc $gmpinc $pplinc" { $as_echo "$as_me:${as_lineno-$LINENO}: checking for correct version of CLooG" >&5 |