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