I'm seeing errors like this for plugins with the simple Nix CI workflow on Coq master:
ocamlfind: Cannot mkdir /nix/store/glacvh0889ylw7zpjmr0x6pg33nacmm5-coq-dev/lib/coq/../coq-core//../coq-aac-tactics: Permission denied
Has something changed in the install target? This error indicates that it is not respecting the
COQMF_COQLIB option that we pass to tell it where to install the plugin (and it tries instead to install it under the Coq path, which is read-only in Nix store).
it seems the usual findlib bug, I'm working with Cyril on this.
Last updated: Jan 29 2023 at 16:02 UTC