From 42f1363c1956976cad62a68c3f34f57941b08003 Mon Sep 17 00:00:00 2001
From: Jiuyang Liu
Date: Wed, 18 Aug 2021 12:59:59 +0800
Subject: switch espresso to ninja.

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

(limited to '.github')

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 22a04c35..3438dcf9 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -48,7 +48,7 @@ jobs:
             -GNinja \
             -DCMAKE_BUILD_TYPE=Release \
             -DZ3_LINK_TIME_OPTIMIZATION=1
-          ninja 
+          ninja
       - name: Install Z3 ${{ matrix.z3 }}
         run: |
           cd z3-z3-${{ matrix.z3 }}/build
@@ -81,7 +81,7 @@ jobs:
         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: |
@@ -90,12 +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
-- 
cgit v1.2.3