Bug#1025343: z3: Please link against -latomic for "riscv64" arch

[Manuel A. Fernandez Montecelo]

Source: z3
Version: 4.8.12-3
Severity: wishlist
Tags: ftbfs patch
User: debian-riscv at lists.debian.org
Usertags: riscv64
X-Debbugs-Cc: mafm at debian.org, debian-riscv at 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 <mafm at debian.org>
-------------- next part --------------
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 <mafm at 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))