changeset 4202:011a9f11de85 draft

configure: make --includedir=/usr/src/foo work
author Roy Marples <roy@marples.name>
date Sun, 07 Jan 2018 13:24:21 +0000
parents 965264ca96bc
children d6627e736ed4
files configure
diffstat 1 files changed, 5 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/configure	Fri Jan 05 19:07:35 2018 +0000
+++ b/configure	Sun Jan 07 13:24:21 2018 +0000
@@ -20,6 +20,7 @@
 HOST=
 HOSTCC=
 TARGET=
+INCLUDEDIR=
 DEBUG=
 FORK=
 STATIC=
@@ -71,6 +72,7 @@
 	--mandir) MANDIR=$var;;
 	--datadir) DATADIR=$var;;
 	--with-ccopts|CFLAGS) CFLAGS=$var;;
+	-I|--includedir) INCLUDEDIR="$INCLUDEDIR${INCLUDEDIR:+ }-I$var";;
 	CC) CC=$var;;
 	CPPFLAGS) CPPFLAGS=$var;;
 	PKG_CONFIG) PKG_CONFIG=$var;;
@@ -307,6 +309,9 @@
 	echo "CPPFLAGS=" >>$CONFIG_MK
 	echo "CPPFLAGS+=	$CPPFLAGS" >>$CONFIG_MK
 fi
+if [ -n "$INCLUDEDIR" ]; then
+	echo "CPPFLAGS+=	$INCLUDEDIR" >>$CONFIG_MK
+fi
 if [ -n "$LDFLAGS" ]; then
 	echo "LDFLAGS=" >>$CONFIG_MK
 	echo "LDFLAGS+=	$LDFLAGS" >>$CONFIG_MK