Fabian Wolff: > Thank you for your MR, Ximin! > > Do you need anything else? I see you haven't added -pthread anywhere yet; is > this not necessary with CMake (maybe CMake adds it automatically?), and have > you tried building on/for riscv64 again to verify that it works now? >
I only tried cross-compiling and in fact I get this error about pthreads: /usr/lib/gcc-cross/riscv64-linux-gnu/9/../../../../riscv64-linux-gnu/bin/ld: cannot find -lpthreads z3's source code doesn't mention this flag so probably cmake is adding it itself. $ rg -i pthreads /usr/share/cmake* /usr/share/cmake-3.15/Modules/FindThreads.cmake [..] So setting CMAKE_USE_PTHREADS might work. X -- GPG: ed25519/56034877E1F87C35 GPG: rsa4096/1318EFAC5FBBDBCE https://github.com/infinity0/pubkeys.git
