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

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

Hi,

On Mon, 2026-02-16 at 10:55 +0100, John Paul Adrian Glaubitz wrote:
> Small correction, there was a typo:
>=20
> --- 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.in=
stall
> +endif
> =20
>  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-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.install
+endif
=20
 override_dh_gencontrol:
        for u in $(PACKAGES); do \

Sorry for that!

Adrian

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

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

LS0tIGRlYmlhbi9ydWxlcy5vcmlnCTIwMjUtMDktMTYgMjM6NTY6MDAuMDAwMDAwMDAwICswMjAw
CisrKyBkZWJpYW4vcnVsZXMJMjAyNi0wMi0xNiAxMjo1NDozNi4yMTkxOTE2MjQgKzAxMDAKQEAg
LTYwLDYgKzYwLDEwIEBACiAJZmluZCBkZWJpYW4vdG1wJChPQ0FNTF9TVERMSUJfRElSKS9yb2Nx
LXJ1bnRpbWUgLXJlZ2V4dHlwZSBwb3NpeC1hd2sgXAogCSAgLXJlZ2V4ICcuKlwuKGF8Y21pfGNt
b3xjbXR8Y210aXxjbXh8Y214YXxtbHxtbGl8b10pJCQnIFwKIAkgID4+IGRlYmlhbi9saWJjb3Et
Y29yZS1vY2FtbC1kZXYuaW5zdGFsbAorCSMgcmVtb3ZlIGRsbGNvcXBlcmZfc3R1YnMuc28gZm9y
IG5vbi1uYXRpdmUgYXJjaGl0ZWN0dXJlcworaWZlcSAoLCQoZmlsdGVyIGFtZDY0IGFybTY0IGFy
bWhmIGkzODYgcHBjNjRlbCByaXNjdjY0IHMzOTB4LCAkKERFQl9IT1NUX0FSQ0gpKSkKKwlzZWQg
LWkgJy8uKmRsbGNvcXBlcmZfc3R1YnMuc28vZCcgZGViaWFuL2xpYmNvcS1jb3JlLW9jYW1sLmlu
c3RhbGwKK2VuZGlmCiAKIG92ZXJyaWRlX2RoX2dlbmNvbnRyb2w6CiAJZm9yIHUgaW4gJChQQUNL
QUdFUyk7IGRvIFwK


--=-k9uJaDFdD053rh0Zz02Y--