diff options
Diffstat (limited to 'community/gnome-media/PKGBUILD')
-rw-r--r-- | community/gnome-media/PKGBUILD | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/community/gnome-media/PKGBUILD b/community/gnome-media/PKGBUILD new file mode 100644 index 000000000..2b60a714d --- /dev/null +++ b/community/gnome-media/PKGBUILD @@ -0,0 +1,45 @@ +# $Id: PKGBUILD 87933 2013-04-08 20:25:18Z bgyorgy $ +# Maintainer: Balló György <ballogyor+arch at gmail dot com> +# Contributor: Jan de Groot <jgc@archlinux.org> + +pkgname=gnome-media +pkgver=3.4.0 +pkgrel=2 +pkgdesc="Sound recorder and GStreamer 0.10 configuration tool for GNOME" +arch=('i686' 'x86_64') +license=('GPL') +depends=('libgnome-media-profiles' 'gstreamer0.10-good-plugins' 'hicolor-icon-theme') +makedepends=('intltool' 'gnome-doc-utils') +optdepends=('gstreamer0.10-ugly-plugins: Record sound into mp3 format') +url="https://git.gnome.org/browse/gnome-media" +install=$pkgname.install +source=(http://ftp.gnome.org/pub/gnome/sources/$pkgname/${pkgver:0:3}/$pkgname-$pkgver.tar.xz + grecord-add-PULSEPROPmediarole.patch + grecord-Should-call-gnome-control-center-sound-not.patch + grecord-send-eos-before-we-stop-record.patch) +sha256sums=('a76fac286f24d3836137ddbaab66f05e19eb5fb83cca6e375dbef040765a1d1f' + '7abd86638ccde30232455ea66a7aff244f5c1cc5f3620b85f0215bf4bd07d546' + '6c8af4bf741d702ce3722cc2bfd1b7caa44f142776706157851184fb2bc55e04' + '5feb1e447f9ac575b282b05be9bfc946794635f98f63cf24603f931767ec8f9d') + +build() { + cd "$pkgname-$pkgver" + + # Upstream fixes + patch -Np1 -i "$srcdir/grecord-add-PULSEPROPmediarole.patch" + patch -Np1 -i "$srcdir/grecord-Should-call-gnome-control-center-sound-not.patch" + patch -Np1 -i "$srcdir/grecord-send-eos-before-we-stop-record.patch" + + ./configure --prefix=/usr --sysconfdir=/etc --localstatedir=/var \ + --disable-schemas-install \ + --with-gconf-schema-file-dir=/usr/share/gconf/schemas + make +} + +package() { + cd "$pkgname-$pkgver" + make DESTDIR="$pkgdir" install + + # Sound theme moved to gnome-control-center + rm -rf "$pkgdir"/usr/share/{gnome-media,sounds} +} |