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

Closed
dra27 opened this issue Feb 12, 2024 · 0 comments · Fixed by #5930
Closed

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

dra27 opened this issue Feb 12, 2024 · 0 comments · Fixed by #5930
Assignees
Milestone

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
@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
@rjbou rjbou added this to the 2.2.0~beta3 milestone May 13, 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 a pull request may close this issue.

4 participants