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

Refactor and improve Windows builds #162

Merged
merged 14 commits into from
Apr 25, 2023
Merged

Refactor and improve Windows builds #162

merged 14 commits into from
Apr 25, 2023

Conversation

MisterDA
Copy link
Contributor

@MisterDA MisterDA commented Apr 12, 2023

opam was being build with mingw even in the msvc images. Separate mingw and msvc builds into two functions. Separate the msvc build into more build steps. Fix the origin of Install.cmd from avsm/ocaml-dockerfile to ocurrent/ocaml-dockerfile.
See diff at ocurrent/docker-base-images#223.

@MisterDA MisterDA force-pushed the windows-fixes branch 11 times, most recently from 90f283c to f507f55 Compare April 19, 2023 16:31
@MisterDA
Copy link
Contributor Author

This requires ocaml/opam#5514.

"unzip";
"git";
"m4";
"perl";
Copy link
Member

Choose a reason for hiding this comment

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

Why does this require Perl? Dropping vim seems reasonable for CI images though it might surprise some users of the Windows images.

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Usually the perl dependency comes from git. Perl is listed in the installation instructions of OCaml for Windows. We'll drop it once we remove OCaml for Windows.
I'm inclined to remove vim and nano altogether from the CI images, but as it may break workflows we don't know about I won't do it. I thought that starting from scratch, the Windows images didn't need them.

@MisterDA MisterDA merged commit 7a33ea8 into master Apr 25, 2023
@MisterDA MisterDA deleted the windows-fixes branch April 25, 2023 15:29
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