]> Nishi Git Mirror - gwion.git/commitdiff
lua needs readline
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Fri, 31 Jan 2020 11:56:09 +0000 (12:56 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Fri, 31 Jan 2020 11:56:09 +0000 (12:56 +0100)
.github/workflows/build.yml

index 9f55c058d2800213c296c41e8ff9ee34fe9381a4..193ef37a891e099015b6eeec9828736d3b8b1412 100644 (file)
@@ -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 ..