From 6d49f8cc604c9353b834fcb0eb156478bba0bca7 Mon Sep 17 00:00:00 2001 From: Philipp Berger Date: Tue, 20 Dec 2016 14:51:44 +0100 Subject: [PATCH] Fixed include path for storm-config.h --- resources/3rdparty/sylvan/CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/resources/3rdparty/sylvan/CMakeLists.txt b/resources/3rdparty/sylvan/CMakeLists.txt index c44f5af89..558b0458d 100644 --- a/resources/3rdparty/sylvan/CMakeLists.txt +++ b/resources/3rdparty/sylvan/CMakeLists.txt @@ -48,7 +48,7 @@ set(CMAKE_MODULE_PATH ${PROJECT_SOURCE_DIR}/cmake) find_package(GMP REQUIRED) include_directories(${GMP_INCLUDE_DIR}) include_directories("${PROJECT_SOURCE_DIR}/../../../src") -include_directories("${PROJECT_BINARY_DIR}/../include") +include_directories("${PROJECT_BINARY_DIR}/../../../include") include_directories(src) include_directories(src)