Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures
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
Reply to: