From dd8319c3cd3f0fce7f2365f16f86d1624c251f8e Mon Sep 17 00:00:00 2001 From: Gabriel Ebner Date: Thu, 26 Jan 2023 12:34:12 -0800 Subject: [PATCH] fix: disable gmp on windows The msys2 gmp package does not support static linking at the moment. https://github.com/msys2/MINGW-packages/commit/f31bdf893a9a2c13fe924e58d6cb0d94891109d9 --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 3c52eb2a24..164a0f5aad 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -97,7 +97,7 @@ jobs: os: windows-2022 release: true shell: msys2 {0} - CMAKE_OPTIONS: -G "Unix Makefiles" + CMAKE_OPTIONS: -G "Unix Makefiles" -DUSE_GMP=OFF # for reasons unknown, interactivetests are flaky on Windows CTEST_OPTIONS: --repeat until-pass:2 llvm-url: https://github.com/leanprover/lean-llvm/releases/download/15.0.1/lean-llvm-x86_64-w64-windows-gnu.tar.zst