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

[Aurelien Jarno]

On 2020-01-04 01:56, Ximin Luo wrote:
> Source: z3
> Version: 4.8.7-2
> Severity: important
> Tags: patch
> 
> Dear Maintainer,
> 
> Please apply the attached patch to fix the FTBFS on riscv64.
> 

Thanks for the patch. I however do not get why it disables java
support. Both javahelper and default-jdk are available on riscv64.

In addition to that there is no need to add a depends on libatomic1, it
is (indirectly) part of build-essential.

-- 
Aurelien Jarno                          GPG: 4096R/1DDD8C9B
aurelien at aurel32.net                 http://www.aurel32.net