Bug#948763: z3: cannot be built on buildds

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

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