Hi,
On Mon, 2026-02-16 at 09:42 +0100, John Paul Adrian Glaubitz wrote:
> This can be fixed by making the installation of this file conditional with
> the help of
> the dh-exec package:
>
> diff -Nru debian.orig/control debian/control
> --- debian.orig/control 2025-11-10 10:59:00.000000000 +0100
> +++ debian/control 2026-02-16 09:34:05.257704960 +0100
> @@ -11,6 +11,7 @@
> Build-Depends:
> debhelper-compat (= 13),
> dh-coq,
> + dh-exec,
> dh-ocaml,
> dh-python,
> ocaml-dune,
> diff -Nru debian.orig/libcoq-core-ocaml.install.in
> debian/libcoq-core-ocaml.install.in
> --- debian.orig/libcoq-core-ocaml.install.in 2025-08-21 15:13:46.000000000
> +0200
> +++ debian/libcoq-core-ocaml.install.in 2026-02-16 09:33:20.257429872 +0100
> @@ -1,6 +1,7 @@
> +#!/usr/bin/dh-exec
> @OCamlStdlibDir@/coq-core/META
> @OCamlStdlibDir@/rocq-runtime/META
> @OCamlDllDir@/dllcoqrun_stubs.so
> -@OCamlDllDir@/dllcoqperf_stubs.so
> +[amd64 arm64 armhf i386 ppc64el riscv64 s390x]
> @OCamlDllDir@/dllcoqperf_stubs.so
> @OCamlStdlibDir@/rocq-runtime/dev/ml_toplevel/include*
> # *.cmo and *.cmxs files are added by debian/rules
>
> Also, make sure that debian/libcoq-core-ocaml.install.in is mode 0755
> (executable).
OK, this doesn't work as expected as debian/rules messes with the file as well.
Let's use this approach then:
--- debian/rules.orig 2025-09-16 23:56:00.000000000 +0200
+++ debian/rules 2026-02-16 10:19:08.882267610 +0100
@@ -60,6 +60,10 @@
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
+ # remove dllcoqperf_stubs.so for non-native architectures
+ ifeq (,$(filter amd64 arm64 armhf i386 ppc64el riscv64 s390x),
$(DEB_HOST_ARCH)))
+ sed -i '/.*dllcoqperf_stubs.so/d' debian/libcoq-core-ocaml-dev.install
+ endif
override_dh_gencontrol:
for u in $(PACKAGES); do \
Attaching a patch.
Adrian
--
.''`. John Paul Adrian Glaubitz
: :' : Debian Developer
`. `' Physicist
`- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913
--- debian/rules.orig 2025-09-16 23:56:00.000000000 +0200
+++ debian/rules 2026-02-16 10:19:08.882267610 +0100
@@ -60,6 +60,10 @@
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
+ # remove dllcoqperf_stubs.so for non-native architectures
+ ifeq (,$(filter amd64 arm64 armhf i386 ppc64el riscv64 s390x), $(DEB_HOST_ARCH)))
+ sed -i '/.*dllcoqperf_stubs.so/d' debian/libcoq-core-ocaml-dev.install
+ endif
override_dh_gencontrol:
for u in $(PACKAGES); do \
