diff options
Diffstat (limited to 'gnome-shell-extensions/Pkgfile')
| -rw-r--r-- | gnome-shell-extensions/Pkgfile | 36 |
1 files changed, 36 insertions, 0 deletions
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 +} |