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