Your message dated Thu, 27 Aug 2026 22:07:41 +0000
with message-id <[email protected]>
and subject line Bug#1144657: fixed in herdtools7 7.58-2
has caused the Debian Bug report #1144657,
regarding herdtools7: ships no model files and has the build-time $HOME baked
in as libdir
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
1144657: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1144657
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: herdtools7
Version: 7.58-1
Severity: grave
Justification: renders package unusable
Dear Maintainer,
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
models they operate on; upstream installs those as
${prefix}/share/herdtools7/herd and ${prefix}/share/herdtools7/litmus.
Second, debian/rules runs "make Version.ml" without passing PREFIX, and the
upstream default is PREFIX=$$HOME, so the model directory compiled into every
binary is the build-time home directory -- /sbuild-nonexistent under sbuild.
Fixing either alone leaves the package unusable: with the files installed the
binaries still look in /sbuild-nonexistent, and with PREFIX corrected there is
still nothing under /usr/share/herdtools7. Passing PREFIX would also clear the
unreproducible-build flag on amd64 and arm64, since that $HOME is what differs
between the two test builds. The underlying upstream design issue -- PREFIX
being consumed at both "make" and "make install" with nothing keeping the two
consistent -- is tracked as herd/herdtools7#1930.
$ herd7 -version
7.58, Rev: exported
$ herd7 -libdir
/sbuild-nonexistent/share/herdtools7/herd
$ dpkg -L herdtools7 | grep -c '\.cat$'
0
$ herd7 /tmp/t.litmus ; echo "exit=$?"
Warning: File "/tmp/t.litmus": Cannot find file x86tso.cat
exit=0
Ubuntu 26.04, package 7.58-1 with no ubuntuN delta; both defects are in the
Debian packaging sources.
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
Upstream PR herd/herdtools7#1902 has since moved that into dune, so a newer
snapshot would need only the .install line.
--- End Message ---
--- Begin Message ---
Source: herdtools7
Source-Version: 7.58-2
Done: Sebastian Andrzej Siewior <[email protected]>
We believe that the bug you reported is fixed in the latest version of
herdtools7, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Sebastian Andrzej Siewior <[email protected]> (supplier of updated
herdtools7 package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 27 Aug 2026 23:05:56 +0200
Source: herdtools7
Architecture: source
Version: 7.58-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <[email protected]>
Changed-By: Sebastian Andrzej Siewior <[email protected]>
Closes: 1144657
Changes:
herdtools7 (7.58-2) unstable; urgency=medium
.
* Depend on ocaml-native-compilers.
* Install shared files, noted by Казакевич Олег (Closes: #1144657).
Checksums-Sha1:
4b3e444accca5b69438f798f9a5fe50788aa38c2 1874 herdtools7_7.58-2.dsc
25e1cbe07269198b64d57281336355c6486553cf 10144 herdtools7_7.58-2.debian.tar.xz
Checksums-Sha256:
b4aea9ad1761f3aaad59a39d4aee895a0cd0ef45a3c8fecac67d19aa8f3cc9f5 1874
herdtools7_7.58-2.dsc
a0d2f569ec5c5fdef39bc48bc43c423a3f145a7ebabea877fb52d05e144d7489 10144
herdtools7_7.58-2.debian.tar.xz
Files:
36c0087d80e1bd04bb367858d9bb19b1 1874 ocaml optional herdtools7_7.58-2.dsc
28c1c166ebdab3cec75dd07016355e02 10144 ocaml optional
herdtools7_7.58-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQGzBAEBCgAdFiEEV4kucFIzBRM39v3RBWQfF1cS+lsFAmqQpwkACgkQBWQfF1cS
+lvijAwArHiqkR0JluJ1+Oo2ck+nCEg1RRy3LZDdLN+uix8dVTVxw+etMrFJxdga
moGRJCG/AnVdhdz2XizGsCG8rVJ8oGSXCTl7z1EHooUHctBCGGYmqxDYdhIdkDk6
aBmlXzsJIjKTDsxbkwFhw6ZIhdH4vINyKnLJ9NZWXw4HQohL5FTya2X8T66oPgIG
dEbfn3N1wjaHSvLNAXz8s/uDXAna9HkKX8w+UGfWoT/nPPsUZ0LKRLBjOygQJVu2
C5Q9bJxmqhX+5vunBFTaUxENcJSvXjhvOxUUt3yFfqnejR2nKEgwHN+V+FW8sVK7
oTlg9J4mDMvob8qT8bPXb4/oLdrj/Lxm9J1WqELUmHRGHyeQqW0brtYCPkEF/ETa
6z8du30RYnGFtdlZyRKNn/ewc9lnADUu2KEIvOvOu35IgYs/56JRAmU4+7Ubmd7W
JOs/4ArXrGl4KXZVXpKg6aLNZgWIFy0BZBFE+Tgv4ORrFDhblxshtmcyZxqJKjvP
43/6+70Y
=3bgU
-----END PGP SIGNATURE-----
pgptTqWDR_DGc.pgp
Description: PGP signature
--- End Message ---
