-
Notifications
You must be signed in to change notification settings - Fork 353
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
pin-depends pinning speed #4315
Milestone
Comments
cc @avsm |
If you want to give this a try, here's the opam file that I used:
|
Thanks for the very good example! |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
I recently tried to
opam install
a local package with every dependency pinned via thepin-depends
field in its opam file and theopam install
is significantly slowed down by the initial pinning process.I tried the 2.1 alpha hoping it might have been improved by recent changes but it seems to have no effect.
Do you have any idea why this takes so long and/or if this can be easily improved? I suspect that cloning the repositories is what takes up most of the time but I also imagine running those in parallel could improve the situation.
The text was updated successfully, but these errors were encountered: