From eac3589ace7cb8d3e746ee92edbf2952eee7e760 Mon Sep 17 00:00:00 2001
From: piernov <piernov@piernov.org>
Date: Sun, 14 Aug 2011 12:39:58 +0200
Subject: gnome-shell-extensions 3.1.4-1 ajout port

---
 gnome-shell-extensions/Pkgfile | 36 ++++++++++++++++++++++++++++++++++++
 1 file changed, 36 insertions(+)
 create mode 100644 gnome-shell-extensions/Pkgfile

(limited to 'gnome-shell-extensions/Pkgfile')

diff --git a/gnome-shell-extensions/Pkgfile b/gnome-shell-extensions/Pkgfile
new file mode 100644
index 0000000..d7481c4
--- /dev/null
+++ b/gnome-shell-extensions/Pkgfile
@@ -0,0 +1,36 @@
+# Description: Extensions pour GNOME Shell
+# URL: http://live.gnome.org/GnomeShell/Extensions
+# Maintainer: NuTyX GNOME team
+# Packager: piernov <piernov@piernov.org>
+# Depends on: gnome-shell
+# Run on: gnome-shell
+
+name=gnome-shell-extensions
+version=3.1.4
+release=1
+source=(http://download.gnome.org/sources/$name/${version%.*}/$name-$version.tar.xz)
+
+_extensions=(alternate-tab
+		alternative-status-menu
+		apps-menu
+		auto-move-windows
+		dock
+		drive-menu
+		example
+		gajim
+		native-window-placement
+		places-menu
+		systemMonitor
+		user-theme
+		windowsNavigator
+		workspace-indicator
+		xrandr-indicator)
+
+build() {
+	cd $name-$version
+	./configure --prefix=/usr \
+		--enable-extensions="${_extensions[*]}" \
+		--disable-schemas-compile
+	make
+	make DESTDIR=$PKG install
+}
-- 
cgit v1.2.3-70-g09d2