Stream: Coq devs & plugin devs

Topic: Folder access warnings with snap

view this post on Zulip Michael Soegtrop (Jun 24 2022 at 18:13):

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:


I wonder what business coqc has to look into these folders.
@Enrico Tassi : FYI

view this post on Zulip Jason Gross (Jun 24 2022 at 20:22):

Maybe they are in PATH and coqc is looking for the csdp binary or something?

view this post on Zulip Enrico Tassi (Jun 24 2022 at 20:29):

indeed, that is the culprit. IMO we could just remove the warning

Last updated: Dec 07 2023 at 09:01 UTC