mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 01:24:08 +00:00
Code Activity

Use cmake properties for symbol visibility and PIC.

Browse source
This commit is contained in:
Bruce Mitchener 2022-08-02 00:58:02 +07:00 committed by Nikolaj Bjorner
parent 886c3abec1
commit b3612264a9
2 changed files with 6 additions and 22 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

22
CMakeLists.txt
View file

@ -345,14 +345,6 @@ endif()
option(Z3_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)
################################################################################
# Symbol visibility
################################################################################
if (NOT MSVC)
z3_add_cxx_flag("-fvisibility=hidden" REQUIRED)
z3_add_cxx_flag("-fvisibility-inlines-hidden" REQUIRED)
endif()
################################################################################ ################################################################################
# Tracing # Tracing
################################################################################ ################################################################################
@ -364,20 +356,6 @@ else()
list(APPEND Z3_COMPONENT_CXX_DEFINES $<$<CONFIG:Debug>:_TRACE>) list(APPEND Z3_COMPONENT_CXX_DEFINES $<$<CONFIG:Debug>:_TRACE>)
endif() endif()
################################################################################
# Position independent code
################################################################################
# This is required because code built in the components will end up in a shared
# library.
# 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).
if (NOT (MSVC OR MINGW OR WIN32))
z3_add_cxx_flag("-fPIC" REQUIRED)
endif()
################################################################################ ################################################################################
# Link time optimization # Link time optimization
################################################################################ ################################################################################

6
cmake/z3_add_component.cmake
View file

@ -206,6 +206,12 @@ macro(z3_add_component component_name)
foreach (flag ${Z3_COMPONENT_CXX_FLAGS}) foreach (flag ${Z3_COMPONENT_CXX_FLAGS})
target_compile_options(${component_name} PRIVATE ${flag}) target_compile_options(${component_name} PRIVATE ${flag})
endforeach() endforeach()
set_target_properties(${component_name} PROPERTIES
# Position independent code needed in shared libraries
POSITION_INDEPENDENT_CODE ON
# Symbol visibility
CXX_VISIBILITY_PRESET hidden
VISIBILITY_INLINES_HIDDEN ON)
# It's unfortunate that we have to manage dependencies ourselves. # It's unfortunate that we have to manage dependencies ourselves.
# #