Browse Source

Added cmake option exclude_tests_from_all so that we can run make install without building the tests.

tempestpy_adaptions
Tim Quatmann 4 years ago
parent
commit
a04085e848
  1. 3
      CMakeLists.txt
  2. 5
      src/CMakeLists.txt

3
CMakeLists.txt

@ -61,6 +61,9 @@ export_option(STORM_USE_CLN_RF)
option(BUILD_SHARED_LIBS "Build the Storm library dynamically" OFF) option(BUILD_SHARED_LIBS "Build the Storm library dynamically" OFF)
option(STORM_DEBUG_CUDD "Build CUDD in debug mode." OFF) option(STORM_DEBUG_CUDD "Build CUDD in debug mode." OFF)
MARK_AS_ADVANCED(STORM_DEBUG_CUDD) MARK_AS_ADVANCED(STORM_DEBUG_CUDD)
option(STORM_EXCLUDE_TESTS_FROM_ALL "If set, tests will not be compiled by default" OFF )
export_option(STORM_EXCLUDE_TESTS_FROM_ALL)
MARK_AS_ADVANCED(STORM_EXCLUDE_TESTS_FROM_ALL)
set(BOOST_ROOT "" CACHE STRING "A hint to the root directory of Boost (optional).") set(BOOST_ROOT "" CACHE STRING "A hint to the root directory of Boost (optional).")
set(GUROBI_ROOT "" CACHE STRING "A hint to the root directory of Gurobi (optional).") set(GUROBI_ROOT "" CACHE STRING "A hint to the root directory of Gurobi (optional).")
set(Z3_ROOT "" CACHE STRING "A hint to the root directory of Z3 (optional).") set(Z3_ROOT "" CACHE STRING "A hint to the root directory of Z3 (optional).")

5
src/CMakeLists.txt

@ -23,7 +23,10 @@ add_subdirectory(storm-pomdp-cli)
add_subdirectory(storm-conv) add_subdirectory(storm-conv)
add_subdirectory(storm-conv-cli) add_subdirectory(storm-conv-cli)
if (STORM_EXCLUDE_TESTS_FROM_ALL)
add_subdirectory(test EXCLUDE_FROM_ALL)
else()
add_subdirectory(test) add_subdirectory(test)
endif()
set(STORM_TARGETS ${STORM_TARGETS} PARENT_SCOPE) set(STORM_TARGETS ${STORM_TARGETS} PARENT_SCOPE)
Loading…
Cancel
Save