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

prune manifest after the set of some deps have been "demoted" to weakdeps #3864

Merged
merged 1 commit into from
Apr 10, 2024

Conversation

KristofferC
Copy link
Member

Fixes the manifest pruning issue in #3863.

Before we run this fixup code we do not know which deps are weak and not (all are considered normal deps). Or well, we kind of know but we don't have the information easily retrievable. Manifest pruning before this stage will not prune orphan entries which are weak deps of some package which is why in #3863 Enzyme was not pruned away (it is a weak dep of DiffEqBase).

Solve this by just pruning after we have categorized things into weak/normal deps.

@KristofferC
Copy link
Member Author

KristofferC commented Apr 5, 2024

This is not 100% satisfactory though because we download the packages before this step and IIUC it means we would download Enzyme in this case and only then prune the manifest to remove it. So perhaps we need to do this before we have downloaded anything.

(The reason Enzyme ends up here at all is because with the tiered resolver we first try to resolve things with all non-input packages having identical versions, so Enzyme being in the manifest then ends up as an output from the resolver).

@KristofferC
Copy link
Member Author

At least this is better than status quo.

@KristofferC KristofferC merged commit 8f772ff into master Apr 10, 2024
9 checks passed
@KristofferC KristofferC deleted the KristofferC-patch-8 branch April 10, 2024 09:26
IanButterworth pushed a commit that referenced this pull request Apr 11, 2024
KristofferC added a commit that referenced this pull request Apr 25, 2024
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 this pull request may close these issues.

2 participants