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.

Author: tydeu

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