Hi,
On Mon, 2026-02-16 at 10:55 +0100, John Paul Adrian Glaubitz wrote:
> 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 \
OK, maybe I should test my patches properly. Here's a tested one:
--- debian/rules.orig 2025-09-16 23:56:00.000000000 +0200
+++ debian/rules 2026-02-16 12:54:36.219191624 +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.install
+endif
override_dh_gencontrol:
for u in $(PACKAGES); do \
Sorry for that!
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 12:54:36.219191624 +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.install
+endif
override_dh_gencontrol:
for u in $(PACKAGES); do \
