XPost: linux.debian.ports.sparc, linux.debian.maint.ocaml.maint   
   From: glaubitz@physik.fu-berlin.de   
      
   Hi,   
      
   On Mon, 2026-02-16 at 09:42 +0100, John Paul Adrian Glaubitz wrote:   
   > 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/libc   
   q-core-ocaml.install.in   
   > --- debian.orig/libcoq-core-ocaml.install.in    2025-08-21 15:   
   3: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@/   
   llcoqperf_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).   
      
   OK, this doesn't work as expected as debian/rules messes with the file as well.   
      
   Let's use this approach then:   
      
   --- 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-o   
   aml-dev.install   
   +       endif   
       
    override_dh_gencontrol:   
           for u in $(PACKAGES); do \   
      
   Attaching a patch.   
      
   Adrian   
      
   --    
    .''`.  John Paul Adrian Glaubitz   
   : :' :  Debian Developer   
   `. `'   Physicist   
     `-    GPG: 62FF 8A75 84E0 2956 9546  0006 7426 3B37 F5B5 F913   
      
   [SoupGate killed MIME-encoded file coq-fix-dh-install.diff (591 bytes)]   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)