Bug#948109: z3: FTBFS on riscv64, needs -latomic, blocks rustc:riscv64

[Aurelien Jarno]

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
aurelien at aurel32.net                 http://www.aurel32.net