aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorSebastian Pop <sebastian.pop@amd.com>2009-01-12 21:36:58 +0000
committerSebastian Pop <spop@gcc.gnu.org>2009-01-12 21:36:58 +0000
commit53095c5686a5f43936587e36fc292dc9fb948006 (patch)
tree50198d31fd5fda65783a6aef4f4a9e20fed4b754 /configure
parent31ca3fa447a09a01e9aa2814c840ed7408fce8a3 (diff)
downloadgcc-53095c5686a5f43936587e36fc292dc9fb948006.zip
gcc-53095c5686a5f43936587e36fc292dc9fb948006.tar.gz
gcc-53095c5686a5f43936587e36fc292dc9fb948006.tar.bz2
re PR tree-optimization/38515 (Disabling PPL/CLOOG with configure does not work)
2009-01-12 Sebastian Pop <sebastian.pop@amd.com> PR tree-optimization/38515 * configure.ac (cloog-polylib): Removed. (with_ppl, with_cloog): Test for "no". * configure: Regenerated. From-SVN: r143311
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure43
1 files changed, 21 insertions, 22 deletions
diff --git a/configure b/configure
index f26e2ba..d21c820 100755
--- a/configure
+++ b/configure
@@ -979,7 +979,6 @@ Optional Packages:
plus --with-cloog-lib=PATH/lib
--with-cloog-include=PATH Specify directory for installed CLooG include files
--with-cloog-lib=PATH Specify the directory for the installed CLooG library
- --with-cloog-polylib=PATH Specify prefix directory for the installed CLooG-PolyLib package
--with-build-sysroot=SYSROOT
use sysroot as the system root during the build
--with-debug-prefix-map='A=B C=D ...'
@@ -4831,11 +4830,16 @@ if test "${with_ppl_lib+set}" = set; then
fi;
-if test "x$with_ppl" != x; then
- ppllibs="-L$with_ppl/lib -lppl_c -lppl -lgmpxx"
- pplinc="-I$with_ppl/include $pplinc"
- LIBS="$ppllibs $LIBS"
-fi
+case $with_ppl in
+ no)
+ ppllibs=
+ ;;
+ *)
+ ppllibs="-L$with_ppl/lib -lppl_c -lppl -lgmpxx"
+ pplinc="-I$with_ppl/include $pplinc"
+ LIBS="$ppllibs $LIBS"
+ ;;
+esac
if test "x$with_ppl_include" != x; then
pplinc="-I$with_ppl_include $pplinc"
fi
@@ -4944,22 +4948,17 @@ if test "${with_cloog_lib+set}" = set; then
fi;
-# Check whether --with-cloog-polylib or --without-cloog-polylib was given.
-if test "${with_cloog_polylib+set}" = set; then
- withval="$with_cloog_polylib"
-
-fi;
-
-if test "x$with_cloog" != x; then
- clooglibs="-L$with_cloog/lib -lcloog"
- clooginc="-I$with_cloog/include -DCLOOG_PPL_BACKEND "
- LIBS="$clooglibs $LIBS"
-fi
-if test "x$with_cloog_polylib" != x; then
- clooglibs="-L$with_cloog/lib -lcloog"
- clooginc="-I$with_cloog/include "
- LIBS="$clooglibs $LIBS"
-fi
+case $with_cloog in
+ no)
+ clooglibs=
+ clooginc=
+ ;;
+ *)
+ clooglibs="-L$with_cloog/lib -lcloog"
+ clooginc="-I$with_cloog/include -DCLOOG_PPL_BACKEND "
+ LIBS="$clooglibs $LIBS"
+ ;;
+esac
if test "x$with_cloog_include" != x; then
clooginc="-I$with_cloog_include -DCLOOG_PPL_BACKEND "
fi