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

--deps-only should install the depexts of the package too #5185

Closed
AltGr opened this issue Jul 19, 2022 · 1 comment
Closed

--deps-only should install the depexts of the package too #5185

AltGr opened this issue Jul 19, 2022 · 1 comment

Comments

@AltGr
Copy link
Member

AltGr commented Jul 19, 2022

In the expected workflow, one opam switch create . --deps-only command should be enough to setup a dev environment. However, that skips the depexts of the local packages at the moment, which defeats some expectations.

I guess this could stay unnoticed until now since in general the depexts should be done through conf- packages; but sometimes you need a more custom setup.

I don't think enabling this by default should cause issues; but if that was to be the case, at least we should have an flag to get this behaviour (maybe a way of combining --deps-only and --depext-only ?)

@AltGr
Copy link
Member Author

AltGr commented Aug 2, 2023

This appears to be solved already on master :)

@AltGr AltGr closed this as completed Aug 2, 2023
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

No branches or pull requests

1 participant