diff options
Diffstat (limited to 'community/gnome-media/PKGBUILD')
-rw-r--r-- | community/gnome-media/PKGBUILD | 45 |
1 files changed, 0 insertions, 45 deletions
diff --git a/community/gnome-media/PKGBUILD b/community/gnome-media/PKGBUILD deleted file mode 100644 index 2b60a714d..000000000 --- a/community/gnome-media/PKGBUILD +++ /dev/null @@ -1,45 +0,0 @@ -# $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} -} |