From a0dcad022145ca38f6b58b2b3c2b0b84b206af16 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 19 Nov 2019 21:36:13 -0800 Subject: [PATCH] fix #2708 Signed-off-by: Nikolaj Bjorner --- CMakeLists.txt | 1 + README-CMake.md | 3 +++ src/CMakeLists.txt | 18 ++++++++++++++++-- 3 files changed, 20 insertions(+), 2 deletions(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index 4330d166f..1bcd3eab4 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -114,6 +114,7 @@ endif() # Useful CMake functions/Macros ################################################################################ include(CheckCXXSourceCompiles) +include(CMakeDependentOption) ################################################################################ # Compiler flags for Z3 components. diff --git a/README-CMake.md b/README-CMake.md index 68eafb0c3..ef8d3b41d 100644 --- a/README-CMake.md +++ b/README-CMake.md @@ -270,6 +270,9 @@ The following useful options can be passed to CMake whilst configuring. * ``WARNINGS_AS_ERRORS`` - STRING. If set to ``TRUE`` compiler warnings will be treated as errors. If set to ``False`` compiler warnings will not be treated as errors. If set to ``SERIOUS_ONLY`` a subset of compiler warnings will be treated as errors. * ``Z3_C_EXAMPLES_FORCE_CXX_LINKER`` - BOOL. If set to ``TRUE`` the C API examples will request that the C++ linker is used rather than the C linker. +* ``Z3_BUILD_EXECUTABLE`` - BOOL. If set to ``TRUE`` build the z3 executable. Defaults to ``TRUE`` unless z3 is being built as a submodule in which case it defaults to ``FALSE``. +* ``Z3_BUILD_TEST_EXECUTABLES`` - BOOL. If set to ``TRUE`` build the z3 test executables. Defaults to ``TRUE`` unless z3 is being built as a submodule in which case it defaults to ``FALSE``. + On the command line these can be passed to ``cmake`` using the ``-D`` option. In ``ccmake`` and ``cmake-gui`` these can be set in the user interface. diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 439d42dda..6d4930ed0 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -209,12 +209,26 @@ endif() ################################################################################ # Z3 executable ################################################################################ -add_subdirectory(shell) +cmake_dependent_option(Z3_BUILD_EXECUTABLE + "Build the z3 executable" ON + "CMAKE_SOURCE_DIR STREQUAL PROJECT_SOURCE_DIR" OFF) + +if (Z3_BUILD_EXECUTABLE) + add_subdirectory(shell) +endif() ################################################################################ # z3-test ################################################################################ -add_subdirectory(test) + +cmake_dependent_option(Z3_BUILD_TEST_EXECUTABLES + "Build test executables" ON + "CMAKE_SOURCE_DIR STREQUAL PROJECT_SOURCE_DIR" OFF) + + +if (Z3_BUILD_TEST_EXECUTABLES) + add_subdirectory(test) +endif() ################################################################################