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

[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.)

X

-- 
GPG: ed25519/56034877E1F87C35
GPG: rsa4096/1318EFAC5FBBDBCE
https://github.com/infinity0/pubkeys.git
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-support-cross-compiling.patch
Type: text/x-patch
Size: 5004 bytes
Desc: not available
URL: <http://alioth-lists.debian.net/pipermail/pkg-llvm-team/attachments/20200105/81be605a/attachment-0001.bin>