Bug#948763: z3: cannot be built on buildds

[Ximin Luo]

Fabian Wolff:
> On Mon, 13 Jan 2020 06:21:56 +0100 Helmut Grohne <helmut at subdivi.de> wrote:
>> Source: z3
>> Version: 4.8.7-3
>> Severity: serious
>>
>> z3 cannot be built on buildds, because its Build-Depends cannot be
>> satisfied on buildds. Failing to build on buildds is a serious problem.
> 
> It builds now on all but three architectures, including, in particular, all
> release architectures.
> 
>> [...]
> 
> Thanks for your suggestions, but I'm not very familiar with how Multi-Arch
> annotations should be used; I just accepted a patch to make the z3 package
> more cross-build friendly (see #948109).
> 

I tested this myself and also it's now working on buildds, so I don't see what the problem is here. Can we just close this bug report and mark it as `notfound -1 $version`?

FWIW, when I tried things locally with sbuild, changing dh-python:all to simply dh-python whilst retaining the other annotations *did not work*, regardless of how it's "supposed" to work. That is why I added the extra :all.

> Can you give me a patch where you set the build dependency annotations in a
> sound way that also works for cross-building? Otherwise, I would have to
> simply remove all annotations again in order to fix this bug (but clearly,
> that would not be the most desirable solution).
> 
> I would also be happy to use the nojava build profile that you suggested,
> but again, I'm not familiar with this technique, and from what I've heard,
> there are still some problems e. g. with using "dh-sequence-javahelper
>  <!nojava>". But if somebody gave me a patch, I'd be happy to apply it.
> 
> Thanks for your help!
> Fabian
> 

-- 
GPG: ed25519/56034877E1F87C35
GPG: rsa4096/1318EFAC5FBBDBCE
https://github.com/infinity0/pubkeys.git