summaryrefslogtreecommitdiffstats
path: root/gnome-shell-extensions/Pkgfile
blob: d7481c43f3b6411be0b29b603dcb0f42311d4deb (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
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
}