diff options
| author | Jiuyang Liu | 2021-07-29 11:06:15 +0800 |
|---|---|---|
| committer | Jiuyang Liu | 2021-08-18 12:56:05 +0800 |
| commit | 886d60ca6412a017ad345e3ce346eefe383c4a7e (patch) | |
| tree | f99f54fe2beb2d0a7443a13e23ac4009b56f19db /.github/workflows/test.yml | |
| parent | 5f550b606d47d04b7ee60976cdb18a51c391992c (diff) | |
switch to ninja
Diffstat (limited to '.github/workflows/test.yml')
| -rw-r--r-- | .github/workflows/test.yml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index b2620d2f..94a30f12 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -45,13 +45,14 @@ jobs: mkdir -p build cd build cmake .. \ + -GNinja \ -DCMAKE_BUILD_TYPE=Release \ -DZ3_LINK_TIME_OPTIMIZATION=1 - make + ninja - name: Install Z3 ${{ matrix.z3 }} run: | cd z3-z3-${{ matrix.z3 }}/build - sudo make install + sudo ninja install z3 --version - name: Cache Verilator ${{ matrix.verilator }} |