diff options
| author | piernov <piernov@piernov.org> | 2011-08-14 12:39:58 +0200 |
|---|---|---|
| committer | piernov <piernov@piernov.org> | 2011-08-14 12:39:58 +0200 |
| commit | eac3589ace7cb8d3e746ee92edbf2952eee7e760 (patch) | |
| tree | 31e02f7551821c30a1384b404d26db7852f92c04 /gnome-shell-extensions/Pkgfile | |
| parent | d3a431bc029cca0a6359da120fd4dd0d64259dd4 (diff) | |
| download | gnome3-eac3589ace7cb8d3e746ee92edbf2952eee7e760.tar.gz gnome3-eac3589ace7cb8d3e746ee92edbf2952eee7e760.tar.bz2 gnome3-eac3589ace7cb8d3e746ee92edbf2952eee7e760.tar.xz gnome3-eac3589ace7cb8d3e746ee92edbf2952eee7e760.zip | |
gnome-shell-extensions 3.1.4-1 ajout port
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 +} |