Re: Bug#1128189: coq: Please install dllcoqperf_stubs.so on native architectures only

--=-LMsxbEo2OeeF9loMzO+b
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Hi,

On Mon, 2026-02-16 at 10:22 +0100, John Paul Adrian Glaubitz wrote:
> Let's use this approach then:
>=20
> --- 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
> =20
>  override_dh_gencontrol:
>         for u in $(PACKAGES); do \
>=20
> 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-aw=
k \
          -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_A=
RCH)))
+       sed -i '/.*dllcoqperf_stubs.so/d' debian/libcoq-core-ocaml-dev.inst=
all
+endif
=20
 override_dh_gencontrol:
        for u in $(PACKAGES); do \

Adrian

--=20
 .''`.  John Paul Adrian Glaubitz
: :' :  Debian Developer
`. `'   Physicist
  `-    GPG: 62FF 8A75 84E0 2956 9546  0006 7426 3B37 F5B5 F913

--=-LMsxbEo2OeeF9loMzO+b
Content-Disposition: attachment; filename="coq-fix-dh-install.diff"
Content-Type: text/x-patch; name="coq-fix-dh-install.diff"; charset="UTF-8"
Content-Transfer-Encoding: base64

LS0tIGRlYmlhbi9ydWxlcy5vcmlnCTIwMjUtMDktMTYgMjM6NTY6MDAuMDAwMDAwMDAwICswMjAw
CisrKyBkZWJpYW4vcnVsZXMJMjAyNi0wMi0xNiAxMDo0OTozNC4xODUzNzMwMTQgKzAxMDAKQEAg
LTYwLDYgKzYwLDEwIEBACiAJZmluZCBkZWJpYW4vdG1wJChPQ0FNTF9TVERMSUJfRElSKS9yb2Nx
LXJ1bnRpbWUgLXJlZ2V4dHlwZSBwb3NpeC1hd2sgXAogCSAgLXJlZ2V4ICcuKlwuKGF8Y21pfGNt
b3xjbXR8Y210aXxjbXh8Y214YXxtbHxtbGl8b10pJCQnIFwKIAkgID4+IGRlYmlhbi9saWJjb3Et
Y29yZS1vY2FtbC1kZXYuaW5zdGFsbAorCSMgcmVtb3ZlIGRsbGNvcXBlcmZfc3R1YnMuc28gZm9y
IG5vbi1uYXRpdmUgYXJjaGl0ZWN0dXJlcworaWZlcSAoLCQoZmlsdGVyIGFtZDY0IGFybTY0IGFy
bWhmIGkzODYgcHBjNjRlbCByaXNjdjY0IHMzOTB4LCAkKERFQl9IT1NUX0FSQ0gpKSkKKwlzZWQg
LWkgJy8uKmRsbGNvcXBlcmZfc3R1YnMuc28vZCcgZGViaWFuL2xpYmNvcS1jb3JlLW9jYW1sLWRl
di5pbnN0YWxsCitlbmRpZgogCiBvdmVycmlkZV9kaF9nZW5jb250cm9sOgogCWZvciB1IGluICQo
UEFDS0FHRVMpOyBkbyBcCg==


--=-LMsxbEo2OeeF9loMzO+b--