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