2011-03-02 10:09:45 +01:00
|
|
|
# Template file for 'gnome-shell'
|
|
|
|
pkgname=gnome-shell
|
2013-10-15 21:51:29 +02:00
|
|
|
version=3.10.1
|
2013-10-20 07:39:09 +02:00
|
|
|
revision=2
|
2011-10-24 14:14:47 +02:00
|
|
|
build_style=gnu-configure
|
2013-10-20 07:39:09 +02:00
|
|
|
configure_args="--disable-schemas-compile"
|
2013-03-28 19:34:31 +01:00
|
|
|
hostmakedepends="pkg-config intltool gnome-doc-utils gobject-introspection"
|
2013-09-26 22:31:44 +02:00
|
|
|
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>=${version}
|
|
|
|
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
|
2013-10-20 07:39:09 +02:00
|
|
|
folks-devel>=0.9.5 gnome-menus-devel>=3.8 mutter-wayland-devel glxinfo"
|
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"
|
2013-09-26 22:31:44 +02:00
|
|
|
distfiles="${GNOME_SITE}/$pkgname/3.10/$pkgname-$version.tar.xz"
|
2013-10-15 21:51:29 +02:00
|
|
|
checksum=52f43dcd6df9dd00e5fbcd16a0d7551801cbc77f8777f047e548e7803bb90e02
|
2012-09-28 04:40:37 +02:00
|
|
|
|
|
|
|
post_install() {
|
|
|
|
rm -rf ${DESTDIR}/usr/share/gtk-doc
|
|
|
|
}
|
2013-04-12 15:11:12 +02:00
|
|
|
|
|
|
|
gnome-shell_package() {
|
2013-10-03 16:25:59 +02:00
|
|
|
depends="caribou>=0.4.12 pulseaudio glxinfo desktop-file-utils
|
2013-09-26 22:31:44 +02:00
|
|
|
gir-freedesktop gnome-control-center>=3.10 mutter>=${version}"
|
2013-04-12 15:11:12 +02:00
|
|
|
pkg_install() {
|
2013-05-14 08:09:30 +02:00
|
|
|
vmove all
|
2013-04-12 15:11:12 +02:00
|
|
|
}
|
|
|
|
}
|