From 39ed27101ed9f465504f4e12e2bd2f676ea66fda Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 20 Sep 2018 19:56:55 -0700
Subject: [PATCH] include version.h in install include directory for cmake
 build #1833

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/CMakeLists.txt      | 2 ++
 src/util/CMakeLists.txt | 1 +
 2 files changed, 3 insertions(+)

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 826f87e8c..c2d7d84a3 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -166,6 +166,8 @@ foreach (header ${libz3_public_headers})
   set_property(TARGET libz3 APPEND PROPERTY
     PUBLIC_HEADER "${CMAKE_SOURCE_DIR}/src/api/${header}")
 endforeach()
+set_property(TARGET libz3 APPEND PROPERTY
+    PUBLIC_HEADER "${CMAKE_CURRENT_BINARY_DIR}/util/version.h")
 
 install(TARGETS libz3
   EXPORT Z3_EXPORTED_TARGETS
diff --git a/src/util/CMakeLists.txt b/src/util/CMakeLists.txt
index 85b6f955c..a84cc1f00 100644
--- a/src/util/CMakeLists.txt
+++ b/src/util/CMakeLists.txt
@@ -7,6 +7,7 @@ endif()
 set(Z3_FULL_VERSION "\"${Z3_FULL_VERSION_STR}\"")
 configure_file(version.h.cmake.in ${CMAKE_CURRENT_BINARY_DIR}/version.h)
 
+
 z3_add_component(util
   SOURCES
     approx_nat.cpp