From 1e7829eb674eed85a4cd537896d9fd9ee0bc5ff4 Mon Sep 17 00:00:00 2001
From: Jack Koenig
Date: Wed, 28 Jul 2021 19:35:27 -0700
Subject: Just install z3 from apt-get in CI (#2056)

---
 .github/workflows/test.yml | 27 ++-------------------------
 1 file changed, 2 insertions(+), 25 deletions(-)

(limited to '.github')

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index b2620d2f..f5a1f811 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -18,7 +18,6 @@ jobs:
         jvm: ["adopt@1.8"]
         scala: ["2.13.6", "2.12.13"]
         verilator: ["4.204"]
-        z3: ["4.8.10"]
         espresso: ["2.4"]
     runs-on: ${{ matrix.system }}
 
@@ -26,32 +25,10 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v2
 
-      - name: Install Z3 Build Dependencies(Ubuntu)
+      - name: Install Z3
         if: matrix.system == 'ubuntu-20.04'
-        run: sudo apt-get install -y libfl2 libfl-dev
-
-      - name: Cache Z3 ${{ matrix.z3 }}
-        uses: actions/cache@v2
-        id: cache-z3
-        with:
-          path: z3-z3-${{ matrix.z3 }}
-          key: ${{ matrix.system }}-z3-${{ matrix.z3 }}
-      - name: Compile Z3
-        if: steps.cache-z3.outputs.cache-hit != 'true'
-        run: |
-          wget https://github.com/Z3Prover/z3/archive/refs/tags/z3-${{ matrix.z3 }}.tar.gz
-          tar xvf z3-${{ matrix.z3 }}.tar.gz
-          cd z3-z3-${{ matrix.z3 }}
-          mkdir -p build
-          cd build
-          cmake .. \
-            -DCMAKE_BUILD_TYPE=Release \
-            -DZ3_LINK_TIME_OPTIMIZATION=1
-          make
-      - name: Install Z3 ${{ matrix.z3 }}
         run: |
-          cd z3-z3-${{ matrix.z3 }}/build
-          sudo make install
+          sudo apt-get install -y z3
           z3 --version
 
       - name: Cache Verilator ${{ matrix.verilator }}
-- 
cgit v1.2.3