From 58db81c3233b5a0fd81f555b6152f1e00d336f65 Mon Sep 17 00:00:00 2001
From: "John W. Parent" <45471568+johnwparent@users.noreply.github.com>
Date: Thu, 20 Jun 2024 12:39:58 -0400
Subject: bootstrap: test building clingo from sources on windows (#44624)
---
.github/workflows/bootstrap.yml | 12 ++++++++----
1 file changed, 8 insertions(+), 4 deletions(-)
(limited to '.github/workflows')
diff --git a/.github/workflows/bootstrap.yml b/.github/workflows/bootstrap.yml
index 0e7fd2717c..25e74d38bc 100644
--- a/.github/workflows/bootstrap.yml
+++ b/.github/workflows/bootstrap.yml
@@ -53,10 +53,10 @@ jobs:
runs-on: ${{ matrix.runner }}
strategy:
matrix:
- runner: ['macos-13', 'macos-14', "ubuntu-latest"]
+ runner: ['macos-13', 'macos-14', "ubuntu-latest", "windows-latest"]
steps:
- name: Setup macOS
- if: ${{ matrix.runner != 'ubuntu-latest' }}
+ if: ${{ matrix.runner != 'ubuntu-latest' && matrix.runner != 'windows-latest' }}
run: |
brew install cmake bison tree
- name: Checkout
@@ -67,13 +67,17 @@ jobs:
with:
python-version: "3.12"
- name: Bootstrap clingo
+ env:
+ SETUP_SCRIPT_EXT: ${{ matrix.runner == 'windows-latest' && 'ps1' || 'sh' }}
+ SETUP_SCRIPT_SOURCE: ${{ matrix.runner == 'windows-latest' && './' || 'source ' }}
+ USER_SCOPE_PARENT_DIR: ${{ matrix.runner == 'windows-latest' && '$env:userprofile' || '$HOME' }}
run: |
- source share/spack/setup-env.sh
+ ${{ env.SETUP_SCRIPT_SOURCE }}share/spack/setup-env.${{ env.SETUP_SCRIPT_EXT }}
spack bootstrap disable github-actions-v0.5
spack bootstrap disable github-actions-v0.4
spack external find --not-buildable cmake bison
spack -d solve zlib
- tree ~/.spack/bootstrap/store/
+ tree ${{ env.USER_SCOPE_PARENT_DIR }}/.spack/bootstrap/store/
gnupg-sources:
runs-on: ${{ matrix.runner }}
--
cgit v1.2.3-70-g09d2