Comparison

configure @ 7608:2306d261ca0a

configure: Respect Lua suffix in Debian preset if already set
author Kim Alvefur <zash@zash.se>
date Fri, 19 Aug 2016 15:30:42 +0200
parent 7607:d17bc0d0748e
child 7609:01df17dc06a4
comparison
equal deleted inserted replaced
7607:d17bc0d0748e 7608:2306d261ca0a
104 ;; 104 ;;
105 --ostype=*) 105 --ostype=*)
106 OSTYPE="$value" 106 OSTYPE="$value"
107 OSTYPE_SET=yes 107 OSTYPE_SET=yes
108 if [ "$OSTYPE" = "debian" ]; then 108 if [ "$OSTYPE" = "debian" ]; then
109 LUA_SUFFIX="5.1"; 109 if [ "$LUA_SUFFIX_SET" != "yes" ]; then
110 LUA_SUFFIX_SET=yes 110 LUA_SUFFIX="5.1";
111 RUNWITH="lua5.1" 111 LUA_SUFFIX_SET=yes
112 LUA_INCDIR=/usr/include/lua5.1; 112 fi
113 RUNWITH="lua$LUA_SUFFIX"
114 LUA_INCDIR="/usr/include/lua$LUA_SUFFIX"
113 LUA_INCDIR_SET=yes 115 LUA_INCDIR_SET=yes
114 CFLAGS="$CFLAGS -D_GNU_SOURCE" 116 CFLAGS="$CFLAGS -D_GNU_SOURCE"
115 fi 117 fi
116 if [ "$OSTYPE" = "macosx" ]; then 118 if [ "$OSTYPE" = "macosx" ]; then
117 LUA_INCDIR=/usr/local/include; 119 LUA_INCDIR=/usr/local/include;