diff options
Diffstat (limited to 'polly/CMakeLists.txt')
| -rw-r--r-- | polly/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/polly/CMakeLists.txt b/polly/CMakeLists.txt index 80fc6d3dff1..cb7b91f4a31 100644 --- a/polly/CMakeLists.txt +++ b/polly/CMakeLists.txt @@ -114,6 +114,7 @@ include_directories( BEFORE ${CMAKE_CURRENT_SOURCE_DIR}/include ${CMAKE_CURRENT_SOURCE_DIR}/lib/JSON/include + ${CMAKE_CURRENT_BINARY_DIR}/lib/External/isl ${CMAKE_CURRENT_SOURCE_DIR}/lib/External/isl/include ${CMAKE_CURRENT_SOURCE_DIR}/lib/External/isl/imath ${CMAKE_CURRENT_SOURCE_DIR}/lib/External/isl |
