Bug#842892: java.lang.UnsatisfiedLinkError: libz3java.so: undefined symbol: Z3_solver_get_model

[Andreas Beckmann]

Followup-For: Bug #842892

now with patch ...
-------------- next part --------------
>From fb80ab10200c149e9dbb9ff6c043646782111a67 Mon Sep 17 00:00:00 2001
From: Andreas Beckmann <anbe at debian.org>
Date: Wed, 31 Jul 2019 09:53:48 +0200
Subject: [PATCH] do not set the SONAME of libz3java.so to libz3.so.4

---
 debian/changelog | 6 ++++++
 debian/rules     | 5 +++--
 2 files changed, 9 insertions(+), 2 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 9704dca..b190092 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+z3 (4.4.1-0.5~exp2) UNRELEASED; urgency=medium
+
+  * Do not set the SONAME of libz3java.so to libz3.so.4.  (Closes: #842892)
+
+ -- Andreas Beckmann <anbe at debian.org>  Wed, 31 Jul 2019 09:50:00 +0200
+
 z3 (4.4.1-0.5~exp1) experimental; urgency=medium
 
   * Package moved to salsa (Closes: #926939)
diff --git a/debian/rules b/debian/rules
index c951e0b..c5e9d4a 100755
--- a/debian/rules
+++ b/debian/rules
@@ -41,8 +41,8 @@ override_dh_auto_configure:
 	else \
 		python scripts/mk_make.py --ml --prefix=$(CURDIR)/debian/tmp/usr; \
 	fi
-	sed -i 's/^SLINK_FLAGS=.*/SLINK_FLAGS=$(LDFLAGS) -Wl,-soname,libz3.so.4 -fPIC -shared/' build/config.mk
-	sed -i 's/^CXXFLAGS=/CXXFLAGS=-fPIC /' build/config.mk
+	sed -i 's/^SLINK_FLAGS=/SLINK_FLAGS=$$(LDFLAGS) -fPIC /' build/config.mk
+	echo 'libz3$$(SO_EXT): SLINK_FLAGS += -Wl,-soname,libz3.so.4' >> build/Makefile
 	printf '%%:\n\t$$(MAKE) -C build $$@\n' > Makefile
 	printf '\nall:\n\t$$(MAKE) -C build $$@\n' >> Makefile
 	ln -s libz3.so build/libz3.dll
@@ -51,6 +51,7 @@ override_dh_auto_configure:
 
 override_dh_clean:
 	dh_clean
+	sed -i 's/^DOTNET_ENABLED=.*/DOTNET_ENABLED=False/' scripts/mk_util.py
 	$(RM) Makefile scripts/*.pyc
 	$(RM) -r build
 	$(RM) src/api/python/*.pyc
-- 
2.11.0