# Template file for 'gnome-shell'
pkgname=gnome-shell
version=3.8.0
revision=2
build_style=gnu-configure
configure_args="--disable-schemas-compile --with-systemd"
depends="caribou>=0.4.10 pulseaudio mesa-demos desktop-file-utils"
hostmakedepends="pkg-config intltool gnome-doc-utils gobject-introspection"
makedepends="json-glib-devel>=0.14.0 startup-notification-devel network-manager-applet-devel
 folks-devel gnome-menus-devel>=3.8 gnome-desktop-devel>=3.8
 clutter-devel>=1.14 gnome-bluetooth-devel>=3.8 mutter-devel>=3.8
 gjs-devel telepathy-logger-devel libcanberra-devel polkit-devel libcroco-devel
 pulseaudio-devel libgudev-devel gst-plugins-base1-devel systemd-devel
 caribou-devel>=0.4.10_2"
fulldepends="gir-freedesktop gnome-control-center>=3.8"
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.8/$pkgname-$version.tar.xz"
checksum=ffcf53f6eb848c020c0516ef479b52f7d5b48d1a8a91e89a60c71b0325555d21

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