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

[Ximin Luo]

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 ...?
> 

Sorry. I changed it to -headless because it *usually* is sufficient for a java package, and it avoids installing extra unnecessary X libraries during the build. I tested this with version -2 and it worked fine before switching to cmake, so I don't know why it is failing now.

Oh, do the tests require X libraries? Maybe that is why. Cross-compiling doesn't run the tests of course. I may or may not have also run a native amd64->amd64 build to run the tests, but I can't remember now.

> 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
> 


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