I'm trying to run the smoke-test-kit on the snap https://github.com/coq/platform/pull/211 (mostly calls to coqc) and it seems coqc snas the PATH. This in turn results in a warning, since the snap is "confined".
Any idea why coqc should scan the path? Otherwise I guess I'll have to investigate.
let require_csdp =
if System.is_in_system_path "csdp" then lazy () else lazy (raise CsdpNotFound)
?
How come the check for csdp
is not inside lazy
?
Enrico Tassi said:
I'm trying to run the smoke-test-kit on the snap https://github.com/coq/platform/pull/211 (mostly calls to coqc) and it seems coqc snas the PATH. This in turn results in a warning, since the snap is "confined".
Any idea why coqc should scan the path? Otherwise I guess I'll have to investigate.
if you want to be sure where it's coming from, run with -bt -w +default
Last updated: Oct 13 2024 at 01:02 UTC