diff --git a/debian/changelog b/debian/changelog index 0ef170b..cc7e695 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +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 + + -- root Thu, 14 Mar 2024 07:36:38 +0000 + z3 (4.8.7-ok1) yangtze; urgency=medium * Build for openKylin. 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))