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

[Aurelien Jarno]

On 2020-01-10 16:56, Fabian Wolff wrote:
> 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.

I have just tried to build the current master branch natively on
riscv64, it builds fine.

Thanks,
Aurelien

-- 
Aurelien Jarno                          GPG: 4096R/1DDD8C9B
aurelien at aurel32.net                 http://www.aurel32.net