Changeset

7608:2306d261ca0a

configure: Respect Lua suffix in Debian preset if already set
author Kim Alvefur <zash@zash.se>
date Fri, 19 Aug 2016 15:30:42 +0200
parents 7607:d17bc0d0748e
children 7609:01df17dc06a4
files configure
diffstat 1 files changed, 6 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/configure	Fri Aug 19 14:43:38 2016 +0200
+++ b/configure	Fri Aug 19 15:30:42 2016 +0200
@@ -106,10 +106,12 @@
       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