Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures
John Paul Adrian Glaubitz <[email protected]>
| Newsgroups | gmane.linux.debian.ports.powerpc |
|---|---|
| Message-ID | <174314619703.1120620.18433073643495514431.reportbug__7698.60255984298$1743146488$gmane$org@z6> |
Source: coq Version: 8.20.1+dfsg-1 Severity: normal User: [email protected] Usertags: powerpc ppc64 X-Debbugs-Cc: [email protected] 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