Package: release.debian.org
Severity: normal
Tags: stretch
User: release.debian....@packages.debian.org
Usertags: pu
Hi,
I'd like to rebuild z3 from sid for buster to fix the incorrect SONAME
of libz3java.so (#842892)
Andreas
diff -Nru z3-4.4.1/debian/changelog z3-4.4.1/debian/changelog
--- z3-4.4.1/debian/changelog 2018-09-09 21:28:32.000000000 +0200
+++ z3-4.4.1/debian/changelog 2019-08-24 07:18:47.000000000 +0200
@@ -1,3 +1,30 @@
+z3 (4.4.1-1~deb10u1) buster; urgency=medium
+
+ * Non-maintainer upload.
+ * Rebuild for buster.
+
+ -- Andreas Beckmann <a...@debian.org> Sat, 24 Aug 2019 07:18:47 +0200
+
+z3 (4.4.1-1) unstable; urgency=medium
+
+ [ Gianfranco Costamagna ]
+ * Team Upload
+ * Upload to unstable
+
+ [ Andreas Beckmann ]
+ * Do not set the SONAME of libz3java.so to libz3.so.4. (Closes: #842892)
+
+ -- Gianfranco Costamagna <locutusofb...@debian.org> Sat, 17 Aug 2019
11:05:53 +0200
+
+z3 (4.4.1-0.5~exp1) experimental; urgency=medium
+
+ * Package moved to salsa (Closes: #926939)
+ * Standards-Version updated to 4.2.1
+ * Fix priority-extra-is-replaced-by-priority-optional warning
+ * Moved under the llvm umbrella
+
+ -- Sylvestre Ledru <sylves...@debian.org> Tue, 16 Apr 2019 14:30:31 +0200
+
z3 (4.4.1-0.4) unstable; urgency=medium
* Non-maintainer upload.
diff -Nru z3-4.4.1/debian/control z3-4.4.1/debian/control
--- z3-4.4.1/debian/control 2018-09-09 21:28:32.000000000 +0200
+++ z3-4.4.1/debian/control 2019-08-24 07:18:47.000000000 +0200
@@ -1,7 +1,8 @@
Source: z3
Section: science
-Priority: extra
-Maintainer: Michael Tautschnig <m...@debian.org>
+Priority: optional
+Maintainer: LLVM Packaging Team <pkg-llvm-t...@lists.alioth.debian.org>
+Uploaders: Michael Tautschnig <m...@debian.org>
Build-Depends: debhelper (>=9),
dh-python, python,
javahelper [!hppa !hurd-i386 !m68k !sh4],
@@ -10,8 +11,10 @@
mono-mcs [!mips !mips64el !powerpc !alpha !hppa !hurd-i386
!m68k !powerpcspe !ppc64 !sh4 !sparc64 !x32],
cli-common-dev [!mips !mips64el !powerpc !alpha !hppa
!hurd-i386 !m68k !powerpcspe !ppc64 !sh4 !sparc64 !x32],
libmono-system-numerics4.0-cil [!mips !mips64el !powerpc !alpha
!hppa !hurd-i386 !m68k !powerpcspe !ppc64 !sh4 !sparc64 !x32]
-Standards-Version: 3.9.6
+Standards-Version: 4.2.1
Homepage: https://github.com/Z3Prover/z3
+Vcs-Git: https://salsa.debian.org/pkg-llvm-team/z3.git
+Vcs-Browser: https://salsa.debian.org/pkg-llvm-team/z3
Package: z3
Architecture: any
diff -Nru z3-4.4.1/debian/gbp.conf z3-4.4.1/debian/gbp.conf
--- z3-4.4.1/debian/gbp.conf 1970-01-01 01:00:00.000000000 +0100
+++ z3-4.4.1/debian/gbp.conf 2019-08-24 07:18:47.000000000 +0200
@@ -0,0 +1,2 @@
+[DEFAULT]
+debian-branch = buster
diff -Nru z3-4.4.1/debian/rules z3-4.4.1/debian/rules
--- z3-4.4.1/debian/rules 2016-07-20 13:07:58.000000000 +0200
+++ z3-4.4.1/debian/rules 2019-08-24 07:18:47.000000000 +0200
@@ -41,8 +41,8 @@
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_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
