Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures
Source: coq
Version: 8.16.1+dfsg-1
Followup-For: Bug #1101476
Control: tags -1 +patch
Hi,
attaching a patch which allowed me to build coq 9.1.0+dfsg-1 on architectures
without a native OCaml compiler.
Could you please apply this patch for the next upload of coq in experimental?
Thanks,
Adrian
--
.''`. John Paul Adrian Glaubitz
: :' : Debian Developer
`. `' Physicist
`- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913
diff -Nru old/coq-9.1.0+dfsg/debian/control new/coq-9.1.0+dfsg/debian/control
--- old/coq-9.1.0+dfsg/debian/control 2025-08-22 15:54:25.000000000 +0200
+++ new/coq-9.1.0+dfsg/debian/control 2025-10-07 21:51:10.181583542 +0200
@@ -15,7 +15,7 @@
dh-python,
ocaml-dune,
ocaml,
- ocaml-native-compilers,
+ ocaml-native-compilers [amd64 arm64 hurd-amd64 ppc64el riscv64 s390x],
ocaml-findlib (>= 1.8.0),
libfindlib-ocaml-dev,
liblablgtk3-ocaml-dev,
diff -Nru old/coq-9.1.0+dfsg/debian/rules new/coq-9.1.0+dfsg/debian/rules
--- old/coq-9.1.0+dfsg/debian/rules 2025-09-16 23:56:00.000000000 +0200
+++ new/coq-9.1.0+dfsg/debian/rules 2025-10-07 21:43:32.036500164 +0200
@@ -60,6 +60,9 @@
find debian/tmp$(OCAML_STDLIB_DIR)/rocq-runtime -regextype posix-awk \
-regex '.*\.(a|cmi|cmo|cmt|cmti|cmx|cmxa|ml|mli|o])$$' \
>> debian/libcoq-core-ocaml-dev.install
+ifeq (,$(filter amd64 arm64 hurd-amd64 ppc64el riscv64 s390x, $(DEB_HOST_ARCH)))
+ sed -i '/.*dllcoqperf_stubs.so/d' debian/libcoq-core-ocaml.install
+endif
override_dh_gencontrol:
for u in $(PACKAGES); do \
Reply to: