From 3e0506a71bb4ba9f770105374af7f147c34a3ea7 Mon Sep 17 00:00:00 2001
From: Philipp Wendler <uni@philippwendler.de>
Date: Fri, 25 May 2018 14:54:44 +0200
Subject: [PATCH] Set the SONAME field of libz3.so to libz3.so.
This fixes a problem when loading libz3java from Java,
where the dependency on libz3 is not detected as fulfilled
if the latter does not have SONAME set.
---
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 1391eee87..87d766e55 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 = ''
+ SLIBEXTRAFLAGS = '-Wl,-soname,libz3.so'
EXE_EXT = ''
LIB_EXT = '.a'
if GPROF: