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

This is a multi-part MIME message sent by reportbug.


--===============7242288351026492476==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

Source: coq
Version: 9.1.0+dfsg-3
Severity: normal
Tags: patch
User: [email protected]
Usertags: sparc64
X-Debbugs-Cc: [email protected]

Hi,

the build of coq currently fails on non-native architectures due to the missing shared
library file dllcoqperf_stubs.so [1]:

dh_install: warning: Cannot find (any matches for) "/usr/lib/sparc64-linux-gnu/ocaml/5.3.0/stublibs/dllcoqperf_stubs.so" (tried in ., debian/tmp)

dh_install: warning: libcoq-core-ocaml missing files: /usr/lib/sparc64-linux-gnu/ocaml/5.3.0/stublibs/dllcoqperf_stubs.so
dh_install: error: missing files, aborting

This can be fixed by making the installation of this file conditional with the help of
the dh-exec package:

diff -Nru debian.orig/control debian/control
--- debian.orig/control 2025-11-10 10:59:00.000000000 +0100
+++ debian/control      2026-02-16 09:34:05.257704960 +0100
@@ -11,6 +11,7 @@
 Build-Depends:
  debhelper-compat (= 13),
  dh-coq,
+ dh-exec,
  dh-ocaml,
  dh-python,
  ocaml-dune,
diff -Nru debian.orig/libcoq-core-ocaml.install.in debian/libcoq-core-ocaml.install.in
--- debian.orig/libcoq-core-ocaml.install.in    2025-08-21 15:13:46.000000000 +0200
+++ debian/libcoq-core-ocaml.install.in 2026-02-16 09:33:20.257429872 +0100
@@ -1,6 +1,7 @@
+#!/usr/bin/dh-exec
 @OCamlStdlibDir@/coq-core/META
 @OCamlStdlibDir@/rocq-runtime/META
 @OCamlDllDir@/dllcoqrun_stubs.so
-@OCamlDllDir@/dllcoqperf_stubs.so
+[amd64 arm64 armhf i386 ppc64el riscv64 s390x] @OCamlDllDir@/dllcoqperf_stubs.so
 @OCamlStdlibDir@/rocq-runtime/dev/ml_toplevel/include*
 # *.cmo and *.cmxs files are added by debian/rules

Also, make sure that debian/libcoq-core-ocaml.install.in is mode 0755 (executable).

Thanks,
Adrian

> [1] https://buildd.debian.org/status/fetch.php?pkg=coq&arch=sparc64&ver=9.1.0%2Bdfsg-3&stamp=1762884458&raw=0

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

--===============7242288351026492476==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: attachment; filename="coq-dh-exec-fix.diff"

diff -Nru debian.orig/control debian/control
--- debian.orig/control	2025-11-10 10:59:00.000000000 +0100
+++ debian/control	2026-02-16 09:34:05.257704960 +0100
@@ -11,6 +11,7 @@
 Build-Depends:
  debhelper-compat (= 13),
  dh-coq,
+ dh-exec,
  dh-ocaml,
  dh-python,
  ocaml-dune,
diff -Nru debian.orig/libcoq-core-ocaml.install.in debian/libcoq-core-ocaml.install.in
--- debian.orig/libcoq-core-ocaml.install.in	2025-08-21 15:13:46.000000000 +0200
+++ debian/libcoq-core-ocaml.install.in	2026-02-16 09:33:20.257429872 +0100
@@ -1,6 +1,7 @@
+#!/usr/bin/dh-exec
 @OCamlStdlibDir@/coq-core/META
 @OCamlStdlibDir@/rocq-runtime/META
 @OCamlDllDir@/dllcoqrun_stubs.so
-@OCamlDllDir@/dllcoqperf_stubs.so
+[amd64 arm64 armhf i386 ppc64el riscv64 s390x] @OCamlDllDir@/dllcoqperf_stubs.so
 @OCamlStdlibDir@/rocq-runtime/dev/ml_toplevel/include*
 # *.cmo and *.cmxs files are added by debian/rules

--===============7242288351026492476==--