Browse Source

Fixed include path for storm-config.h

tempestpy_adaptions
Philipp Berger 8 years ago
parent
commit
6d49f8cc60
  1. 2
      resources/3rdparty/sylvan/CMakeLists.txt

2
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)

Loading…
Cancel
Save