Ximin Luo: > Aurelien Jarno: >> On 2020-01-04 12:37, Ximin Luo wrote: >>> Aurelien Jarno: >>>> On 2020-01-04 01:56, Ximin Luo wrote: >>>>> [..] >>> >>> Mirroring our IRC discussion on #debian-ports for the record: >>> >>> - I disabled java on riscv64 because I couldn't make it work when >>> cross-building from amd64 to riscv64, but it was during an early part of my >>> experimentation and perhaps you are right and it doesn't have to be >>> disabled. >> >> I have actually found that while the dependencies are there, the >> java packages are not built. I have verified they build fine on riscv64. >> Please find the patch attached. >> > > Cross-compiling still doesn't work for the java bindings, but I've managed to > fix that separately. Please see my new patch, attached. This should be > applied together with Aurelien's 2 patches, in any order. My old patches from > the original post can be dropped. > > (For the ocaml bindings, the entire toolchain doesn't support > cross-compiling, so it is still disabled in the <cross> Build-Profile, same > as my original patch.) >
Oh and to clarify, one needs to do: DEB_BUILD_OPTIONS=nocheck /usr/bin/sbuild --no-arch-all \ --add-depends=libatomic1:riscv64 \ --add-depends=libstdc++6:riscv64 \ --add-depends=libc6:riscv64 \ --host=riscv64 \ --extra-repository="deb http://ftp.ports.debian.org/debian-ports/ sid main" \ ../z3_4.8.7-2.dsc Sadly the extra DEB_BUILD_OPTIONS is needed due to #775539 and the extra --add-depends are needed due to #815172. X -- GPG: ed25519/56034877E1F87C35 GPG: rsa4096/1318EFAC5FBBDBCE https://github.com/infinity0/pubkeys.git
