Add windows build host.

joehendrix · Oct 23, 2023 · 197d2cd · 197d2cd
1 parent 542d471
commit 197d2cd
Showing 1 changed file with 16 additions and 8 deletions.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -8,28 +8,36 @@ jobs:
       strategy:
         fail-fast: false
         matrix:
-          os: [ubuntu-latest, macos-latest]
-      runs-on: ubuntu-latest
+          os: [windows-latest] # ubuntu-latest, macos-latest,
+      runs-on: ${{ matrix.os }}
       steps:
-        - name: install elan
+        - name: Prereqs Ubuntu
           run: |
             set -o pipefail
             curl -sSfL https://github.com/leanprover/elan/releases/download/v1.4.2/elan-x86_64-unknown-linux-gnu.tar.gz | tar xz
             ./elan-init -y --default-toolchain none
             echo "$HOME/.elan/bin" >> $GITHUB_PATH
-        - uses: actions/checkout@v4
-        - name: Install libuv (ubuntu)
-          run: |
             sudo apt-get update
             sudo apt-get install -y --no-install-recommends libuv1-dev clang
             sudo update-alternatives --set cc /usr/bin/clang
           if: matrix.os == 'ubuntu-latest'
         - name: Set up Homebrew
           uses: Homebrew/actions/setup-homebrew@master
           if: matrix.os == 'macos-latest'
-        - name: Install libuv (osx)
-          run: brew install libuv pkg-config
+        - name: Prereqs OSX
+          run: |
+            brew install elan-init libuv pkg-config
           if: matrix.os == 'macos-latest'
+        - name: Prereqs Windows
+          run: |
+            uname -a
+            ls C:\
+            curl -O --location https://raw.githubusercontent.com/leanprover/elan/master/elan-init.ps1
+            powershell -ExecutionPolicy Bypass -f elan-init.ps1 -y
+            pacman -S libuv
+            pkg-config --libs libuv
+          if: matrix.os == 'windows-latest'
+        - uses: actions/checkout@v4
         - name: Lake build
           run: |
             which cc