Changeset

5401:456c1998638d

configure: Set to run with lua5.1 in the debian preset
author Kim Alvefur <zash@zash.se>
date Sun, 31 Mar 2013 20:04:09 +0200
parents 5399:13454b2b86bf
children 5402:cb6f0afd8468
files configure
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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"