From 07673cf4d0d98cb69d04483519d0dd6375f07682 Mon Sep 17 00:00:00 2001 From: Juan RP Date: Tue, 5 Jul 2011 13:20:27 +0200 Subject: [PATCH] gnome-shell-extensions: needs gnome-desktop-devel to build. --- srcpkgs/gnome-shell-extensions/template | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/srcpkgs/gnome-shell-extensions/template b/srcpkgs/gnome-shell-extensions/template index 07d9727d295..0249267cf2d 100644 --- a/srcpkgs/gnome-shell-extensions/template +++ b/srcpkgs/gnome-shell-extensions/template @@ -3,7 +3,6 @@ pkgname=gnome-shell-extensions version=3.0.2 distfiles="${GNOME_SITE}/$pkgname/3.0/$pkgname-$version.tar.bz2" build_style=custom-install -configure_args="--disable-schemas-compile --enable-extensions=all" short_desc="GNOME Shell extensions" maintainer="Juan RP " checksum=adb66dd0716ed60fff6cde7eddbac5118237be5d39beb79589beaa23b5de25f1 @@ -17,9 +16,10 @@ ${pkgname}-alternate-tab ${pkgname}-alternative-status-menu ${pkgname}-automove-windows ${pkgname}-dock ${pkgname}-windows-navigator ${pkgname}-user-theme" +Add_dependency run gnome-shell Add_dependency build pkg-config Add_dependency build intltool -Add_dependency full gnome-shell +Add_dependency build gnome-desktop-devel do_build() {