re-added gmp include directory to sylvan CMakeLists.txt

7 years ago · 18ba906914
1 changed files with 1 additions and 0 deletions
--- a/resources/3rdparty/sylvan/src/CMakeLists.txt
+++ b/resources/3rdparty/sylvan/src/CMakeLists.txt
@ -50,6 +50,7 @@ add_library(sylvan ${SOURCES})
 find_package(GMP REQUIRED)
 include_directories(sylvan ${GMP_INCLUDE_DIR})
 target_link_libraries(sylvan m pthread ${GMP_LIBRARIES})
 if(UNIX AND NOT APPLE)