diff options
author | Tobias Grosser <tobias@grosser.es> | 2015-02-04 23:55:43 +0300 |
---|---|---|
committer | Tobias Grosser <tobias@grosser.es> | 2015-02-04 23:55:43 +0300 |
commit | 52a25237d894fd5736a90f11df2c5c9391d13fd5 (patch) | |
tree | 2b0e65b1e1de52b56aaa9b04999fe6223d1a7b0f /polly/cmake | |
parent | b6472fe3da9a20bcceb7b24af4ce9f0c4e79b254 (diff) |
Import isl(+imath) as an external library into Polly
With this patch Polly is always GPL-free (no dependency on GMP any more). As a
result, building and distributing Polly will be easier. Furthermore, there is no
need to tightly coordinate isl and Polly releases anymore.
We import isl b3e0fa7a05d as well as imath 4d707e5ef2. These are the git
versions Polly currently was tested with when using utils/checkout_isl.sh. The
imported libraries are both MIT-style licensed.
We build isl and imath with -fvisibility=hidden to avoid clashes in case other
projects (such as gcc) use conflicting versions of isl. The use of imath can
temporarily reduce compile-time performance of Polly. We will work on
performance tuning in tree.
Patches to isl should be contributed first to the main isl repository and can
then later be reimported to Polly.
This patch is also a prerequisite for the upcoming isl C++ interface.
llvm-svn: 228193
Diffstat (limited to 'polly/cmake')
-rw-r--r-- | polly/cmake/FindGmp.cmake | 19 | ||||
-rw-r--r-- | polly/cmake/FindIsl.cmake | 19 |
2 files changed, 0 insertions, 38 deletions
diff --git a/polly/cmake/FindGmp.cmake b/polly/cmake/FindGmp.cmake deleted file mode 100644 index 60def58152c5..000000000000 --- a/polly/cmake/FindGmp.cmake +++ /dev/null @@ -1,19 +0,0 @@ -FIND_PATH(GMP_INCLUDE_DIR gmp.h) - -FIND_LIBRARY(GMP_LIBRARY NAMES gmp) - -IF (GMP_INCLUDE_DIR AND GMP_LIBRARY) - SET(GMP_FOUND TRUE) -ENDIF (GMP_INCLUDE_DIR AND GMP_LIBRARY) - - -IF (GMP_FOUND) - IF (NOT GMP_FIND_QUIETLY) - MESSAGE(STATUS "Found GMP: ${GMP_LIBRARY}") - ENDIF (NOT GMP_FIND_QUIETLY) -ELSE (GMP_FOUND) - IF (GMP_FIND_REQUIRED) - MESSAGE(FATAL_ERROR "Could not find GMP") - ENDIF (GMP_FIND_REQUIRED) -ENDIF (GMP_FOUND) - diff --git a/polly/cmake/FindIsl.cmake b/polly/cmake/FindIsl.cmake deleted file mode 100644 index 1c46e72454a1..000000000000 --- a/polly/cmake/FindIsl.cmake +++ /dev/null @@ -1,19 +0,0 @@ -FIND_PATH(ISL_INCLUDE_DIR isl/val.h) - -FIND_LIBRARY(ISL_LIBRARY NAMES isl) - -IF (ISL_INCLUDE_DIR AND ISL_LIBRARY) - SET(ISL_FOUND TRUE) -ENDIF (ISL_INCLUDE_DIR AND ISL_LIBRARY) - - -IF (ISL_FOUND) - IF (NOT Isl_FIND_QUIETLY) - MESSAGE(STATUS "Found Isl: ${ISL_LIBRARY}") - ENDIF (NOT Isl_FIND_QUIETLY) -ELSE (ISL_FOUND) - IF (Isl_FIND_REQUIRED) - MESSAGE(FATAL_ERROR "Could not find Isl") - ENDIF (Isl_FIND_REQUIRED) -ENDIF (ISL_FOUND) - |