On 2020-01-07 23:54, Fabian Wolff wrote: > Thank you all for your patches and the ensuing discussion. > > I am currently working on porting the z3 Debian package to use the > CMake build scripts; I think this will simplify things for all parties > involved now and in the future. In the process, I will drop the OCaml > bindings; they are currently broken, anyways, have no reverse > dependencies, and the upstream CMake scripts don't support building > them. > > There is still some work that needs to be done (e. g. setting the > SONAME correctly), but you can have a look at my current progress > here: https://salsa.debian.org/pkg-llvm-team/z3/tree/cmake > > Is it enough to add -latomic to DEB_LDFLAGS_MAINT_APPEND in > debian/rules
If possible it is actually better to link with -pthread to ensure full thread support instead of using -lpthread. In that case it will work out of the box on riscv64. If it is not possible to do that, then it should indeed be linked with -latomic on riscv64. > and disable the Java bindings on riscv64? Please do not disable Java bindings, they actually work when built natively. Ximin disabled them to be able to cross-compile the package. -- Aurelien Jarno GPG: 4096R/1DDD8C9B aurel...@aurel32.net http://www.aurel32.net