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

[Ximin Luo]

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