Followup-For: Bug #842892
now with patch ...
>From fb80ab10200c149e9dbb9ff6c043646782111a67 Mon Sep 17 00:00:00 2001
From: Andreas Beckmann <a...@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 <a...@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
