add missing dependency for newer versions of k #22
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
| name: 'Test Homebrew formula' | |
| on: | |
| pull_request: | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.ref }} | |
| cancel-in-progress: true | |
| jobs: | |
| install-from-source: | |
| name: 'Build and install K from formula' | |
| runs-on: ${{ matrix.os }} | |
| strategy: | |
| matrix: | |
| os: [macos-12, macos-13] | |
| steps: | |
| - name: 'Check out code' | |
| uses: actions/checkout@v3 | |
| - name: 'Install K formulas' | |
| run: | | |
| brew tap kframework/k file://$(pwd) | |
| brew install --build-from-source --verbose kframework | |
| brew install --build-from-source --verbose [email protected] | |
| brew unlink [email protected] | |
| brew install --build-from-source --verbose [email protected] | |
| brew unlink [email protected] | |
| - name: 'Smoke test' | |
| env: | |
| JAVA_HOME: ${{ env.JAVA_HOME_11_X64 }} | |
| run: | | |
| kompile --help | |
| krun --help | |
| kprove --help |