From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Fri, 31 Jan 2020 11:56:09 +0000 (+0100)
Subject: lua needs readline
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=5b7bb10d9f5a9cb624665e05808f5403e8d0f25e;p=gwion.git

lua needs readline
---

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 9f55c058..193ef37a 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -120,6 +120,7 @@ jobs:
       run: |
         git clone https://github.com/lua/lua
         cd lua
+        sudo apt-get install libreadline-dev
         make
 
     - name: Lua [ update ]
@@ -129,6 +130,7 @@ jobs:
         if [ $(git rev-parse HEAD) != $(git ls-remote https://github.com/lua/lua.git HEAD | cut -f1) ]
         then
           git pull
+          sudo apt-get install libreadline-dev
           make
         fi
         cp lua ..