diff options
| author | Jiuyang Liu | 2021-08-18 12:59:59 +0800 |
|---|---|---|
| committer | Jiuyang Liu | 2021-08-18 13:00:44 +0800 |
| commit | 42f1363c1956976cad62a68c3f34f57941b08003 (patch) | |
| tree | 1dba6e1815eedd89ca786309dadc8f25df3d9e20 /.github | |
| parent | bc963e741df2f949c236db65aa51b686abdd41a1 (diff) | |
switch espresso to ninja.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/test.yml | 12 |
1 files changed, 7 insertions, 5 deletions
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 |