diff options
| author | Jiuyang Liu | 2021-07-29 10:55:52 +0800 |
|---|---|---|
| committer | Jiuyang Liu | 2021-08-18 12:56:04 +0800 |
| commit | 5f550b606d47d04b7ee60976cdb18a51c391992c (patch) | |
| tree | d189267a74c2495d46d180912416236d6e01aa32 /.github/workflows/test.yml | |
| parent | 7c8a032e7e23902283035d93579b8dc477b32f6a (diff) | |
Revert "Just install z3 from apt-get in CI (#2056)"
This reverts commit 1e7829eb674eed85a4cd537896d9fd9ee0bc5ff4.
Diffstat (limited to '.github/workflows/test.yml')
| -rw-r--r-- | .github/workflows/test.yml | 27 |
1 files changed, 25 insertions, 2 deletions
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index f5a1f811..b2620d2f 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -18,6 +18,7 @@ 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 }} @@ -25,10 +26,32 @@ jobs: - name: Checkout uses: actions/checkout@v2 - - name: Install Z3 + - name: Install Z3 Build Dependencies(Ubuntu) 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: | - sudo apt-get install -y z3 + cd z3-z3-${{ matrix.z3 }}/build + sudo make install z3 --version - name: Cache Verilator ${{ matrix.verilator }} |