fixed include dir in sylvan

8 years ago · 1ce5068694
1 changed files with 1 additions and 1 deletions
--- a/resources/3rdparty/sylvan/CMakeLists.txt
+++ b/resources/3rdparty/sylvan/CMakeLists.txt
@ -47,7 +47,7 @@ endif()
 set(CMAKE_MODULE_PATH ${PROJECT_SOURCE_DIR}/cmake)
 find_package(GMP REQUIRED)
 include_directories(${GMP_INCLUDE_DIR})
-include_directories("${PROJECT_SOURCE_DIR}/../../../")
+include_directories("${PROJECT_SOURCE_DIR}/../../../src")
 include_directories("${PROJECT_BINARY_DIR}/../include")
 include_directories(src)