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

Hi Julian,

On Tue, 2026-02-17 at 09:55 +0100, Julien Puydt wrote:
> Hi,
>=20
> Le lundi 16 f=C3=A9vrier 2026 =C3=A0 13:02 +0100, John Paul Adrian Glaubi=
tz a
> =C3=A9crit=C2=A0:
> >=20
> > OK, maybe I should test my patches properly. Here's a tested one:
> >=20
> > --- debian/rules.orig=C2=A0=C2=A0 2025-09-16 23:56:00.000000000 +0200
> > +++ debian/rules=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 2026-02-16 1=
2:54:36.219191624 +0100
> > @@ -60,6 +60,10 @@
> > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 find debian/tmp$(OCAML_STDLI=
B_DIR)/rocq-runtime -regextype
> > posix-awk \
> > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 -regex '.*\.(a|c=
mi|cmo|cmt|cmti|cmx|cmxa|ml|mli|o])$$' \
> > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 >> debian/libcoq=
-core-ocaml-dev.install
> > +=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 # remove dllcoqperf_stubs.so for =
non-native architectures
> > +ifeq (,$(filter amd64 arm64 armhf i386 ppc64el riscv64 s390x,
> > $(DEB_HOST_ARCH)))
> > +=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 sed -i '/.*dllcoqperf_stubs.so/d'=
 debian/libcoq-core-
> > ocaml.install
> > +endif
> > =C2=A0
> > =C2=A0override_dh_gencontrol:
> > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 for u in $(PACKAGES); do \
> >=20
> > Sorry for that!
>=20
> thanks for your help, I'll commit that to my packaging.
>=20
> An upload will have to wait until my tools stop misbehaving (#1122524),
> but the change will be ready to roll.

Great, thanks a lot!

And sorry for the many iterations of this fix, I wasn't in the best mood th=
is week.

Adrian

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