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 [email protected] http://www.aurel32.net
