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
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
