sync with latest SVF #75
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: svf-teaching | |
| # Triggers the workflow on push or pull request events | |
| on: [push, pull_request] | |
| jobs: | |
| build: | |
| runs-on: ${{ matrix.os }} | |
| strategy: | |
| matrix: | |
| os: [ubuntu-20.04, macos-latest] | |
| steps: | |
| # checkout the repo | |
| - uses: actions/checkout@v2 | |
| - uses: actions/setup-node@v2 | |
| with: | |
| node-version: 12 | |
| # setup the environment | |
| - name: mac-setup | |
| if: runner.os == 'macOS' | |
| uses: maxim-lobanov/setup-xcode@v1 | |
| with: | |
| xcode-version: 14.2.0 | |
| - name: mac-setup-workaround | |
| if: runner.os == 'macOS' | |
| run: ln -sfn /Applications/Xcode_14.2.0.app /Applications/Xcode.app | |
| - name: ubuntu-setup | |
| if: runner.os == 'Linux' | |
| run: | | |
| sudo apt-get update | |
| sudo add-apt-repository -y ppa:ubuntu-toolchain-r/test | |
| sudo apt-get update | |
| sudo apt-get install cmake gcc g++ nodejs doxygen graphviz | |
| # install llvm and svf | |
| - name: env-setup | |
| run: | | |
| npm install svf-lib | |
| # build current repo | |
| - name: build-svf | |
| run: | | |
| source $GITHUB_WORKSPACE/env.sh | |
| cmake . | |
| make |