# HG changeset patch
# User David Demelier <markand@malikania.fr>
# Date 1565001613 -7200
# Node ID 08f07e05c4ad1406548e435e6d0129b6a67fb99e
# Parent  0a8e1630c1a9d6bc543ef41ebc04e051b0889948
desktop/dconf: add VALA option

diff -r 0a8e1630c1a9 -r 08f07e05c4ad desktop/dconf/dconf.sh
--- 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