mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-02 04:11:21 +00:00
Code Activity

cmake: build with -fvisibility-inlines-hidden

Browse source
This commit is contained in:
Nuno Lopes 2021-06-04 19:51:40 +01:00
parent 2f9be23d90
commit 7cda90c06a
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
CMakeLists.txt
View file

@ -351,6 +351,7 @@ option(Z3_BUILD_LIBZ3_SHARED "Build libz3 as a shared library if true, otherwise
################################################################################ ################################################################################
if (NOT MSVC) if (NOT MSVC)
z3_add_cxx_flag("-fvisibility=hidden" REQUIRED) z3_add_cxx_flag("-fvisibility=hidden" REQUIRED)
z3_add_cxx_flag("-fvisibility-inlines-hidden" REQUIRED)
endif() endif()
################################################################################ ################################################################################