changeset 1084:f198032757d6

lib/libinput: fix build until sphinx is available
author David Demelier <markand@malikania.fr>
date Wed, 04 Sep 2019 08:54:08 +0200
parents 917674fbedb0
children 5b29ade8fef4
files lib/libinput/libinput.sh
diffstat 1 files changed, 3 insertions(+), 9 deletions(-) [+]
line wrap: on
line diff
--- a/lib/libinput/libinput.sh	Tue Sep 03 13:53:14 2019 +0200
+++ b/lib/libinput/libinput.sh	Wed Sep 04 08:54:08 2019 +0200
@@ -22,22 +22,14 @@
 PKGSUMMARY="library to handle input devices in wayland"
 PKGDOWNLOAD="https://www.freedesktop.org/software/$PKGNAME/$PKGNAME-$PKGVERSION.tar.xz"
 PKGDEPENDS="libevdev mtdev"
-PKGOPTIONS="DOXYGEN WACOM"
+PKGOPTIONS="WACOM"
 
 : ${CC:=clang}
 : ${CFLAGS:=-O2}
 : ${LDFLAGS:=}
 : ${LIBS:=}
-: ${DOXYGEN:=yes}
 : ${WACOM:=yes}
 
-if [ "$DOXYGEN" = "yes" ]; then
-	PKGDEPENDS="doxygen $PKGDEPENDS"
-	with_doxygen="-D documentation=true"
-else
-	with_doxygen="-D documentation=false"
-fi
-
 if [ "$WACOM" = "yes" ]; then
 	PKGDEPENDS="libwacom $PKGDEPENDS"
 	with_wacom="-D libwacom=true"
@@ -51,6 +43,7 @@
 	tar xvf $PKGNAME-$PKGVERSION.tar.xz
 	cd $PKGNAME-$PKGVERSION
 
+	# TODO: -D documentation=false: enable once sphinx is available.
 	CC="$CC" \
 	CFLAGS="$CFLAGS" \
 	LDFLAGS="$LDFLAGS" \
@@ -58,6 +51,7 @@
 		--prefix / \
 		--buildtype release \
 		--default-library shared \
+		-D documentation=false \
 		-D debug-gui=false \
 		-D tests=false \
 		-D libdir=lib \