← Back to branch summary

~tapaal-ltl/verifypn/resumable-suc-generator

« back to all changes in this revision

Viewing changes to src/LTL/LTL_algorithm/CMakeLists.txt

  • Committer: Nikolaj Jensen Ulrik
  • Date: 2020-10-05 10:15:17 UTC
  • Revision ID: nikolaj@njulrik.dk-20201005101517-470ai9qv2lukms08
Seemingly working NDFS algorithm

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/LTL/LTL_algorithm/CMakeLists.txt
3
3
add_library(LTL_algorithm ${HEADER_FILES}
4
4
        NestedDepthFirstSearch.cpp ModelChecker.cpp ProductSuccessorGenerator.cpp LTLToBuchi.cpp)
5
5
 
6
 
target_link_libraries(LTL_algorithm PetriEngine)
7
 
add_dependencies(LTL_algorithm ptrie-ext)
 
6
target_link_libraries(LTL_algorithm PetriEngine spot)
 
7
add_dependencies(LTL_algorithm ptrie-ext spot-ext)
8
8