From ceb3f0c869000359b925d96b2361f0c438d37908 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 28 Jul 2016 11:30:39 -0700 Subject: [PATCH] patch full version for cmake to re-enable build Signed-off-by: Nikolaj Bjorner --- CMakeLists.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/CMakeLists.txt b/CMakeLists.txt index 869ca4992..6a2ed0ebd 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -35,6 +35,7 @@ set(Z3_VERSION_MAJOR 4) set(Z3_VERSION_MINOR 4) set(Z3_VERSION_PATCH 2) set(Z3_VERSION_TWEAK 1) +set(Z3_FULL_VERSION 0) set(Z3_VERSION "${Z3_VERSION_MAJOR}.${Z3_VERSION_MINOR}.${Z3_VERSION_PATCH}.${Z3_VERSION_TWEAK}") message(STATUS "Z3 version ${Z3_VERSION}")