diff options
Diffstat (limited to 'tools/CMakeLists.txt')
-rw-r--r-- | tools/CMakeLists.txt | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tools/CMakeLists.txt b/tools/CMakeLists.txt index 7ed10e9729..89d858c4e7 100644 --- a/tools/CMakeLists.txt +++ b/tools/CMakeLists.txt @@ -2,6 +2,14 @@ # large and three small executables. This is done to minimize memory load # in parallel builds. Please retain this ordering. +# If polly exists and is not disabled compile it and add it to the LLVM tools. +option(LLVM_BUILD_POLLY "Compile polly" ON) +if( EXISTS ${CMAKE_CURRENT_SOURCE_DIR}/polly/CMakeLists.txt ) + if (LLVM_BUILD_POLLY) + add_subdirectory( ${CMAKE_CURRENT_SOURCE_DIR}/polly) + endif (LLVM_BUILD_POLLY) +endif( EXISTS ${CMAKE_CURRENT_SOURCE_DIR}/polly/CMakeLists.txt ) + if( NOT WIN32 OR MSYS OR CYGWIN ) # It is useful to build llvm-config before the other tools, so we # have a fresh LibDeps.txt for regenerating the hard-coded library |