diff options
| author | Tobias Grosser <grosser@fim.uni-passau.de> | 2013-07-02 18:11:32 +0400 |
|---|---|---|
| committer | Tobias Grosser <grosser@fim.uni-passau.de> | 2013-07-02 18:11:32 +0400 |
| commit | 24bb46bc6684b38a5fc12ad2baebc30436002182 (patch) | |
| tree | 093374b941b96629de4ec149492032d2e1503521 /polly/autoconf | |
| parent | 69a387e6ae3a01aca814f10a20af854f11d866a5 (diff) | |
[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 f37c2c0d6936..193e4b0a8ed7 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. |