-
Notifications
You must be signed in to change notification settings - Fork 354
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
opam
2.1.4 fails to add a local repository if opam repo add
is invoked from a "grandparent directory"
#5632
Comments
In the failing output, the repository directory is |
It does not exist. It seems like I just made a typo, I'm sorry. This can be closed. The diagnostics could maybe specify the directory doesn't exist, though. |
I agree. Let's reopen until we get that. Contributions are welcome. |
Closes ocaml#5632 Co-authored-by: Raja Boujbel <raja.boujbel@ocamlpro.com>
Closes ocaml#5632 Co-authored-by: Raja Boujbel <raja.boujbel@ocamlpro.com>
Closes ocaml#5632 Co-authored-by: Raja Boujbel <raja.boujbel@ocamlpro.com>
Output of
opam config report
as requested:In this example I was trying to add
opam-coq-archive/released
as a local repository while in a directorycoq
which is the parent directory ofopam-coq-archive
, which results in the following:However, if the command is invoked from
opam-coq-archive
oropam-coq-archive/released
itself, it is fine:The text was updated successfully, but these errors were encountered: