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: Dec 07 2023 at 09:01 UTC