aboutsummaryrefslogtreecommitdiff
path: root/polly/autoconf
diff options
context:
space:
mode:
authorTobias Grosser <grosser@fim.uni-passau.de>2012-10-21 21:48:21 +0000
committerTobias Grosser <grosser@fim.uni-passau.de>2012-10-21 21:48:21 +0000
commit0c55514a43af13d26534c30fcae0c6a9c408bf19 (patch)
tree841ef7ec14b1b848d1f7c532900e347c67cfc9cd /polly/autoconf
parent6c8e6966186179e04a9a6310af572923e11eb608 (diff)
downloadllvm-0c55514a43af13d26534c30fcae0c6a9c408bf19.zip
llvm-0c55514a43af13d26534c30fcae0c6a9c408bf19.tar.gz
llvm-0c55514a43af13d26534c30fcae0c6a9c408bf19.tar.bz2
autoconf/cmake: Always require isl code generation.
This change ensures that isl is only detected if it includes code generation support. This allows us to remove a lot of conditional compilation and also avoids missing test cases in case the feature is not available. llvm-svn: 166403
Diffstat (limited to 'polly/autoconf')
-rw-r--r--polly/autoconf/configure.ac7
1 files changed, 1 insertions, 6 deletions
diff --git a/polly/autoconf/configure.ac b/polly/autoconf/configure.ac
index 9ce989a..cbc1f49 100644
--- a/polly/autoconf/configure.ac
+++ b/polly/autoconf/configure.ac
@@ -78,12 +78,7 @@ dnl Find Gmp
find_lib_and_headers([gmp], [gmp.h], [gmp], [required])
dnl Find Isl
-find_lib_and_headers([isl], [isl/config.h], [isl], [required])
-
-dnl Find whether ISL has a codegen.h file.
-find_lib_and_headers([isl], [isl/ast.h], [isl])
-AS_IF([test "x$isl_found" = "xyes"],
- [AC_DEFINE([ISL_CODEGEN_FOUND],[1],[Define if ISL has a code generator])])
+find_lib_and_headers([isl], [isl/ast.h], [isl], [required])
dnl Check that we have cloog.
saved_CXXFLAGS=$CXXFLAGS