chore: Remove dead code in example. #168
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| on: [push, pull_request] | |
| name: ci | |
| env: | |
| DAY_OF_WEEK: Monday | |
| jobs: | |
| build: | |
| name: Build | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| os: [windows-latest, ubuntu-latest, macos-latest] | |
| include: | |
| - os: windows-latest | |
| libuv: v1.46.0 | |
| runs-on: ${{ matrix.os }} | |
| steps: | |
| - name: Prereqs Ubuntu | |
| if: matrix.os == 'ubuntu-latest' | |
| 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 | |
| sudo apt-get update | |
| sudo apt-get install -y --no-install-recommends libuv1-dev clang | |
| sudo update-alternatives --set cc /usr/bin/clang | |
| - name: Set up Homebrew | |
| if: matrix.os == 'macos-latest' | |
| uses: Homebrew/actions/setup-homebrew@master | |
| - name: Prereqs OSX | |
| if: matrix.os == 'macos-latest' | |
| run: brew install elan-init | |
| - name: Add msys2 to path (Windows) | |
| if: matrix.os == 'windows-latest' | |
| run: | | |
| Add-Content $env:GITHUB_PATH "C:\msys64\usr\bin" | |
| Add-Content $env:GITHUB_PATH "C:\msys64\mingw64\bin" | |
| Set-Content $env:GITHUB_ENV "PKG_CONFIG_PATH=C:\msys64\usr\lib\pkgconfig" | |
| - name: Install gcc (Windows) | |
| if: matrix.os == 'windows-latest' | |
| run: pacman -v -S --noconfirm mingw-w64-x86_64-gcc mingw-w64-x86_64-pkg-config | |
| - name: Build libuv (Windows) | |
| if: matrix.os == 'windows-latest' | |
| shell: bash | |
| run: | | |
| curl https://dist.libuv.org/dist/${{ matrix.libuv }}/libuv-${{ matrix.libuv }}.tar.gz | tar xvz | |
| cmake -S libuv-${{ matrix.libuv }} -B build -DBUILD_TESTING=OFF | |
| cmake --build build | |
| # Add Windows system32 to path | |
| sed -i 's/Libs:/Libs:\-LC:\/Windows\/system32/' build/libuv.pc | |
| sed -i 's/ -luuid/ -lmsvcrt/' build/libuv.pc | |
| # For some reason install needs dll from release. | |
| cp -r build/Debug build/Release | |
| # Run install | |
| cmake --install build --prefix=/usr | |
| - name: Install Elan (Windows) | |
| if: matrix.os == 'windows-latest' | |
| shell: bash | |
| run: | | |
| curl -sSfL https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh | sh -s -- -y --default-toolchain none | |
| echo "$USERPROFILE\.elan\bin" >> $GITHUB_PATH | |
| - uses: actions/checkout@v4 | |
| - name: Lake build | |
| run: lake build |