From 4a913a573e5293208433f9e628555283e81e2b54 Mon Sep 17 00:00:00 2001 From: Kim Alvefur Date: Fri, 19 Aug 2016 15:30:42 +0200 Subject: configure: Respect Lua suffix in Debian preset if already set --- configure | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/configure b/configure index b91d0b37..7d7393b6 100755 --- a/configure +++ b/configure @@ -106,10 +106,12 @@ do OSTYPE="$value" OSTYPE_SET=yes if [ "$OSTYPE" = "debian" ]; then - LUA_SUFFIX="5.1"; - LUA_SUFFIX_SET=yes - RUNWITH="lua5.1" - LUA_INCDIR=/usr/include/lua5.1; + if [ "$LUA_SUFFIX_SET" != "yes" ]; then + LUA_SUFFIX="5.1"; + LUA_SUFFIX_SET=yes + fi + RUNWITH="lua$LUA_SUFFIX" + LUA_INCDIR="/usr/include/lua$LUA_SUFFIX" LUA_INCDIR_SET=yes CFLAGS="$CFLAGS -D_GNU_SOURCE" fi -- cgit v1.2.3