configure
changeset 10013 b6ce1dbe74a0
parent 10012 272c436ca5d1
child 10014 34bfefb39937
--- a/configure	Mon May 13 11:52:16 2019 +0200
+++ b/configure	Mon May 13 11:59:00 2019 +0200
@@ -256,16 +256,6 @@
 if [ "$OSPRESET_SET" = "yes" ]; then
 	# TODO make this a switch?
    if [ "$OSPRESET" = "debian" ]; then
-      if [ "$LUA_SUFFIX_SET" != "yes" ]; then
-         LUA_SUFFIX="5.1";
-         LUA_SUFFIX_SET=yes
-      fi
-      if [ "$RUNWITH_SET" != "yes" ]; then
-         RUNWITH="lua$LUA_SUFFIX";
-         RUNWITH_SET=yes
-      fi
-      LUA_INCDIR="/usr/include/lua$LUA_SUFFIX"
-      LUA_INCDIR_SET=yes
       CFLAGS="$CFLAGS -ggdb"
    fi
    if [ "$OSPRESET" = "macosx" ]; then
@@ -277,10 +267,6 @@
       LDFLAGS="-bundle -undefined dynamic_lookup"
    fi
    if [ "$OSPRESET" = "linux" ]; then
-      LUA_INCDIR=/usr/local/include;
-      LUA_INCDIR_SET=yes
-      LUA_LIBDIR=/usr/local/lib
-      LUA_LIBDIR_SET=yes
       CFLAGS="$CFLAGS -ggdb"
    fi
    if [ "$OSPRESET" = "freebsd" ] || [ "$OSPRESET" = "openbsd" ]; then