Bug#941431: Build cvc4 on other architectures

[Fabian Wolff]

On Mon, 30 Sep 2019 15:35:36 +0200 =?UTF-8?B?RnLDqWTDqXJpYw==?= Bonnard <frediz at debian.org> wrote:
> Dear maintainer,
> is there any reason that cvc4 isn't build on "any" ?
> I tested ppc64 and ppc64el and it worked well.

Thanks for bringing this to my attention. Yes, there is a reason:

  https://buildd.debian.org/status/logs.php?pkg=cvc4&ver=1.5-1&suite=sid

In other words, the build used to fail on all those architectures that are now
excluded, which is why I excluded them.

I haven't tried building newer versions of cvc4 on those architectures, mostly
because I don't have the resources for it: Building cvc4 takes pretty long even
on native hardware, and since I don't have access to any powerpc/alpha/...
machines, I would have to cross-build using QEMU or something, which is even
slower.

However, I just noticed that cvc4's watch file is out of date and there has
been a new upstream release (1.7). I'm not sure when I will find the time to
package it, but when I do, I can include more architectures while I'm at it.

Which architectures do you think I should include? Just ppc64 and ppc64el, or
"any" and hope for the best, or ... ?

Best regards,
Fabian