Hidden (#818)

runtimeverification · Jul 28, 2023 · 45ddd54 · 45ddd54
1 parent 5c094c5
commit 45ddd54
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bin/llvm-kompile-clang b/bin/llvm-kompile-clang
@@ -196,7 +196,7 @@ elif [[ "$main" =~ "python" ]]; then
   # Don't link jemalloc when building a python library; it clashes with the
   # pymalloc implementation that Python expects you to use.
   all_libraries=("${libraries[@]}" "-lgmp" "-lgmpxx" "-lmpfr" "-lpthread" "-ldl" "-lffi")
-  flags+=("-fPIC" "-shared" "-I${INCDIR}")
+  flags+=("-fPIC" "-shared" "-I${INCDIR}" "-fvisibility=hidden")
 
   read -r -a python_include_flags <<< "$("${python_cmd}" -m pybind11 --includes)"
   flags+=("${python_include_flags[@]}")