From 0e88f44e73f0c63c91c4913ed85aebd9ad4f535a Mon Sep 17 00:00:00 2001 From: christophkloeffel Date: Tue, 10 Sep 2024 19:38:05 +0200 Subject: [PATCH] adds windows as platform to the CI testsuite --- .github/workflows/ci.yml | 18 +++++++++++++++++- 1 file changed, 17 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 36e772b..6f59261 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -29,11 +29,13 @@ jobs: if: success() strategy: matrix: - os: [ubuntu-latest, macos-13, macos-14] + os: [ubuntu-latest, windows-latest, macos-13, macos-14] py-version: ["3.8", "3.9", "3.10", "3.11", "3.12"] include: - os: ubuntu-latest cvc5-plat: "linux" + - os: windows-latest + cvc5-plat: "windows" - os: macos-13 brew: "/usr/local" cvc5-plat: "osx13" @@ -54,6 +56,20 @@ jobs: brew install python@${{ matrix.py-version }} echo "${{ matrix.brew }}/opt/python@${{ matrix.py-version }}/libexec/bin" >> $GITHUB_PATH python${{ matrix.py-version }} -m ensurepip + # Step to install Scoop + - name: Install Scoop, GNU Make, and Find on Windows + if: matrix.os == 'windows-latest' + run: | + + Invoke-Expression (New-Object System.Net.WebClient).DownloadString('https://get.scoop.sh') + + # Substep: Install GNU Make and Find + scoop install make + scoop install findutils + + # Substep: Check Make and Find versions + make --version + find --version - name: Install dependencies run: | python -m pip install --upgrade pip