diff options
author | Michal Čihař <nijel@debian.org> | 2018-07-24 14:41:23 +0200 |
---|---|---|
committer | Michal Čihař <nijel@debian.org> | 2018-07-24 14:41:23 +0200 |
commit | 0eaf571e9a06d34f4e47eeb86f7174dd4756203f (patch) | |
tree | aad12757ae14275968168ac08e182019dd3b6989 | |
parent | e5f16e0d7fbe3a2afa1edf80f9457e670b31470f (diff) |
In Debian, lua library is called lua5.2.
Forwarded: http://rpm.org/ticket/88
Gbp-Pq: Name lua-libname.patch
-rw-r--r-- | configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index e1b183fa..7e5c20f0 100644 --- a/configure.ac +++ b/configure.ac @@ -960,7 +960,7 @@ AC_ARG_WITH([lua], [AS_HELP_STRING([--with-lua], [build with lua support])], AS_IF([test "$with_lua" != no],[ PKG_CHECK_MODULES([LUA], - [lua >= 5.1], + [lua5.2 >= 5.2], [AC_DEFINE(WITH_LUA, 1, [Build with lua support?])], [AC_MSG_ERROR([lua not present (--without-lua to disable)])]) AC_SUBST(LUA_CFLAGS) |