lean4-htt/src/lake/examples
Mac Malone 69efb78319
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.
2025-02-24 17:10:13 +00:00
..
bootstrap feat: lake: build without leanc (#6176) 2024-12-02 17:11:27 +00:00
deps feat: update toolchain on lake update (#5684) 2024-11-04 14:31:40 +00:00
ffi feat: lake: support plugins (#7001) 2025-02-14 04:57:31 +00:00
hello feat: lake pack / lake unpack (#4270) 2024-05-24 21:32:07 +00:00
precompile fix: lake: remove module dynlib from platform-independent trace (#4478) 2024-06-22 01:24:23 +00:00
reverse-ffi fix: split libleanshared on Windows to avoid symbol limit 2024-08-12 14:14:42 +02:00
scripts fix: lake: MSYS2 OSTYPE change (#7209) 2025-02-24 17:10:13 +00:00
targets fix: lake: MSYS2 OSTYPE change (#7209) 2025-02-24 17:10:13 +00:00