← Back to branch summary

~tapaal-ltl/verifypn/traceable-ndfs

« back to all changes in this revision

Viewing changes to src/CMakeLists.txt

  • Committer: Simon Virenfeldt
  • Date: 2021-02-01 11:52:01 UTC
  • mfrom: (246.1.1 ltl-cleanup)
  • Revision ID: simwir1@gmail.com-20210201115201-pt2gatho9pzcn1h2
Merge ltl-cleanup@247

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/CMakeLists.txt
10
10
 
11
11
target_link_libraries(verifypn-${ARCH_TYPE} PRIVATE CTL LTL PetriEngine PetriParse glpk spot)
12
12
 
13
 
add_executable(verifyltl-${ARCH_TYPE} LTLMain.cpp)
14
 
add_dependencies(verifyltl-${ARCH_TYPE} glpk-ext spot-ext)
15
 
 
16
 
target_link_libraries(verifyltl-${ARCH_TYPE} CTL LTL PetriEngine PetriParse glpk spot)
17
 
 
18
13
# add_executable(parse-benchmark-asctl ParseOnly.cpp)
19
14
 
20
15
 #target_link_libraries(parse-benchmark-asctl PetriEngine PetriParse)