Bug#948109: z3: FTBFS on riscv64, needs -latomic, blocks rustc:riscv64

[Ximin Luo]

Aurelien Jarno:
> On 2020-01-04 01:56, Ximin Luo wrote:
>> Source: z3
>> Version: 4.8.7-2
>> Severity: important
>> Tags: patch
>>
>> Dear Maintainer,
>>
>> Please apply the attached patch to fix the FTBFS on riscv64.
>>
> 
> Thanks for the patch. I however do not get why it disables java
> support. Both javahelper and default-jdk are available on riscv64.
> 
> In addition to that there is no need to add a depends on libatomic1, it
> is (indirectly) part of build-essential.
> 

Mirroring our IRC discussion on #debian-ports for the record:

- I disabled java on riscv64 because I couldn't make it work when cross-building from amd64 to riscv64, but it was during an early part of my experimentation and perhaps you are right and it doesn't have to be disabled.

- You are working on a better way to fix this, using -pthread instead of -lpthread -latomic. In any case the cross-compiling patch from my OP should still be useful, as it allows one to test with a regular schroot rather than qemu-riscv64.

X

-- 
GPG: ed25519/56034877E1F87C35
GPG: rsa4096/1318EFAC5FBBDBCE
https://github.com/infinity0/pubkeys.git