./configure -local would give me a local installation of
coq, for which I had a
/bin/ folder that I could include in my $PATH for local use (without the need for an opam switch).
-local flag is gone. I can provide a custom folder to
./configure -prefix, but then it seems that I must provide
-coqlib whenever I invoke
Is there a way to have my
bin/coqc automatically lookup the library that was built with it?