From acde39ede27a076020453e2b1c2f294e095d28a4 Mon Sep 17 00:00:00 2001 From: Juan RP Date: Thu, 18 Apr 2013 00:21:04 +0200 Subject: [PATCH] New package: gnome-shell-extensions-3.8.1. --- srcpkgs/gnome-shell-extensions/template | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 srcpkgs/gnome-shell-extensions/template diff --git a/srcpkgs/gnome-shell-extensions/template b/srcpkgs/gnome-shell-extensions/template new file mode 100644 index 00000000000..e0e2391f93c --- /dev/null +++ b/srcpkgs/gnome-shell-extensions/template @@ -0,0 +1,22 @@ +# Template file for 'gnome-shell-extensions' +pkgname=gnome-shell-extensions +version=3.8.1 +revision=1 +build_style=gnu-configure +configure_args="--enable-extensions=all" +hostmakedepends="pkg-config intltool" +makedepends="libglib-devel libgtop-devel gnome-desktop-devel" +short_desc="Extensions for GNOME shell, including classic mode" +maintainer="Juan RP " +homepage="http://live.gnome.org/GnomeShell/Extensions" +license="GPL-2" +distfiles="${GNOME_SITE}/$pkgname/3.8/$pkgname-$version.tar.xz" +checksum=f0c198dd7c185ddf5d20986c698882d39e28837e9fa9230eabd90eb7501c062f + +gnome-shell-extensions_package() { + noarch="yes" + depends="gnome-shell>=${version} nautilus>=${version}" + pkg_install() { + vmove usr + } +}