[autoconf/cmake] Make sure we detect the latest version of isl.

llvm-svn: 185429
This commit is contained in:
Tobias Grosser 2013-07-02 14:11:32 +00:00
parent 69a387e6ae
commit 24bb46bc66
3 changed files with 5 additions and 5 deletions

View File

@ -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.

View File

@ -1,4 +1,4 @@
FIND_PATH(ISL_INCLUDE_DIR isl/ast.h)
FIND_PATH(ISL_INCLUDE_DIR isl/val.h)
FIND_LIBRARY(ISL_LIBRARY NAMES isl)

6
polly/configure vendored
View File

@ -2504,13 +2504,13 @@ else
fi
# Check for library and headers works
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for isl: isl/ast.h in $given_inc_path, and libisl in $given_lib_path" >&5
$as_echo_n "checking for isl: isl/ast.h in $given_inc_path, and libisl in $given_lib_path... " >&6; }
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for isl: isl/val.in $given_inc_path, and libisl in $given_lib_path" >&5
$as_echo_n "checking for isl: isl/val.in $given_inc_path, and libisl in $given_lib_path... " >&6; }
# try to compile a file that includes a header of the library
cat confdefs.h - <<_ACEOF >conftest.$ac_ext
/* end confdefs.h. */
#include <isl/ast.h>
#include <isl/val.h>
int
main ()
{