diff options
author | Tobias Grosser <grosser@fim.uni-passau.de> | 2013-07-02 14:11:32 +0000 |
---|---|---|
committer | Tobias Grosser <grosser@fim.uni-passau.de> | 2013-07-02 14:11:32 +0000 |
commit | 24bb46bc6684b38a5fc12ad2baebc30436002182 (patch) | |
tree | 093374b941b96629de4ec149492032d2e1503521 /polly/autoconf | |
parent | 69a387e6ae3a01aca814f10a20af854f11d866a5 (diff) | |
download | llvm-24bb46bc6684b38a5fc12ad2baebc30436002182.zip llvm-24bb46bc6684b38a5fc12ad2baebc30436002182.tar.gz llvm-24bb46bc6684b38a5fc12ad2baebc30436002182.tar.bz2 |
[autoconf/cmake] Make sure we detect the latest version of isl.
llvm-svn: 185429
Diffstat (limited to 'polly/autoconf')
-rw-r--r-- | polly/autoconf/configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/polly/autoconf/configure.ac b/polly/autoconf/configure.ac index f37c2c0..193e4b0 100644 --- a/polly/autoconf/configure.ac +++ b/polly/autoconf/configure.ac @@ -80,7 +80,7 @@ find_lib_and_headers([gmp], [gmp.h], [gmp], [required]) dnl Find Isl saved_CXXFLAGS=$CXXFLAGS CXXFLAGS="$CXXFLAGS $gmp_inc" -find_lib_and_headers([isl], [isl/ast.h], [isl], [required]) +find_lib_and_headers([isl], [isl/val.h], [isl], [required]) CXXFLAGS=$saved_CXXFLAGS dnl Check that we have cloog. |