On Mon, 30 Sep 2019 15:35:36 +0200 =?UTF-8?B?RnLDqWTDqXJpYw==?= Bonnard <fre...@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