# Template file for 'gnome-shell'
pkgname=gnome-shell
version=3.6.2
revision=1
build_style=gnu-configure
configure_args="--disable-schemas-compile --with-systemd"
depends="caribou pulseaudio mesa-demos desktop-file-utils"
makedepends="pkg-config intltool gnome-doc-utils gobject-introspection
 json-glib-devel>=0.14.0 startup-notification-devel network-manager-applet-devel
 folks-devel gnome-menus-devel>=3.6.0 gnome-desktop-devel>=3.6.0 gcr-devel>=3.6.0
 cogl-devel>=1.12 clutter-devel>=1.12 gnome-bluetooth-devel>=3.6.0 mutter-devel>=3.6.0
 gjs-devel telepathy-logger-devel libcanberra-devel polkit-devel libcroco-devel
 pulseaudio-devel libgnome-keyring-devel>=3.6.0 libgudev-devel
 gst-plugins-base1-devel systemd-devel"
fulldepends="gir-freedesktop"
short_desc="GNOME core user interface"
maintainer="Juan RP <xtraeme@gmail.com>"
homepage="http://live.gnome.org/GnomeShell"
license="GPL-2"
distfiles="${GNOME_SITE}/$pkgname/3.6/$pkgname-$version.tar.xz"
checksum=86cff93ade1bf6a67ebd339c017d567c7dc849ff8b256a3803306f44c24b44f0
long_desc="
 GNOME Shell provides core user interface functions for the GNOME 3 desktop,
 like switching to windows and launching applications. GNOME Shell takes
 advantage of the capabilities of modern graphics hardware and introduces
 innovative user interface concepts to provide a visually attractive and
 easy to use experience."

post_install() {
	rm -rf ${DESTDIR}/usr/share/gtk-doc
}