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

Add CLI option to specify additional packages for internal Cygwin at opam init #5834

Open
dra27 opened this issue Feb 12, 2024 · 0 comments · May be fixed by #5930
Open

Add CLI option to specify additional packages for internal Cygwin at opam init #5834

dra27 opened this issue Feb 12, 2024 · 0 comments · May be fixed by #5930
Assignees
Projects

Comments

@dra27
Copy link
Member

dra27 commented Feb 12, 2024

This is to mitigate #5833, principally for CI, as it would allow a workflow which knows it's creating a mingw-w64 switch to speed up the init process by adding mingw64-x86_64-gcc-core or mingw64-i686-gcc-core to the installation when it is created (indeed, a CI workflow might choose to add additional depext packages).

At a rough punt, this could be either a dedicated --cygwin-internal-packages=package1,package2 but, given that that would need checking as it would conflict with --cygwin-local-install, it could just be made as an optional argument for --cygwin-internal-install?

In principle, we might want to consider having general maintenance commands for the internal Cygwin installation (although it's possible to do that by hand simply by running the setup program against the root), but that's a much bigger feature and the whole thing is still experimental anyway.

@dra27 dra27 added this to the 2.2.0~beta2 milestone Feb 12, 2024
@rjbou rjbou added this to For beta2 in Opam 2.2.0 Feb 12, 2024
@kit-ty-kate kit-ty-kate moved this from For beta2 to For RC in Opam 2.2.0 Mar 4, 2024
@kit-ty-kate kit-ty-kate removed this from the 2.2.0~beta2 milestone Mar 4, 2024
@moyodiallo moyodiallo self-assigned this Apr 9, 2024
@kit-ty-kate kit-ty-kate moved this from For RC to For beta3 in Opam 2.2.0 Apr 23, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Opam 2.2.0
  
For beta3
Development

Successfully merging a pull request may close this issue.

3 participants