From e4c07cd07d30a243262f19d73f25b6bf3037604a Mon Sep 17 00:00:00 2001 From: Juan RP Date: Thu, 26 Sep 2013 20:46:19 +0200 Subject: [PATCH] gnome-terminal: update to 3.10.0. --- srcpkgs/gnome-terminal/template | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/srcpkgs/gnome-terminal/template b/srcpkgs/gnome-terminal/template index 3bab10e580d..96dde35c83a 100644 --- a/srcpkgs/gnome-terminal/template +++ b/srcpkgs/gnome-terminal/template @@ -1,17 +1,19 @@ # Template file for 'gnome-terminal' pkgname=gnome-terminal -version=3.8.4 +version=3.10.0 revision=1 build_style=gnu-configure +configure_args="--disable-static --with-nautilus-extension" hostmakedepends="which pkg-config intltool itstool gnome-doc-utils" -makedepends="gtk+3-devel>=3.8 vte3-devel dconf-devel libuuid-devel - gsettings-desktop-schemas-devel>=3.8 GConf-devel desktop-file-utils" +makedepends="gtk+3-devel>=3.8 vte3-devel dconf-devel>=0.18 libuuid-devel + gsettings-desktop-schemas-devel>=3.10 nautilus-devel>=3.10 + GConf-devel desktop-file-utils" short_desc="The GNOME terminal emulator application" maintainer="Juan RP " homepage="http://www.gnome.org" license="GPL-2" -distfiles="${GNOME_SITE}/$pkgname/3.8/$pkgname-$version.tar.xz" -checksum=5c1a1db9b4c5eb5780137bed5ed6a05afd82053bd5b2ad41180d4617c56a3f22 +distfiles="${GNOME_SITE}/$pkgname/${version%.*}/$pkgname-$version.tar.xz" +checksum=2f7cc56d39e083eee0419c7d7e9ae43e00dca8bc55bdd31271fb193ec7f63796 gnome-terminal_package() { depends="desktop-file-utils"