2011-05-26 09:21:18 +02:00
|
|
|
# Template file for 'gnome-shell-extensions'
|
|
|
|
|
pkgname=gnome-shell-extensions
|
|
|
|
|
version=3.0.2
|
|
|
|
|
distfiles="${GNOME_SITE}/$pkgname/3.0/$pkgname-$version.tar.bz2"
|
|
|
|
|
build_style=custom-install
|
|
|
|
|
short_desc="GNOME Shell extensions"
|
|
|
|
|
maintainer="Juan RP <xtraeme@gmail.com>"
|
|
|
|
|
checksum=adb66dd0716ed60fff6cde7eddbac5118237be5d39beb79589beaa23b5de25f1
|
|
|
|
|
long_desc="
|
|
|
|
|
GNOME Shell Extensions is a collection of extensions providing additional
|
|
|
|
|
and optional functionality to GNOME Shell."
|
|
|
|
|
|
|
|
|
|
noarch=yes
|
|
|
|
|
subpackages="
|
|
|
|
|
${pkgname}-alternate-tab ${pkgname}-alternative-status-menu
|
|
|
|
|
${pkgname}-automove-windows ${pkgname}-dock
|
|
|
|
|
${pkgname}-windows-navigator ${pkgname}-user-theme"
|
|
|
|
|
|
2011-07-05 13:20:27 +02:00
|
|
|
Add_dependency run gnome-shell
|
2011-05-26 09:21:18 +02:00
|
|
|
Add_dependency build pkg-config
|
|
|
|
|
Add_dependency build intltool
|
2011-07-05 13:20:27 +02:00
|
|
|
Add_dependency build gnome-desktop-devel
|
2011-05-26 09:21:18 +02:00
|
|
|
|
|
|
|
|
do_build()
|
|
|
|
|
{
|
|
|
|
|
./configure --prefix=/usr --disable-schemas-compile \
|
|
|
|
|
--enable-extensions=all
|
|
|
|
|
cd po && make
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
do_install()
|
|
|
|
|
{
|
|
|
|
|
cd po && make DESTDIR=${DESTDIR} install
|
|
|
|
|
}
|
