Diff

configure @ 5145:53f741a5a73a

configure, Makefile: Allow runtime to be overridden.
author Kim Alvefur <zash@zash.se>
date Fri, 28 Sep 2012 12:04:07 +0200
parent 5048:e02161ba20e0
child 5401:456c1998638d
line wrap: on
line diff
--- 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