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

Revised windows init #20

Closed
wants to merge 24 commits into from
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
24 commits
Select commit Hold shift + click to select a range
6f7c4b4
Harden OpamStd.Sys.check_dll
dra27 Jun 4, 2024
c00842e
Always pass --no-write-registry to Cygwin setup
dra27 Jun 5, 2024
e73528e
Don't allow make to become shadowed
dra27 Jun 5, 2024
095895b
Wind CI forwards to the Windows compilers
dra27 Jun 5, 2024
2a51251
Merge pull request #5993 from dra27/harden
dra27 Jun 6, 2024
e9bb7ba
Merge pull request #5995 from dra27/write-reg
rjbou Jun 6, 2024
b97e1aa
Merge pull request #5996 from dra27/make-shadow
rjbou Jun 6, 2024
1ff0770
Merge pull request #5998 from dra27/wind-ci
dra27 Jun 6, 2024
51e70d0
PR#5991
dra27 May 21, 2024
5fd2fa4
PR#5994
dra27 Jun 4, 2024
20f5eba
PR#5997
dra27 Jun 5, 2024
e517b7b
Harmonise the warning overriding git-location
dra27 May 4, 2024
3e9dbdb
Expose OpamEnv.cygwin_non_shadowed_programs
dra27 May 4, 2024
db599f2
Abort if --git-location doesn't contain Git
dra27 May 19, 2024
4b86e80
Add a function to enumerate Registry values
dra27 May 29, 2024
fb3df05
Simplify cygbin check in OpamAction
dra27 Jun 4, 2024
ba3eb06
Change the calculation for installing git
dra27 Jun 4, 2024
4cdf75a
Add OpamCompat.Seq.find_map
dra27 Jun 4, 2024
4b84481
Overhaul OpamStd.Sys Cygwin functions
dra27 Jun 4, 2024
90bdaea
Detect both Cygwin and MSYS2 os-distribution
dra27 Jun 5, 2024
08db947
Ensure Cygwin setup is downloaded and up-to-date
dra27 Jun 5, 2024
3b7e684
De-label OpamSysInteract.Cygwin.install
dra27 Jun 5, 2024
045cf0b
Expand Cygwin.check_install to analyse_install
dra27 Jun 5, 2024
a300115
Supercalifragilisticexpialidocious
dra27 Jun 2, 2024
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions .github/workflows/ci.ml
Original file line number Diff line number Diff line change
Expand Up @@ -476,8 +476,8 @@ let main oc : unit =
("OPAM12CACHE", "~/.cache/opam1.2/cache");
(* These should be identical to the values in appveyor.yml *)
("OPAM_REPO", "https://github.com/ocaml/opam-repository.git");
("OPAM_TEST_REPO_SHA", "c61e9068d528d92b1d6ac84a06cf44489b10b835");
("OPAM_REPO_SHA", "c61e9068d528d92b1d6ac84a06cf44489b10b835");
("OPAM_TEST_REPO_SHA", "dff745994c64d083a6ba3ddc5a9c28ed0ad0f40a");
("OPAM_REPO_SHA", "dff745994c64d083a6ba3ddc5a9c28ed0ad0f40a");
("SOLVER", "");
(* Cygwin configuration *)
("CYGWIN_MIRROR", "http://mirrors.kernel.org/sourceware/cygwin/");
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/depexts.yml
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ defaults:
env:
OPAMVERSION: 2.1.0
OPAM_REPO: https://github.com/ocaml/opam-repository.git
OPAM_REPO_SHA: c61e9068d528d92b1d6ac84a06cf44489b10b835
OPAM_REPO_SHA: dff745994c64d083a6ba3ddc5a9c28ed0ad0f40a

jobs:
opam-cache:
Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/main.yml
Original file line number Diff line number Diff line change
Expand Up @@ -26,8 +26,8 @@ env:
OPAMBSROOT: ~/.cache/.opam.cached
OPAM12CACHE: ~/.cache/opam1.2/cache
OPAM_REPO: https://github.com/ocaml/opam-repository.git
OPAM_TEST_REPO_SHA: c61e9068d528d92b1d6ac84a06cf44489b10b835
OPAM_REPO_SHA: c61e9068d528d92b1d6ac84a06cf44489b10b835
OPAM_TEST_REPO_SHA: dff745994c64d083a6ba3ddc5a9c28ed0ad0f40a
OPAM_REPO_SHA: dff745994c64d083a6ba3ddc5a9c28ed0ad0f40a
SOLVER:
CYGWIN_MIRROR: http://mirrors.kernel.org/sourceware/cygwin/
CYGWIN_ROOT: D:\cygwin
Expand Down
4 changes: 4 additions & 0 deletions master_changes.md
Original file line number Diff line number Diff line change
Expand Up @@ -80,13 +80,15 @@ users)
* [BUG] Fix `x-env-path-rewrite` splitting of values when reverting [#5935 @dra27 - fix #5838]
* [BUG] Rework the logic of := and =: so that an empty entry is correctly preserved on multiple updates [#5935 @dra27 - fix #5926]
* [BUG] Fix incorrect reverting of `=+` and `=:` [#5935 @dra27 - fix #5926]
* For the `Cygwin` internal operator, don't allow `make.exe` to become shadowed [#5996 @dra27]

## Opamfile

## External dependencies
* Pass --symlink-type native to Cygwin setup if symlinks are available [#5830 @dra27]
* Pass --no-version-check to Cygwin setup (suppresses a message box if setup needs updating) [#5830 @dra27]
* Pass --quiet-mode noinput to stop the user interrupting the setup GUI [#5830 @dra27]
* Always pass --no-write-registry to the Cygwin installer, not just on first installation [#5995 @dra27]

## Format upgrade
* Handle init OCaml `sys-ocaml-*` eval variables during format upgrade from 2.0 -> 2.1 -> 2.2 [#5829 @dra27]
Expand All @@ -102,6 +104,7 @@ users)

## Infrastructure
* Ensure GNU coreutils available on the macOS 14 CI runners [#5938 @dra27]
* Update the opam-repository testing sha to include the new compiler packages in opam-repository [#5998 @dra27]

## Release scripts
* Upgrade the OCaml compiler used for releases to 4.14.2 [#5976 @kit-ty-kate]
Expand All @@ -127,6 +130,7 @@ users)

## Internal: Windows
* Set the console to use UTF-8 on Windows using SetConsoleCP and SetConsoleOutputCP [#5970 @kit-ty-kate]
* Harden the CRLF stripping when using cygcheck [#5993 @dra27]

## Test

Expand Down
3 changes: 1 addition & 2 deletions src/client/opamAction.ml
Original file line number Diff line number Diff line change
Expand Up @@ -528,9 +528,8 @@ let compilation_env t opam =
(OpamFile.OPAM.build_env opam)
in
let cygwin_env =
match OpamSysInteract.Cygwin.cygbin_opt t.switch_global.config with
match OpamCoreConfig.(!r.cygbin) with
| Some cygbin ->
let cygbin = OpamFilename.Dir.to_string cygbin in
[ OpamTypesBase.env_update_resolved "PATH" Cygwin cygbin
~comment:"Cygwin path"
] @ (match OpamCoreConfig.(!r.git_location) with
Expand Down
Loading
Loading