changeset 718:08f07e05c4ad

desktop/dconf: add VALA option
author David Demelier <markand@malikania.fr>
date Mon, 05 Aug 2019 12:40:13 +0200
parents 0a8e1630c1a9
children a70abf476771
files desktop/dconf/dconf.sh
diffstat 1 files changed, 10 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/desktop/dconf/dconf.sh	Mon Aug 05 12:39:57 2019 +0200
+++ b/desktop/dconf/dconf.sh	Mon Aug 05 12:40:13 2019 +0200
@@ -22,10 +22,19 @@
 PKGSUMMARY="configuration database system"
 PKGDOWNLOAD="https://download.gnome.org/sources/$PKGNAME/0.32/$PKGNAME-$PKGVERSION.tar.xz"
 PKGDEPENDS="core/bash-completion:build dev/meson:build lib/glib"
+PKGOPTIONS="VALA"
 
 : ${CC:=clang}
 : ${CFLAGS:=-O2}
 : ${LDFLAGS:=}
+: ${VALA:=yes}
+
+if [ "$VALA" = "yes" ]; then
+	PKGDEPENDS="lang/vala $PKGDEPENDS"
+	with_vala="-D vapi=true"
+else
+	with_vala="-D vapi=false"
+fi
 
 build()
 {
@@ -45,6 +54,7 @@
 		--default-library shared \
 		-D man=false \
 		-D gtk_doc=false \
+		$with_vala \
 		. build
 	ninja -C build
 	DESTDIR=$DESTDIR ninja -C build install