From 5b7bb10d9f5a9cb624665e05808f5403e8d0f25e Mon Sep 17 00:00:00 2001
From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= <astor.jeremie@wanadoo.fr>
Date: Fri, 31 Jan 2020 12:56:09 +0100
Subject: [PATCH] lua needs readline

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

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 ..
-- 
2.43.0