From 886d60ca6412a017ad345e3ce346eefe383c4a7e Mon Sep 17 00:00:00 2001
From: Jiuyang Liu
Date: Thu, 29 Jul 2021 11:06:15 +0800
Subject: switch to ninja

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

(limited to '.github/workflows/test.yml')

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 }}
-- 
cgit v1.2.3