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

[Fabian Wolff]

On 1/9/20 5:22 PM, Aurelien Jarno wrote:
> On 2020-01-09 14:18, Ximin Luo wrote:
>> So setting CMAKE_USE_PTHREADS might work.
> 
> Yep, I confirm that works. In short with the following patch, z3 builds
> natively on riscv64:

Thanks for checking!

I was planning to upload the changes today, but building z3 in a clean sbuild
amd64 chroot failed because Ximin changed the Build-Dependency from
default-jdk to default-jdk-headless. I changed it back to fix the build, but
was there a specific reason for why you changed this, Ximin? Is default-jdk
not working on riscv64, or for cross-building, or ...?

The Salsa repository's master branch now contains what I'm planning to upload
(including Ximin's MRs and Aurelien's patch), so feel free to have another
look if you want.

Best regards,
Fabian