cmake: build with -fvisibility-inlines-hidden

Z3Prover · Jun 4, 2021 · 7cda90c · 7cda90c
1 parent 2f9be23
commit 7cda90c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -351,6 +351,7 @@ option(Z3_BUILD_LIBZ3_SHARED "Build libz3 as a shared library if true, otherwise
 ################################################################################
 if (NOT MSVC)
   z3_add_cxx_flag("-fvisibility=hidden" REQUIRED)
+  z3_add_cxx_flag("-fvisibility-inlines-hidden" REQUIRED)
 endif()
 
 ################################################################################