about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2019-03-19 09:54:16 +0000
committerCristian Cadar <c.cadar@imperial.ac.uk>2019-03-19 16:45:58 +0000
commit265c25c6120205a9949928aa570ac9644011c0ca (patch)
tree857d7c2f208bfbaa5a7c0776e7054509342afd13
parent51597914293ac0080f984efcca0e702cff35605f (diff)
downloadklee-265c25c6120205a9949928aa570ac9644011c0ca.tar.gz
Set version to 2.0!
-rw-r--r--CMakeLists.txt13
1 files changed, 8 insertions, 5 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt
index 98bf07bc..c070b606 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -48,11 +48,14 @@ include(CheckLibraryExists)
 ###############################################################################
 # Project version
 ###############################################################################
-set(KLEE_VERSION_MAJOR 1)
-set(KLEE_VERSION_MINOR 4)
-set(KLEE_VERSION_PATCH 0)
-set(KLEE_VERSION_TWEAK 0)
-set(KLEE_VERSION "${KLEE_VERSION_MAJOR}.${KLEE_VERSION_MINOR}.${KLEE_VERSION_PATCH}.${KLEE_VERSION_TWEAK}")
+set(KLEE_VERSION_MAJOR 2)
+set(KLEE_VERSION_MINOR 0)
+set(KLEE_VERSION "${KLEE_VERSION_MAJOR}.${KLEE_VERSION_MINOR}")
+
+# If a patch is needed, we can add KLEE_VERSION_PATCH
+# set(KLEE_VERSION_PATCH 0)
+# set(KLEE_VERSION "${KLEE_VERSION_MAJOR}.${KLEE_VERSION_MINOR}.${KLEE_VERSION_PATCH}")
+
 message(STATUS "KLEE version ${KLEE_VERSION}")
 set(PACKAGE_STRING "\"KLEE ${KLEE_VERSION}\"")
 set(PACKAGE_URL "\"https://klee.github.io\"")