From 2b73b7c7f371309f415d1e95f620f5c8a46c135c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 25 May 2018 08:43:35 -0700
Subject: [PATCH] Revert "Fix missing SONAME in libz3.so, which breaks loading
 from Java"

---
 scripts/mk_util.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index 87d766e55..1391eee87 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -2460,7 +2460,7 @@ def mk_config():
         check_ar()
         CXX = find_cxx_compiler()
         CC  = find_c_compiler()
-        SLIBEXTRAFLAGS = '-Wl,-soname,libz3.so'
+        SLIBEXTRAFLAGS = ''
         EXE_EXT = ''
         LIB_EXT = '.a'
         if GPROF: