I tried (for a change) to run the smoke test with the Ubuntu snap package. It basically works, just for every call of coqc I get errors that these folders are not accessible:
/usr/games/
/bin/
/sbin/
/usr/sbin/
I wonder what business coqc has to look into these folders.
@Enrico Tassi : FYI
Maybe they are in PATH and coqc is looking for the csdp binary or something?
indeed, that is the culprit. IMO we could just remove the warning
Last updated: Oct 13 2024 at 01:02 UTC