c-cpp.yml

name: C/C++ CI

on:
  push:
    branches:
      - '**'
  pull_request:
    branches:
      - '**'

jobs:
  # setup:
  #   runs-on: ubuntu-latest
  #   steps:
  #   - run: sudo apt-get install libboost-filesystem-dev libboost-test-dev libboost-regex-dev z3
  build-debug:
    # needs: setup
    runs-on: ubuntu-latest
    steps:
    - run: sudo apt-get install libboost-filesystem-dev libboost-test-dev libboost-regex-dev z3
    - run: git clone https://github.com/alan23273850/AutoQ.git
    - run: cd AutoQ && git checkout ${{ github.ref_name }} && mkdir build && make debug
    - run: cp /usr/lib/x86_64-linux-gnu/libboost_unit_test_framework.so.1.74.0 /home/runner/work/AutoQ/AutoQ/AutoQ/build/unit_tests/
    - run: cp /usr/lib/x86_64-linux-gnu/libboost_regex.so.1.74.0 /home/runner/work/AutoQ/AutoQ/AutoQ/build/unit_tests/
    - uses: actions/upload-artifact@v4
      with:
        name: AutoQ-debug
        path: |
          AutoQ/Makefile
          AutoQ/build/
          AutoQ/unit_tests/
  test-debug:
    needs: build-debug
    runs-on: ubuntu-latest
    steps:
    - uses: actions/download-artifact@v4
      with:
        name: AutoQ-debug
        path: AutoQ/
    # - run: pwd
    # - run: ls -a
    - run: cd AutoQ/build/unit_tests/ && chmod +x ./explicit_tree_aut_test && LD_LIBRARY_PATH=.:$LD_LIBRARY_PATH ./explicit_tree_aut_test
  build-release:
    # needs: setup
    runs-on: ubuntu-latest
    steps:
    - run: sudo apt-get install libboost-filesystem-dev libboost-test-dev libboost-regex-dev z3
    - run: git clone https://github.com/alan23273850/AutoQ.git
    - run: cd AutoQ && git checkout ${{ github.ref_name }} && mkdir build && make release
    - run: cp /usr/lib/x86_64-linux-gnu/libboost_unit_test_framework.so.1.74.0 /home/runner/work/AutoQ/AutoQ/AutoQ/build/unit_tests/
    - run: cp /usr/lib/x86_64-linux-gnu/libboost_regex.so.1.74.0 /home/runner/work/AutoQ/AutoQ/AutoQ/build/unit_tests/
    - uses: actions/upload-artifact@v4
      with:
        name: AutoQ-release
        path: |
          AutoQ/Makefile
          AutoQ/build/
          AutoQ/unit_tests/
  test-release:
    needs: build-release
    runs-on: ubuntu-latest
    steps:
    - uses: actions/download-artifact@v4
      with:
        name: AutoQ-release
        path: AutoQ/
    # - run: pwd
    # - run: ls -a
    - run: cd AutoQ/build/unit_tests/ && chmod +x ./explicit_tree_aut_test && LD_LIBRARY_PATH=.:$LD_LIBRARY_PATH ./explicit_tree_aut_test