diff options
author | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2014-12-02 22:26:58 +0300 |
---|---|---|
committer | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2014-12-02 22:26:58 +0300 |
commit | 305fed96e6b0b94a01868a3e0f1d86ab791344a8 (patch) | |
tree | 0d6040b017211bbaef21c79d5b809c399376bd62 /polly/autoconf | |
parent | 1e6e41bdc5cd211117fd5179865a65939b614eca (diff) |
Drop Cloog support
This commit drops the Cloog support for Polly. The scripts and
documentation are changed to only use isl as prerequisity. In the code
all Cloog specific parts have been removed and all relevant tests have
been ported to the isl backend when it was created.
llvm-svn: 223141
Diffstat (limited to 'polly/autoconf')
-rw-r--r-- | polly/autoconf/configure.ac | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/polly/autoconf/configure.ac b/polly/autoconf/configure.ac index 423deb676e81..15008f8c0645 100644 --- a/polly/autoconf/configure.ac +++ b/polly/autoconf/configure.ac @@ -37,8 +37,6 @@ if test ${srcdir} != "." ; then fi fi -AC_DEFINE([CLOOG_INT_GMP], [1], [Use gmp for isl]) - dnl ************************************************************************** dnl * Determine which system we are building on dnl ************************************************************************** @@ -83,14 +81,6 @@ CXXFLAGS="$CXXFLAGS" find_lib_and_headers([isl], [isl/val.h], [isl], [required]) CXXFLAGS=$saved_CXXFLAGS -dnl Check that we have cloog. -saved_CXXFLAGS=$CXXFLAGS -CXXFLAGS="$CXXFLAGS $gmp_inc $isl_inc" -find_lib_and_headers([cloog], [cloog/isl/cloog.h], [cloog-isl]) -CXXFLAGS=$saved_CXXFLAGS -AS_IF([test "x$cloog_found" = "xyes"], - [AC_DEFINE([CLOOG_FOUND],[1],[Define if cloog found])]) - dnl Check that we have libpluto. saved_CXXFLAGS=$CXXFLAGS CXXFLAGS="$CXXFLAGS $gmp_inc $isl_inc" |