2011-03-02 10:09:45 +01:00
|
|
|
# Template file for 'gnome-shell'
|
|
|
|
pkgname=gnome-shell
|
2013-02-21 09:17:11 +01:00
|
|
|
version=3.6.3.1
|
2012-10-16 08:55:56 +02:00
|
|
|
revision=1
|
2011-10-24 14:14:47 +02:00
|
|
|
build_style=gnu-configure
|
2012-09-26 02:13:53 +02:00
|
|
|
configure_args="--disable-schemas-compile --with-systemd"
|
2012-05-23 18:26:56 +02:00
|
|
|
depends="caribou pulseaudio mesa-demos desktop-file-utils"
|
2012-07-22 09:13:05 +02:00
|
|
|
makedepends="pkg-config intltool gnome-doc-utils gobject-introspection
|
2012-10-16 08:55:56 +02:00
|
|
|
json-glib-devel>=0.14.0 startup-notification-devel network-manager-applet-devel
|
2013-02-14 05:45:19 +01:00
|
|
|
folks-devel gnome-menus-devel>=3.6.0 gnome-desktop-devel>=3.6.0
|
|
|
|
clutter-devel>=1.12 gnome-bluetooth-devel>=3.6.0 mutter-devel>=3.6.0
|
2012-10-16 08:55:56 +02:00
|
|
|
gjs-devel telepathy-logger-devel libcanberra-devel polkit-devel libcroco-devel
|
2013-02-14 05:45:19 +01:00
|
|
|
pulseaudio-devel libgudev-devel gst-plugins-base1-devel systemd-devel"
|
|
|
|
fulldepends="gir-freedesktop gnome-control-center>=3.6.0"
|
2011-03-02 10:09:45 +01:00
|
|
|
short_desc="GNOME core user interface"
|
|
|
|
maintainer="Juan RP <xtraeme@gmail.com>"
|
2011-09-30 13:54:50 +02:00
|
|
|
homepage="http://live.gnome.org/GnomeShell"
|
|
|
|
license="GPL-2"
|
2012-09-26 02:13:53 +02:00
|
|
|
distfiles="${GNOME_SITE}/$pkgname/3.6/$pkgname-$version.tar.xz"
|
2013-02-21 09:17:11 +01:00
|
|
|
checksum=4e0328d43ac443e7cc0c43bb67895112643952f14cd20fff1109c6cc5849d603
|
2012-09-28 04:40:37 +02:00
|
|
|
|
|
|
|
post_install() {
|
|
|
|
rm -rf ${DESTDIR}/usr/share/gtk-doc
|
|
|
|
}
|