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

Fabian Wolff fabi.wolff at arcor.de
Tue Jan 7 22:54:28 GMT 2020


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 and disable the Java bindings on riscv64?



More information about the Pkg-llvm-team mailing list