From f58407ff0912e1cdd6cd9031cb9da56a142b7478 Mon Sep 17 00:00:00 2001 From: Thomas Spriggs Date: Tue, 11 Aug 2020 19:07:23 +0100 Subject: [PATCH] Add github actions Ubuntu-20.04 make build So that we have testing of the make build on Ubuntu-20.04. Adding gdb installation is required for unit tests. Installation of `libxml2-utils` providing `xmllint` is so that the tests for valid XML output can run. --- .github/workflows/pull-request-checks.yaml | 36 ++++++++++++++++++++++ 1 file changed, 36 insertions(+) diff --git a/.github/workflows/pull-request-checks.yaml b/.github/workflows/pull-request-checks.yaml index 0594bf3ad8e..9543c1d9b48 100644 --- a/.github/workflows/pull-request-checks.yaml +++ b/.github/workflows/pull-request-checks.yaml @@ -4,6 +4,42 @@ on: branches: [ develop ] jobs: + check-ubuntu-20_04-make-gcc: + runs-on: ubuntu-20.04 + steps: + - uses: actions/checkout@v2 + with: + submodules: true + - name: Fetch dependencies + env: + # This is needed in addition to -yq to prevent apt-get from asking for + # user input + DEBIAN_FRONTEND: noninteractive + TESTPL_JOBS: 4 + run: | + sudo apt-get install -yq gcc gdb g++ maven jq flex bison libxml2-utils cpanminus + make -C src minisat2-download + cpanm Thread::Pool::Simple + - name: Build with make + run: | + make -C src CXX='/usr/bin/g++' -j2 + make -C unit CXX='/usr/bin/g++' -j2 + make -C jbmc/src CXX='/usr/bin/g++' -j2 + make -C jbmc/unit CXX='/usr/bin/g++' -j2 + - name: Run unit tests + run: | + make -C unit test + make -C jbmc/unit test + echo "Running expected failure tests" + make TAGS="[!shouldfail]" -C unit test + make TAGS="[!shouldfail]" -C jbmc/unit test + - name: Run regression tests + run: | + make -C regression test + make -C regression/cbmc test-paths-lifo + env PATH=$PATH:`pwd`/src/solvers make -C regression/cbmc test-cprover-smt2 + make -C jbmc/regression test + check-macos-10_15-make-clang: runs-on: macos-10.15 steps: