|
@ -358,7 +358,7 @@ ExternalProject_Add( |
|
|
DOWNLOAD_COMMAND "" |
|
|
DOWNLOAD_COMMAND "" |
|
|
PREFIX "sylvan" |
|
|
PREFIX "sylvan" |
|
|
SOURCE_DIR ${STORM_3RDPARTY_SOURCE_DIR}/sylvan |
|
|
SOURCE_DIR ${STORM_3RDPARTY_SOURCE_DIR}/sylvan |
|
|
CMAKE_ARGS -DCMAKE_C_COMPILER=${CMAKE_C_COMPILER} -DSYLVAN_BUILD_TEST=Off -DSYLVAN_BUILD_EXAMPLES=Off -DCMAKE_BUILD_TYPE=Release |
|
|
|
|
|
|
|
|
CMAKE_ARGS -DCMAKE_C_COMPILER=${CMAKE_C_COMPILER} -DSYLVAN_BUILD_TEST=Off -DSYLVAN_BUILD_EXAMPLES=Off -DCMAKE_BUILD_TYPE=Release -DCMAKE_POSITION_INDEPENDENT_CODE=ON |
|
|
BINARY_DIR ${PROJECT_BINARY_DIR}/sylvan |
|
|
BINARY_DIR ${PROJECT_BINARY_DIR}/sylvan |
|
|
BUILD_IN_SOURCE 0 |
|
|
BUILD_IN_SOURCE 0 |
|
|
INSTALL_COMMAND "" |
|
|
INSTALL_COMMAND "" |
|
|