svf-teaching.yml

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-latest, macos-latest]
    env:
      XCODE_VERSION: '15.3.0'
    steps:
      # checkout the repo
      - uses: actions/checkout@v2
      - uses: actions/setup-node@v3
        with:
          node-version: 18

      # setup the mac/ubuntu environment
      - name: mac-setup
        if: runner.os == 'macOS'
        uses: maxim-lobanov/setup-xcode@v1
        with:
          xcode-version: ${{ env.XCODE_VERSION }}
      - name: mac-setup-workaround
        if: runner.os == 'macOS'
        run: ln -sfn /Applications/Xcode_${{ env.XCODE_VERSION }}.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 lcov libncurses5-dev libtinfo5 libzstd-dev

      # install llvm and svf
      - name: env-setup
        run: |
          npm install svf-lib
      # set SVF_DIR, LLVM_DIR and Z3_DIR and build
      - name: build
        run: |
          export SVF_DIR=$(npm root)/SVF
          export LLVM_DIR=$(npm root)/llvm-16.0.0.obj
          export Z3_DIR=$(npm root)/z3.obj
          echo "SVF_DIR="$SVF_DIR
          echo "LLVM_DIR="$LLVM_DIR
          echo "Z3_DIR="$Z3_DIR
          cmake .
          make