Hi,
On Mon, 2026-02-16 at 10:22 +0100, John Paul Adrian Glaubitz wrote:
> 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.
Small correction, there was a typo:
--- debian/rules.orig 2025-09-16 23:56:00.000000000 +0200
+++ debian/rules 2026-02-16 10:49:34.185373014 +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 \
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:49:34.185373014 +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 \
