Skip to content
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

An empty directory in the plugin directory makes load_all fail #10457

Closed
shym opened this issue Apr 25, 2024 · 0 comments · Fixed by #10458
Closed

An empty directory in the plugin directory makes load_all fail #10457

shym opened this issue Apr 25, 2024 · 0 comments · Fixed by #10458

Comments

@shym
Copy link
Contributor

shym commented Apr 25, 2024

The dune-site plugin system expects all the entries of the plugin directory to be directories, each of which should contain a META file.
Unfortunately, we can end up with an empty directory there in a rather normal course of actions, after removing a package that provides a plugin.

Here is a small scenario that shows the problem. First, the following commands exhibit the intended behaviour:

$ opam install ortac-core
[...]

$ ortac
ortac: error: no plugin is available, please install at least one

$ opam install ortac-qcheck-stm
[...]

$ ortac
ortac: error: missing command
Usage: ortac [COMMAND] …
Try 'ortac --help' for more information.

But removing the second package breaks the first:

$ opam remove ortac-qcheck-stm
[...]

$ ortac
Fatal error: exception The plugin "qcheck-stm" can't be found in the search paths "%{prefix}%/lib/ortac-core/plugins".

where one would expect the initial behaviour (no plugin is available...).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant