# Template file for 'gnome-shell'
pkgname=gnome-shell
version=3.10.4
revision=1
build_style=gnu-configure
configure_args="--disable-schemas-compile"
hostmakedepends="pkg-config intltool gnome-doc-utils gobject-introspection"
makedepends="
 evolution-data-server>=3.10 gnome-desktop-devel>=3.10
 json-glib-devel>=0.16.2 startup-notification-devel network-manager-applet-devel
 clutter-devel>=1.16 gnome-bluetooth-devel>=3.10 mutter-devel>=3.10.4
 gjs-devel>=1.38 telepathy-logger-devel libcanberra-devel polkit-devel libcroco-devel
 pulseaudio-devel libgudev-devel gst-plugins-base1-devel>=1:1.2 systemd-devel
 caribou-devel>=0.4.12 gir-freedesktop gnome-control-center-devel>=3.10
 folks-devel>=0.9.5 gnome-menus-devel>=3.8 mutter-wayland-devel glxinfo"
depends="caribou>=0.4.12 pulseaudio glxinfo desktop-file-utils
 gir-freedesktop gnome-control-center>=3.10 mutter>=3.10.4"
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.10/$pkgname-$version.tar.xz"
checksum=e082f6847eedbbc474ffe4bcb3dfe51054eb0e4c5ddab440d39afed78526b726

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