fix: lake: MSYS2 OSTYPE change (#7209)

This PR fixes broken Lake tests on Windows' new MSYS2. As of MSYS2
0.0.20250221, `OSTYPE` is now reported as `cygwin` instead of `msys`,
which must be accounted for in a few Lake tests.

See https://www.msys2.org/news/#2025-02-14-moving-msys2-closer-to-cygwin
for more details.

src/CMakeLists.txt

@@ -10,9 +10,9 @@ endif()
 include(ExternalProject)
 project(LEAN CXX C)
 set(LEAN_VERSION_MAJOR 4)
-set(LEAN_VERSION_MINOR 16)
+set(LEAN_VERSION_MINOR 17)
 set(LEAN_VERSION_PATCH 0)
-set(LEAN_VERSION_IS_RELEASE 0)  # This number is 1 in the release revision, and 0 otherwise.
+set(LEAN_VERSION_IS_RELEASE 1)  # This number is 1 in the release revision, and 0 otherwise.
 set(LEAN_SPECIAL_VERSION_DESC "" CACHE STRING "Additional version description like 'nightly-2018-03-11'")
 set(LEAN_VERSION_STRING "${LEAN_VERSION_MAJOR}.${LEAN_VERSION_MINOR}.${LEAN_VERSION_PATCH}")
 if (LEAN_SPECIAL_VERSION_DESC)

src/lake/examples/scripts/test.sh

@@ -2,7 +2,7 @@
 set -exo pipefail
 
 # make prefix `/` behave on MSYS2
-[ "$OSTYPE" == "msys" ] && export MSYS2_ARG_CONV_EXCL=*
+[ "$OSTYPE" == "cygwin" -o "$OSTYPE" == "msys" ] && export MSYS2_ARG_CONV_EXCL=*
 
 ./clean.sh
 LAKE=${LAKE:-../../.lake/build/bin/lake}

src/lake/examples/targets/test.sh

@@ -2,7 +2,7 @@
 set -exo pipefail
 
 # Prevent MSYS2 from automatically transforming path-like targets
-[ "$OSTYPE" == "msys" ] && export MSYS2_ARG_CONV_EXCL=*
+[ "$OSTYPE" == "cygwin" -o "$OSTYPE" == "msys" ] && export MSYS2_ARG_CONV_EXCL=*
 
 LAKE=${LAKE:-../../.lake/build/bin/lake}
 

src/lake/tests/init/test.sh

@@ -122,7 +122,7 @@ $LAKE -d 123-hello exe 123-hello
 # https://github.com/leanprover/lean4/issues/2999
 
 # the unicode name is improperly encoded on windows for non-Lake reasons
-if [ "$OSTYPE" != "msys" ]; then
+if [ "$OSTYPE" != "cygwin" -a "$OSTYPE" != "msys" ]; then
   $LAKE new «A.B».«C.D»
   $LAKE -d A-B-C-D exe a-b-c-d
 fi