From e80d7312bd3fc3ec53ba56e9e35db8e8f715dcfd Mon Sep 17 00:00:00 2001 From: Thomas Spriggs Date: Wed, 31 Mar 2021 16:12:19 +0100 Subject: [PATCH] Add z3 to packaging jobs z3 is now required by these packaging jobs, because they run tests and some of the tests now require z3. --- .github/workflows/release-packages.yaml | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/.github/workflows/release-packages.yaml b/.github/workflows/release-packages.yaml index 494ef5009ad..d2d9c5f0988 100644 --- a/.github/workflows/release-packages.yaml +++ b/.github/workflows/release-packages.yaml @@ -13,7 +13,9 @@ jobs: with: submodules: recursive - name: Fetch dependencies - run: sudo apt-get install --no-install-recommends -y g++ gdb flex bison cmake ninja-build maven jq libxml2-utils dpkg-dev ccache + run: sudo apt-get install --no-install-recommends -y g++ gdb flex bison cmake ninja-build maven jq libxml2-utils dpkg-dev ccache z3 + - name: Confirm z3 solver is available and log the version installed + run: z3 --version - name: Prepare ccache uses: actions/cache@v2 with: @@ -70,11 +72,13 @@ jobs: submodules: recursive - name: Fetch dependencies run: | - sudo apt-get install --no-install-recommends -y g++ gdb flex bison cmake ninja-build maven jq libxml2-utils dpkg-dev ccache + sudo apt-get install --no-install-recommends -y g++ gdb flex bison cmake ninja-build maven jq libxml2-utils dpkg-dev ccache z3 # remove libgcc-s1, which isn't normally available in Ubuntu 18.04 target=$(dpkg-query -W --showformat='${Version}\n' gcc-8-base | head -n 1) # libgcc1 uses an epoch, thus the extra 1: sudo apt-get install -y --allow-downgrades --reinstall gcc g++ libgcc-s1- libstdc++6=$target liblsan0=$target libtsan0=$target libcc1-0=$target libgcc1=1:$target + - name: Confirm z3 solver is available and log the version installed + run: z3 --version - name: Prepare ccache uses: actions/cache@v2 with: