# HG changeset patch # User Kim Alvefur # Date 1364753049 -7200 # Node ID 456c1998638d0ab8672062a0c1cd68990f3252ed # Parent 13454b2b86bfa92d24794da6e08ea4e8ab870172 configure: Set to run with lua5.1 in the debian preset diff -r 13454b2b86bf -r 456c1998638d configure --- a/configure Sun Mar 31 12:27:28 2013 +0100 +++ b/configure Sun Mar 31 20:04:09 2013 +0200 @@ -95,6 +95,7 @@ if [ "$OSTYPE" = "debian" ] then LUA_SUFFIX="5.1"; LUA_SUFFIX_SET=yes + RUNWITH="lua5.1" LUA_INCDIR=/usr/include/lua5.1; LUA_INCDIR_SET=yes CFLAGS="$CFLAGS -D_GNU_SOURCE"