From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Sat, 18 Jan 2020 12:59:50 +0000 (+0100)
Subject: cache Gwion
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=5cae0a35d346e3e1fd9b131340648fe3e8f9cf15;p=gwion.git

cache Gwion
---

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: |