configure
changeset 5145 53f741a5a73a
parent 5048 e02161ba20e0
child 5401 456c1998638d
--- a/configure	Tue Sep 25 22:03:35 2012 +0200
+++ b/configure	Fri Sep 28 12:04:07 2012 +0200
@@ -16,6 +16,7 @@
 CC=gcc
 CXX=g++
 LD=gcc
+RUNWITH=lua
 
 CFLAGS="-fPIC -Wall"
 LDFLAGS="-shared"
@@ -171,6 +172,9 @@
    --linker=*)
       LD="$value"
       ;;
+   --runwith=*)
+      RUNWITH="$value"
+      ;;
    *)
       echo "Error: Unknown flag: $1"
       exit 1
@@ -341,6 +345,7 @@
 CC=$CC
 CXX=$CXX
 LD=$LD
+RUNWITH=$RUNWITH
 
 EOF