configure
changeset 8284 6bfaa43bea3c
parent 8133 12440a0043ab
child 8285 9495e2cbe666
equal deleted inserted replaced
8283:9ca0e3128b62 8284:6bfaa43bea3c
   170       if [ "$OSTYPE" = "debian" ]; then
   170       if [ "$OSTYPE" = "debian" ]; then
   171          if [ "$LUA_SUFFIX_SET" != "yes" ]; then
   171          if [ "$LUA_SUFFIX_SET" != "yes" ]; then
   172             LUA_SUFFIX="5.1";
   172             LUA_SUFFIX="5.1";
   173             LUA_SUFFIX_SET=yes
   173             LUA_SUFFIX_SET=yes
   174          fi
   174          fi
       
   175          if [ "$RUNWITH_SET" != "yes" ]; then
       
   176             RUNWITH="lua$LUA_SUFFIX";
       
   177             RUNWITH_SET=yes
       
   178          fi
   175          LUA_INCDIR="/usr/include/lua$LUA_SUFFIX"
   179          LUA_INCDIR="/usr/include/lua$LUA_SUFFIX"
   176          LUA_INCDIR_SET=yes
   180          LUA_INCDIR_SET=yes
   177          CFLAGS="$CFLAGS -ggdb"
   181          CFLAGS="$CFLAGS -ggdb"
   178       fi
   182       fi
   179       if [ "$OSTYPE" = "macosx" ]; then
   183       if [ "$OSTYPE" = "macosx" ]; then