1
set(CMAKE_INCLUDE_CURRENT_DIR ON)
4
add_subdirectory(Algorithm)
5
add_subdirectory(Simplification)
7
add_library(LTL ${HEADER_FILES} _LTL.cpp)
9
if (VERIFYPN_Static OR APPLE)
10
target_link_libraries(LTL PRIVATE LTL_algorithm LTL_simplification spot bddx)
12
target_link_libraries(LTL PRIVATE LTL_algorithm LTL_simplification
13
-Wl,-Bstatic spot bddx -Wl,-Bdynamic)