From 36695435535ec18dd194beb1def019351bcdcd59 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 18 Nov 2019 23:06:48 -0800 Subject: [PATCH] rename additional build options #2709 Signed-off-by: Nikolaj Bjorner --- CMakeLists.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index d23b22ecd..0e2c8ac8f 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -348,7 +348,7 @@ endif() ################################################################################ # Option to control what type of library we build ################################################################################ -option(BUILD_LIBZ3_SHARED "Build libz3 as a shared library if true, otherwise build a static library" ON) +option(Z3_BUILD_LIBZ3_SHARED "Build libz3 as a shared library if true, otherwise build a static library" ON) ################################################################################ @@ -375,7 +375,7 @@ endif() # This is required because code built in the components will end up in a shared # library. If not building a shared library ``-fPIC`` isn't needed and would add # unnecessary overhead. -if (BUILD_LIBZ3_SHARED) +if (Z3_BUILD_LIBZ3_SHARED) # Avoid adding -fPIC compiler switch if we compile with MSVC (which does not # support the flag) or if we target Windows, which generally does not use # position independent code for native code shared libraries (DLLs).