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
