XPost: linux.debian.ports.sparc, linux.debian.maint.ocaml.maint   
   From: glaubitz@physik.fu-berlin.de   
      
   This is a multi-part MIME message sent by reportbug.   
      
      
   Source: coq   
   Version: 9.1.0+dfsg-3   
   Severity: normal   
   Tags: patch   
   User: debian-sparc@lists.debian.org   
   Usertags: sparc64   
   X-Debbugs-Cc: debian-sparc@lists.debian.org   
      
   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/spa   
   c64-linux-gnu/ocaml/5.3.0/stublibs/dllcoqperf_stubs.so" (tried in .,   
   debian/tmp)   
      
   dh_install: warning: libcoq-core-ocaml missing files: /usr/lib/s   
   arc64-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@/dl   
   coqperf_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=sp   
   rc64&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   
      
   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@/dl   
   coqperf_stubs.so   
    @OCamlStdlibDir@/rocq-runtime/dev/ml_toplevel/include*   
    # *.cmo and *.cmxs files are added by debian/rules   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)