-
Notifications
You must be signed in to change notification settings - Fork 351
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 downloads twice the same source #3741
Comments
While discussing a related issue yesterday, we had another thought. As well as downloading the archive multiple times, opam also has to extract the archive multiple times. It might be worth investigating if it's worth a single extraction followed by |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
When installing package
b
that depends ona
but has the same source, this source is downloaded twice in parallel. However, if packagea
is installed first then a subsequent install ofb
does not redownload the source.When starting multiple downloads in parallel, opam should check that they are not redundant.
Here is an example, with
a
=coq
andb
=coqide
:The text was updated successfully, but these errors were encountered: