Skip to content

Commit

Permalink
adds windows as platform to the CI testsuite
Browse files Browse the repository at this point in the history
  • Loading branch information
christophkloeffel committed Sep 11, 2024
1 parent 9ffcc8e commit bb687b1
Showing 1 changed file with 25 additions and 1 deletion.
26 changes: 25 additions & 1 deletion .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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"
Expand All @@ -54,6 +56,23 @@ 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
"$env:HOMEDRIVE$env:HOMEPATH\scoop\apps\findutils\current\bin" | Out-File -FilePath $env:GITHUB_PATH -Append
"$env:HOMEPATH/scoop/apps/make/current/bin" | Out-File -FilePath $env:GITHUB_PATH -Append
- name: Install dependencies
run: |
python -m pip install --upgrade pip
Expand All @@ -67,11 +86,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: |
Expand Down

0 comments on commit bb687b1

Please sign in to comment.