# $Id: PKGBUILD 188152 2013-06-10 16:22:47Z heftig $ # Maintainer: Jan de Groot pkgname=gnome-terminal pkgver=3.8.3 pkgrel=1 pkgdesc="The GNOME Terminal Emulator" arch=(i686 x86_64) license=(GPL) depends=(vte3 gsettings-desktop-schemas libsm dconf) makedepends=(gnome-doc-utils intltool itstool docbook-xsl desktop-file-utils python2 gconf) optdepends=('gconf: settings migration when upgrading from older version') options=('!emptydirs' '!libtool') url="http://www.gnome.org" groups=('gnome') install=gnome-terminal.install source=(http://ftp.gnome.org/pub/gnome/sources/$pkgname/${pkgver:0:3}/$pkgname-$pkgver.tar.xz) sha256sums=('b368a9220f9a50fecdb57ba8ce7008c65e3c236bc700325a45ecb806f3ab4651') build() { cd $pkgname-$pkgver ./configure --prefix=/usr --sysconfdir=/etc --localstatedir=/var \ --libexecdir=/usr/lib/$pkgname --disable-static make } check() { cd $pkgname-$pkgver make check } package() { cd $pkgname-$pkgver make DESTDIR="$pkgdir" install }