Merge branch 'master' of https://github.com/z3prover/z3

Z3Prover · Aug 5, 2022 · e48474e · e48474e
2 parents c51af91 + a9b7348
commit e48474e
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/src/shell/CMakeLists.txt b/src/shell/CMakeLists.txt
@@ -34,6 +34,14 @@ add_executable(shell
 # we don't want (I think).
   ${shell_object_files}
 )
+
+set_target_properties(shell PROPERTIES
+    # Position independent code needed in shared libraries
+    POSITION_INDEPENDENT_CODE ON
+    # Symbol visibility
+    CXX_VISIBILITY_PRESET hidden
+    VISIBILITY_INLINES_HIDDEN ON)
+
 z3_add_install_tactic_rule(${shell_deps})
 z3_add_memory_initializer_rule(${shell_deps})
 z3_add_gparams_register_modules_rule(${shell_deps})