Detect the isl code generation feature correctly

llvm-svn: 165034
This commit is contained in:
Tobias Grosser 2012-10-02 19:50:22 +00:00
parent 6e551ae1a3
commit c845fef391
3 changed files with 5 additions and 5 deletions

View File

@ -81,7 +81,7 @@ dnl Find Isl
find_lib_and_headers([isl], [isl/config.h], [isl], [required])
dnl Find whether ISL has a codegen.h file.
find_lib_and_headers([isl], [isl/codegen.h], [isl])
find_lib_and_headers([isl], [isl/ast.h], [isl])
AS_IF([test "x$isl_found" = "xyes"],
[AC_DEFINE([ISL_CODEGEN_FOUND],[1],[Define if ISL has a code generator])])

View File

@ -1,5 +1,5 @@
FIND_PATH(ISL_INCLUDE_DIR isl/set.h)
FIND_PATH(ISL_CODEGEN_DIR isl/codegen.h)
FIND_PATH(ISL_CODEGEN_DIR isl/ast.h)
IF (ISL_CODEGEN_DIR)
SET(ISL_CODEGEN_FOUND TRUE)

6
polly/configure vendored
View File

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