Use flat namespace in Python

runtimeverification · Jul 19, 2024 · 3080349 · 3080349
1 parent d628609
commit 3080349
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/bin/llvm-kompile-clang b/bin/llvm-kompile-clang
@@ -233,6 +233,10 @@ elif [[ "$main" =~ "python" ]]; then
   all_libraries=("${libraries[@]}" "-lgmp" "-lgmpxx" "-lmpfr" "-lpthread" "-ldl" "-lffi" "$libunwind")
   flags+=("-fPIC" "-shared" "-I${INCDIR}" "-fvisibility=hidden")
 
+  if [[ "$OSTYPE" == "darwin"* ]]; then
+    flags+=("-Wl,-flat_namespace")
+  fi
+
   read -r -a python_include_flags <<< "$("${python_cmd}" -m pybind11 --includes)"
   flags+=("${python_include_flags[@]}")