Update codegen to match upstream #255
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
| name: macOS | |
| on: | |
| push: | |
| branches: | |
| - '*' | |
| - '!*-alpha*' | |
| - '!selfhosted-*' | |
| pull_request: | |
| branches: | |
| - main | |
| env: | |
| SCHEME: chez | |
| jobs: | |
| build: | |
| runs-on: macos-latest | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v2 | |
| - name: Install build dependencies | |
| run: | | |
| brew install chezscheme | |
| brew install erlang | |
| brew install coreutils | |
| echo "$HOME/.idris2erl/bin" >> $GITHUB_PATH | |
| - name: Build Idris 2 from bootstrap | |
| run: cd idris2 && make bootstrap && make install | |
| shell: bash | |
| - name: Build Idris 2 | |
| run: cd idris2 && IDRIS2_BOOT=idris2erl make clean && IDRIS2_BOOT=idris2erl make all && IDRIS2_BOOT=idris2erl make install | |
| shell: bash | |
| - name: Run tests | |
| run: cd idris2 && IDRIS2_BOOT=idris2erl make test INTERACTIVE='' | |
| shell: bash | |
| - name: Run samples | |
| run: cd samples && ./runsamples.sh | |
| shell: bash |