diff options
| author | Jiuyang Liu | 2021-08-18 15:03:39 +0800 |
|---|---|---|
| committer | GitHub | 2021-08-18 15:03:39 +0800 |
| commit | cbd73b2bb7425cb22513f6ed9717e0956295c5b3 (patch) | |
| tree | 1dba6e1815eedd89ca786309dadc8f25df3d9e20 | |
| parent | 7c8a032e7e23902283035d93579b8dc477b32f6a (diff) | |
| parent | 42f1363c1956976cad62a68c3f34f57941b08003 (diff) | |
Merge pull request #2057 from chipsalliance/fix_z3_ci
Z3 CI debug
| -rw-r--r-- | .github/workflows/test.yml | 43 |
1 files changed, 34 insertions, 9 deletions
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index f5a1f811..3438dcf9 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,14 +26,37 @@ 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 ninja-build + + - name: Cache Z3 ${{ matrix.z3 }} + uses: actions/cache@v2.1.6 + id: cache-z3 + with: + path: z3-z3-${{ matrix.z3 }} + key: ${{ matrix.system }}-z3-ninja-${{ 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 .. \ + -GNinja \ + -DCMAKE_BUILD_TYPE=Release \ + -DZ3_LINK_TIME_OPTIMIZATION=1 + ninja + - name: Install Z3 ${{ matrix.z3 }} run: | - sudo apt-get install -y z3 + cd z3-z3-${{ matrix.z3 }}/build + sudo ninja install z3 --version - name: Cache Verilator ${{ matrix.verilator }} - uses: actions/cache@v2 + uses: actions/cache@v2.1.6 id: cache-verilator with: path: verilator-${{ matrix.verilator }} @@ -53,11 +77,11 @@ jobs: verilator --version - name: Cache Espresso ${{ matrix.espresso }} - uses: actions/cache@v2 + uses: actions/cache@v2.1.6 id: cache-espresso with: path: espresso-${{ matrix.espresso }} - key: ${{ matrix.system }}-espresso-${{ matrix.espresso }} + key: ${{ matrix.system }}-espresso-ninja-${{ matrix.espresso }} - name: Compile Espresso ${{ matrix.espresso }} if: steps.cache-espresso.outputs.cache-hit != 'true' run: | @@ -66,13 +90,14 @@ jobs: cd espresso-${{ matrix.espresso }} mkdir -p build cd build - cmake .. - make + cmake .. \ + -GNinja \ + -DCMAKE_BUILD_TYPE=Release + ninja - name: Install Espresso ${{ matrix.espresso }} run: | cd espresso-${{ matrix.espresso }}/build - sudo make install - + sudo ninja install - name: Setup Scala uses: olafurpg/setup-scala@v10 |