Browse Source

z3 as imported lib

tempestpy_adaptions
Sebastian Junges 8 years ago
parent
commit
e311eaa40f
  1. 4
      resources/3rdparty/CMakeLists.txt

4
resources/3rdparty/CMakeLists.txt

@ -134,8 +134,8 @@ set(STORM_HAVE_Z3 ${Z3_FOUND})
if(Z3_FOUND)
message (STATUS "Storm - Linking with Z3.")
include_directories(${Z3_INCLUDE_DIRS})
list(APPEND STORM_LINK_LIBRARIES ${Z3_LIBRARIES})
add_imported_library(z3 SHARED ${Z3_LIBRARIES} ${Z3_INCLUDE_DIRS})
list(APPEND STORM_DEP_TARGETS z3_SHARED)
endif(Z3_FOUND)
#############################################################

Loading…
Cancel
Save