← Back to branch summary

~tapaal-ltl/verifypn/rule-D-fix

« back to all changes in this revision

Viewing changes to CMakeLists.txt

  • Committer: srba.jiri at gmail
  • Date: 2021-04-16 19:23:03 UTC
  • mto: This revision was merged to the branch mainline in revision 232.
  • Revision ID: srba.jiri@gmail.com-20210416192303-x0a6gijsynw7c95p
increased version number to 4.1.0 (new unfolding approach and added heuristic search for LTL)

Show diffs side-by-side

added added

removed removed

Lines of Context:
CMakeLists.txt
15
15
set(CMAKE_POSITION_INDEPENDENT_CODE ON)
16
16
 
17
17
 
18
 
set(VERIFYPN_VERSION 4.0.0)
 
18
set(VERIFYPN_VERSION 4.1.0)
19
19
add_compile_definitions(VERIFYPN_VERSION=\"${VERIFYPN_VERSION}\")
20
20
 
21
21
project(verifypn VERSION ${VERIFYPN_VERSION} LANGUAGES CXX C)