From a4ff721a904093363fb9b1f81df1fdc6e999671b Mon Sep 17 00:00:00 2001
From: christophkloeffel <christoph.kloeffel@accenture.com>
Date: Tue, 10 Sep 2024 19:38:05 +0200
Subject: [PATCH] adds windows as platform to the CI testsuite

---
 .github/workflows/ci.yml | 25 ++++++++++++++++++++++++-
 1 file changed, 24 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 36e772b..d12da09 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,22 @@ 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
+          echo "$(scoop which make)" >> $GITHUB_ENV
+          echo "$(scoop which find)" >> $GITHUB_ENV
       - name: Install dependencies
         run: |
           python -m pip install --upgrade pip
@@ -67,11 +85,16 @@ jobs:
         run: |
           util/fetch_cvc5.py 1.2.0 ${{ matrix.cvc5-plat }}
           echo "$GITHUB_WORKSPACE" >> $GITHUB_PATH
+      - name: show path
+        if: matrix.os == 'windows-latest'
+        run: |
+          $Env:Path
       - name: Executing unit tests
         run: |
           make unit-tests
       - name: Executing system tests
         run: |
+          make --version
           make system-tests-all
       - name: Coverage analysis
         run: |