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

[Sylvestre Ledru]

Hello

Thanks.

please upload it now :) no need to wait

Thanks again,

S


Le 01/02/2023 à 16:00, Manuel A. Fernandez Montecelo a écrit :
> Control: tags -1 +pending
>
> Hi again,
>
> 2023-01-15 23:30 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.
>
> I am preparing a NMU (debdiff attached, basically the same as in the
> initial request), the reason being that riscv64 might be bootstrapped at
> some point in the next months and z3 is an important package for that,
> due to LLVM packages depending on it.
>
> And I am planning to upload to delayed/5, because in the second deadline
> of the freeze is very close and so to not get caught up in last-minute
> queues.
>
> The initial request was on Dec 2 with a ping on Jan 15, so I think that
> it's reasonable to use this delay now.
>
> But if there's any problem or concern, and want me to
> speed-up/delay-longer/cancel the NMU, please speak up.
>
>
> Cheers.
>
> _______________________________________________
> Pkg-llvm-team mailing list
> Pkg-llvm-team at alioth-lists.debian.net
> https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/pkg-llvm-team