jcgruenhage/void-packages
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

gnome-shell-extensions: needs gnome-desktop-devel to build.

Browse source
This commit is contained in:
Juan RP 2011-07-05 13:20:27 +02:00
parent ba6709dc18
commit 07673cf4d0
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
srcpkgs/gnome-shell-extensions/template
View file

@ -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 <xtraeme@gmail.com>"
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()
{