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

[Tobias Grosser]

Author: grosser
Date: Tue Jul  2 09:11:32 2013
New Revision: 185429

URL: http://llvm.org/viewvc/llvm-project?rev=185429&view=rev
Log:
[autoconf/cmake] Make sure we detect the latest version of isl.

Modified:
    polly/trunk/autoconf/configure.ac
    polly/trunk/cmake/FindIsl.cmake
    polly/trunk/configure

Modified: polly/trunk/autoconf/configure.ac
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/autoconf/configure.ac?rev=185429&r1=185428&r2=185429&view=diff
==============================================================================
--- polly/trunk/autoconf/configure.ac (original)
+++ polly/trunk/autoconf/configure.ac Tue Jul  2 09:11:32 2013
@@ -80,7 +80,7 @@ find_lib_and_headers([gmp], [gmp.h], [gm
 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.

Modified: polly/trunk/cmake/FindIsl.cmake
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/cmake/FindIsl.cmake?rev=185429&r1=185428&r2=185429&view=diff
==============================================================================
--- polly/trunk/cmake/FindIsl.cmake (original)
+++ polly/trunk/cmake/FindIsl.cmake Tue Jul  2 09:11:32 2013
@@ -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)
 

Modified: polly/trunk/configure
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/configure?rev=185429&r1=185428&r2=185429&view=diff
==============================================================================
--- polly/trunk/configure (original)
+++ polly/trunk/configure Tue Jul  2 09:11:32 2013
@@ -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 ()
 {