diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 5197876b9..c2a7cbe85 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -71,6 +71,32 @@ jobs: cd Documentation make html + lin-with-libvvp: + strategy: + fail-fast: false + matrix: + os: [ + '22.04', + '24.04' + ] + runs-on: ubuntu-${{ matrix.os }} + name: '🐧 Ubuntu ${{ matrix.os }} (with libvvp)' + steps: + + - uses: actions/checkout@v4 + + - name: Install dependencies + run: | + sudo apt update -qq + sudo apt install -y make g++ git bison flex gperf libreadline-dev libbz2-dev autoconf python3-sphinx python3-docopt + + - name: Build, check and install + run: | + autoconf + ./configure --enable-libveriuser --enable-libvvp + make -j$(nproc) check + sudo make install + win: runs-on: windows-latest strategy: