diff --git a/debian/changelog b/debian/changelog index 0ef170b..5e282f1 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,10 @@ +z3 (4.8.7-ok2) yangtze; urgency=medium + + *if arch == rv64g export DEB_LDFLAGS_MAINT_APPEND = -Wl,--no-as-needed + -Wl,-latomic -Wl,--as-needed. Add schema settings to the control file. + + -- root Thu, 14 Mar 2024 07:36:38 +0000 + z3 (4.8.7-ok1) yangtze; urgency=medium * Build for openKylin. diff --git a/debian/control b/debian/control index 342a504..6e2fad8 100644 --- a/debian/control +++ b/debian/control @@ -74,7 +74,7 @@ Description: theorem prover from Microsoft Research - Python 3 bindings Package: libz3-java Section: java -Architecture: amd64 arm64 armel armhf i386 mips mips64el mipsel powerpc ppc64el s390x alpha kfreebsd-amd64 kfreebsd-i386 powerpcspe riscv64 sparc64 x32 +Architecture: amd64 arm64 armel armhf i386 mips mips64el mipsel powerpc ppc64el s390x alpha kfreebsd-amd64 kfreebsd-i386 powerpcspe riscv64 rv64g sparc64 x32 Multi-Arch: foreign Depends: libz3-jni (>= ${binary:Version}), libz3-jni (<< ${source:Version}.1~), libz3-dev, ${misc:Depends}, ${java:Depends} Description: theorem prover from Microsoft Research - java bindings @@ -85,7 +85,7 @@ Description: theorem prover from Microsoft Research - java bindings Package: libz3-jni Section: java -Architecture: amd64 arm64 armel armhf i386 mips mips64el mipsel powerpc ppc64el s390x alpha kfreebsd-amd64 kfreebsd-i386 powerpcspe riscv64 sparc64 x32 +Architecture: amd64 arm64 armel armhf i386 mips mips64el mipsel powerpc ppc64el s390x alpha kfreebsd-amd64 kfreebsd-i386 powerpcspe riscv64 rv64g sparc64 x32 Multi-Arch: same Pre-Depends: ${misc:Pre-Depends} Depends: libz3-dev (= ${binary:Version}), ${misc:Depends}, ${shlibs:Depends} diff --git a/debian/rules b/debian/rules index 3620e07..9a91552 100755 --- a/debian/rules +++ b/debian/rules @@ -6,6 +6,10 @@ export DEB_BUILD_MAINT_OPTIONS = hardening=+all export DEB_CXXFLAGS_MAINT_APPEND = -fPIC +ifeq ($(DEB_HOST_ARCH),rv64g) +export DEB_LDFLAGS_MAINT_APPEND = -Wl,--no-as-needed -Wl,-latomic -Wl,--as-needed +endif + DEB_HOST_MULTIARCH ?= $(shell dpkg-architecture -qDEB_HOST_MULTIARCH) ifneq (,$(shell dh_listpackages -a | grep libz3-jni))