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 aurel...@aurel32.net http://www.aurel32.net
