Source: z3 Version: 4.8.12-3 Severity: wishlist Tags: ftbfs patch User: debian-ri...@lists.debian.org Usertags: riscv64 X-Debbugs-Cc: m...@debian.org, debian-ri...@lists.debian.org
Hi, The package needs to link against libatomic in this architecture, with the patch attached or an equivalent. I built it successfully on local hardware. Thanks and cheers. -- Manuel A. Fernandez Montecelo <m...@debian.org>
diff -Nru z3-4.8.12/debian/changelog z3-4.8.12/debian/changelog --- z3-4.8.12/debian/changelog 2022-10-21 17:24:40.000000000 +0000 +++ z3-4.8.12/debian/changelog 2022-11-28 16:02:35.000000000 +0000 @@ -1,3 +1,10 @@ +z3 (4.8.12-3+0.riscv64.1) unreleased; urgency=medium + + * Non-maintainer upload. + * riscv64: link against -latomic + + -- Manuel A. Fernandez Montecelo <m...@debian.org> Mon, 28 Nov 2022 16:02:35 +0000 + z3 (4.8.12-3) unstable; urgency=medium * Do not use SSE2 unconditionally on i386 diff -Nru z3-4.8.12/debian/rules z3-4.8.12/debian/rules --- z3-4.8.12/debian/rules 2022-10-21 13:51:13.000000000 +0000 +++ z3-4.8.12/debian/rules 2022-11-28 16:02:35.000000000 +0000 @@ -6,6 +6,10 @@ export DEB_BUILD_MAINT_OPTIONS = hardening=+all export DEB_CXXFLAGS_MAINT_APPEND = -fPIC -DSIMDE_ENABLE_OPENMP -fopenmp-simd -O3 +ifeq ($(DEB_HOST_ARCH),riscv64) +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))
