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

[Manuel A. Fernandez Montecelo]

On Fri, 2 Dec 2022 at 22:45, Manuel A. Fernandez Montecelo
<mafm at debian.org> wrote:
>
> 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.

Gentle ping?

It would be nice to have this patch applied so the package would build
successfully in the case of binNMUs, or new revisions of the package
that would fix other problems (e.g. future NMUs), etc.


Cheers.
-- 
Manuel A. Fernandez Montecelo <manuel.montezelo at gmail.com>