rust.yaml

on:
  push:
    branches:
     - main
    paths:
     - '.github/workflows/rust.yaml'
     - 'brilirs/**/*.rs'
     - 'brilirs/**/*.toml'
     - 'brilift/**/*.rs'
     - 'brilift/**/*.toml'
     - 'bril-rs/**/*.rs'
     - 'bril-rs/**/*.toml'
     - 'bril-rs/**/*.lalrpop'
  pull_request:
    branches:
     - main
    paths:
     - '.github/workflows/rust.yaml'
     - 'brilirs/**/*.rs'
     - 'brilirs/**/*.toml'
     - 'brilift/**/*.rs'
     - 'brilift/**/*.toml'
     - 'bril-rs/**/*.rs'
     - 'bril-rs/**/*.toml'
     - 'bril-rs/**/*.lalrpop'

name: Workflow checks for rust code

jobs:
  test:
    runs-on: ubuntu-latest
    strategy:
      matrix:
        test-code:
          - "cd bril-rs && make test TURNTARGS=-v"
          - "cd bril-rs && make features"
          - "cd brilirs && make test TURNTARGS=-v"
          - "cd brilirs && make benchmark TURNTARGS=-v"
          - "cd brilift && cargo build --release && make rt.o && make test TURNTARGS=-v"
          - "cd brilift && cargo build --release && make rt.o && make benchmark TURNTARGS=-v"
    steps:
      - uses: actions/checkout@v3
      - uses: dtolnay/rust-toolchain@v1
        with:
          toolchain: stable

      - name: Install cargo-hack for feature-flag checking
        run: cargo install cargo-hack

      - uses: actions/setup-python@v4
        with:
            python-version: '3.11'
            cache: pip
            cache-dependency-path: bril-txt/pyproject.toml

      - name: Install Flit
        run: pip install flit
      - name: Install Python tools
        run: cd bril-txt ; flit install --symlink

      - name: Install Turnt
        # run: pip install turnt  # Use instead if pip turnt version >= 1.7
        uses: actions/checkout@v3
        with:
          repository: cucapra/turnt
          path: './turnt'
      - name: Install Turnt part 2
        run: cd turnt ; flit install --symlink

      - name: Problem matcher
        run: echo '::add-matcher::.github/tap-matcher.json'

      - name: Run test
        run: ${{ matrix.test-code }}

  rust-ci:
    runs-on: ubuntu-latest
    env:
      RUSTDOCFLAGS: -D warnings
      RUSTFLAGS: -D warnings
    strategy:
      matrix:
        path: ["brilirs/Cargo.toml", "bril-rs/Cargo.toml", "bril-rs/bril2json/Cargo.toml", "bril-rs/brild/Cargo.toml", "brilift/Cargo.toml", "bril-rs/rs2bril/Cargo.toml", "bril-rs/brillvm/Cargo.toml"]
    steps:
      - uses: actions/checkout@v3
      - uses: dtolnay/rust-toolchain@v1
        with:
          toolchain: stable
          components: rustfmt, clippy

      - name: Install LLVM and Clang
        uses: KyleMayes/install-llvm-action@v1
        if: matrix.path == 'bril-rs/brillvm/Cargo.toml'
        with:
          version: "15.0"

      - name: cargo check
        run: cargo check --manifest-path ${{ matrix.path }} --all-targets

      - name: cargo fmt
        run: cargo fmt --manifest-path ${{ matrix.path }} --all -- --check

      - name: cargo clippy
        run: cargo clippy --manifest-path ${{ matrix.path }} --all-targets

      - name: cargo doc
        run: cargo doc --manifest-path ${{ matrix.path }} --all