On 2026-08-17 17:54:17 [+0000], Казакевич Олег wrote: … > herdtools7 7.58-1 cannot run a single litmus test, which is the package's > sole purpose: every invocation stops at "Cannot find file x86tso.cat". There > are two independent causes. First, debian/herdtools7.install lists only > usr/bin/*, so the package ships 56 executables and not one of the .cat memory … > Suggested fix: > > debian/rules make Version.ml -> make Version.ml > PREFIX=/usr > debian/herdtools7.install add line usr/share/herdtools7 > > For 7.58 the two trees also need copying into debian/tmp, since upstream > installs them from dune-install.sh, outside dune: > > cp -r herd/libdir debian/tmp/usr/share/herdtools7/herd > cp -r litmus/libdir debian/tmp/usr/share/herdtools7/litmus
Thank you for the report and the suggested fix. Sebastian
