1
set(CMAKE_INCLUDE_CURRENT_DIR ON)
4
add_subdirectory(PetriParse)
5
add_subdirectory(PetriEngine)
8
add_executable(verifypn-${ARCH_TYPE} VerifyPN.cpp)
9
add_dependencies(verifypn-${ARCH_TYPE} glpk-ext)
11
target_link_libraries(verifypn-${ARCH_TYPE} PRIVATE CTL PetriEngine PetriParse glpk)
13
if (VERIFYPN_MC_Simplification)
14
target_link_libraries(verifypn-${ARCH_TYPE} PUBLIC pthread)
15
endif(VERIFYPN_MC_Simplification)