Public bug reported:
herd7 cannot run any litmus test on Ubuntu 26.04 with herdtools7 7.58-1 from
universe:
$ herd7 /tmp/t.litmus ; echo "exit=$?"
Warning: File "/tmp/t.litmus": Cannot find file x86tso.cat
exit=0
The package ships 56 executables in /usr/bin but not a single .cat memory
model, which is the data herd7 operates on:
$ dpkg -L herdtools7 | grep -c '\.cat$'
0
It also has the build-time home directory compiled in as the model directory,
so even once the files are present the binaries look in the wrong place:
$ herd7 -libdir
/sbuild-nonexistent/share/herdtools7/herd
Both defects come from the Debian packaging, which Ubuntu carries unmodified
(7.58-1, no ubuntuN delta). I have reported them there, with the root cause
and a suggested patch:
Debian bug #1144657 -- https://bugs.debian.org/1144657
Affected: Ubuntu 26.04 (resolute) and 26.10 (stonking), both 7.58-1
universe.
Workaround -- take the model files from the matching upstream tarball:
curl -fLO https://github.com/herd/herdtools7/archive/refs/tags/7.58.tar.gz
tar xzf 7.58.tar.gz
sudo mkdir -p /usr/local/share/herdtools7
sudo cp -r herdtools7-7.58/herd/libdir /usr/local/share/herdtools7/
herd7 -set-libdir /usr/local/share/herdtools7/libdir /tmp/t.litmus
The whole directory is needed, not just the model of interest: .cat files
include one another.
** Affects: herdtools7 (Ubuntu)
Importance: Undecided
Status: New
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/2163686
Title:
herdtools7 is unusable: no .cat model files in the package ("Cannot
find file x86tso.cat")
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/herdtools7/+bug/2163686/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
