diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index a2b931f..96440e7 100644 --- a/.github/workflows/build.yaml +++ b/.github/workflows/build.yaml @@ -8,18 +8,15 @@ 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 @@ -27,9 +24,20 @@ jobs: - 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