Skip to content

Compiler packages into invariant packages #5208

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

Merged
merged 9 commits into from
Mar 12, 2023
Merged

Conversation

rjbou
Copy link
Collaborator

@rjbou rjbou commented Jul 29, 2022

Since invariant is defined and updated, compiler_packages is no more
consistent the way it is. To keep field name, it is still named
compiler-packages, but its content is now invariant formula installed
packages and their recursive dependencies. It implies also that switch
state need to be update at each time an install/removal is done, or
invariant changed.

  • Remove universe.u_base field
  • Compute invariant packages instead of compiler packages
  • Change PEF base field into invariant-pkg
  • opam list --invariant instead of --base
    • change column name to invariant
    • display invariant packages instead of compiler ones
  • switch: fill empty synopsis with invariant instead of compiler packages

fix #5202
fix #5201

  • add function doc
  • remove commented code

@rjbou rjbou added PR: QUEUED Pending pull request, waiting for other work to be merged or closed PR: WIP Not for merge at this stage and removed PR: QUEUED Pending pull request, waiting for other work to be merged or closed labels Jul 29, 2022
@rjbou rjbou force-pushed the invariant-packages branch 2 times, most recently from 8ffcfd0 to 33f86fc Compare August 1, 2022 14:57
@rjbou rjbou force-pushed the invariant-packages branch from 33f86fc to 28beadc Compare August 12, 2022 18:50
@rjbou rjbou marked this pull request as ready for review August 12, 2022 18:50
@rjbou rjbou removed the PR: WIP Not for merge at this stage label Aug 12, 2022
@dra27 dra27 added this to the 2.2.0~alpha milestone Aug 24, 2022
@rjbou rjbou force-pushed the invariant-packages branch from 28beadc to bdd0dfd Compare August 31, 2022 19:29
@rjbou rjbou added PR: QUEUED Pending pull request, waiting for other work to be merged or closed and removed PR: NEEDS UPDATE labels Nov 3, 2022
@rjbou rjbou force-pushed the invariant-packages branch from bdd0dfd to 6540dd7 Compare November 3, 2022 19:24
@rjbou rjbou force-pushed the invariant-packages branch from 6540dd7 to b980c6f Compare November 11, 2022 14:56
@rjbou rjbou removed the PR: QUEUED Pending pull request, waiting for other work to be merged or closed label Nov 11, 2022
@@ -14,6 +14,7 @@ The following actions will be performed:

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed foo.1
[WARNING] Undefined filter variable build in dependencies of foo.1
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is that expected?

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

yes, because we recompute and re-resolve at new switch state recording

@rjbou rjbou mentioned this pull request Dec 14, 2022
1 task
@rjbou rjbou force-pushed the invariant-packages branch from aadafc5 to 2751af2 Compare January 27, 2023 16:13
@rjbou rjbou force-pushed the invariant-packages branch from 548cea3 to f7ce25f Compare March 1, 2023 12:55
@rjbou
Copy link
Collaborator Author

rjbou commented Mar 1, 2023

Removed OpamSwitchState.compute_compiler_packages. As we no more check if "invariant contains" a compiler packages, it is no more used.

@dra27 dra27 force-pushed the invariant-packages branch from f7ce25f to 47a8c26 Compare March 10, 2023 17:25
@dra27
Copy link
Member

dra27 commented Mar 10, 2023

@rjbou - the extra commit I've pushed allows this one to close #4867 as well I think, if you're happy with it?

@rjbou
Copy link
Collaborator Author

rjbou commented Mar 10, 2023

lgtm!

@dra27 dra27 force-pushed the invariant-packages branch 2 times, most recently from 8831b41 to 706a134 Compare March 10, 2023 20:20
rjbou and others added 9 commits March 11, 2023 08:01
Since invariant is defined and updated, compiler_packages is no more
consistent the way it is. To keep field name, it is still named
`compiler-packages`, but its content is now invariant formula installed
packages and their recursive dependencies. It implies also that switch
state need to be update at each time an install/removal is done, or
invariant changed.

* Remove `universe.u_base` field
* Compute invariant packages instead of compiler packages
* Change PEF `base` field into `invariant-pkg`
* opam list --invariant instead of --base
* change column name to invariant
* display invariant packages instead of compiler ones
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.

Switch listing misdisplay Importing just exported switch workflow broken
4 participants