Собранное с ocaml-camlzip-devel: + /usr/src/tmp/why3-buildroot/usr/bin/why3 --version Fatal error: cannot load shared library dllcamlzip Reason: dllcamlzip.so: cannot open shared object file: No such file or directory strace: builder@i586:~/RPM/BUILD/why3-1.8.0$ strace -Zs888 /usr/src/tmp/why3-buildroot/usr/bin/why3 access("/etc/ld.so.preload", R_OK) = -1 ENOENT (No such file or directory) statx(AT_FDCWD, "/usr/lib/ocaml/stublibs/dllcamlzip.so", AT_STATX_SYNC_AS_STAT|AT_NO_AUTOMOUNT, STATX_BASIC_STATS, 0xffdfa46c) = -1 ENOENT (No such file or directory) statx(AT_FDCWD, "/usr/lib/ocaml/dllcamlzip.so", AT_STATX_SYNC_AS_STAT|AT_NO_AUTOMOUNT, STATX_BASIC_STATS, 0xffdfa46c) = -1 ENOENT (No such file or directory) openat(AT_FDCWD, "/lib/dllcamlzip.so", O_RDONLY|O_LARGEFILE|O_CLOEXEC) = -1 ENOENT (No such file or directory) openat(AT_FDCWD, "/usr/lib/dllcamlzip.so", O_RDONLY|O_LARGEFILE|O_CLOEXEC) = -1 ENOENT (No such file or directory) Fatal error: cannot load shared library dllcamlzip Reason: dllcamlzip.so: cannot open shared object file: No such file or directory --- SIGABRT {si_signo=SIGABRT, si_code=SI_TKILL, si_pid=2083666, si_uid=502} --- +++ killed by SIGABRT (core dumped) +++ Aborted (core dumped) Наверное, потому что она лежит в /usr/lib64/ocaml/zip/, а не в /usr/lib/ocaml/stublibs. На Fedora и Debian она лежит в stublibs, например: https://salsa.debian.org/ocaml-team/camlzip/-/blob/master/debian/rules?ref_type=heads На x86_64 проблемы нет наверное из-за native arch.
Спасибо, поправлю.
ocaml-camlzip-1.13-alt2 -> sisyphus: Sun Jan 19 2025 Anton Farygin <rider@altlinux.ru> 1.13-alt2 - fixed installation path for the stub library (closes: #52753)
Спасибо.
