From 5cae0a35d346e3e1fd9b131340648fe3e8f9cf15 Mon Sep 17 00:00:00 2001
From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= <astor.jeremie@wanadoo.fr>
Date: Sat, 18 Jan 2020 13:59:50 +0100
Subject: [PATCH] cache Gwion

---
 .github/workflows/build.yml | 23 +++++++++++++++++++++--
 1 file changed, 21 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 04a0b69b..b55afdc1 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -41,17 +41,36 @@ jobs:
         git pull
         cabal update
         cabal install --only-dependencies
-        cabal configure --enable-tests
+        cabal configure
         cabal build
         cabal install
 
+    - uses: actions/cache@v1
+      id: gwion-bin
+      with:
+        path: Gwion
+        key: ${{ runner.os }}-gwion
+
     - name: Gwion
+      if: steps.gwion-bin.outputs.cache-hit != 'true'
       run: |
         git clone https://github.com/fennecdjay/Gwion
         cd Gwion
         git submodule update --init util ast
         make
-        sudo make install
+        cp gwion ..
+
+    - name: Gwion
+      if: steps.gwion-bin.outputs.cache-hit == 'true'
+      run: |
+        cd Gwion
+        if [ $(git rev-parse HEAD) != $(git ls-remote https://github.com/fennecdjay/mdr.git HEAD | cut -f1) ]
+        then
+          git pull
+          git submodule update --init util ast
+          make
+        fi
+        cp gwion ..
 
     - name: Benchmark
       run: |
-- 
2.43.0