From 265c25c6120205a9949928aa570ac9644011c0ca Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Tue, 19 Mar 2019 09:54:16 +0000
Subject: Set version to 2.0!

---
 CMakeLists.txt | 13 ++++++++-----
 1 file 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\"")
-- 
cgit 1.4.1