Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures

[John Paul Adrian Glaubitz <glaubitz@physik.fu-berlin.de>]

Source: coq
Version: 8.20.1+dfsg-1
Severity: normal
User: debian-powerpc@lists.debian.org
Usertags: powerpc ppc64
X-Debbugs-Cc: debian-powerpc@lists.debian.org

Hello,

I just tried building coq on ppc64 by overriding the build-dependencies and
it's generally supported, there is just a warning about byte-code being used.

Could you therefore limit the ocaml-native-compilers build-dependency to the
architectures which actually have a native OCaml compiler and allow the other
architectures to use byte-code?

Thanks,
Adrian

--
 .''`.  John Paul Adrian Glaubitz
: :' :  Debian Developer
`. `'   Physicist
  `-    GPG: 62FF 8A75 84E0 2956 9546  0006 7426 3B37 F5B5 F913