Skip to content

use mac latest

use mac latest #73

Workflow file for this run

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