diff --git a/resources/3rdparty/sylvan/src/CMakeLists.txt b/resources/3rdparty/sylvan/src/CMakeLists.txt
index 7e36c6741..51fea96d0 100644
--- 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)