diff options
author | root <root@rshg054.dnsready.net> | 2013-07-17 00:58:52 -0700 |
---|---|---|
committer | root <root@rshg054.dnsready.net> | 2013-07-17 00:58:52 -0700 |
commit | dee9f17b595ea903a982d31d1124b302bb17e2ff (patch) | |
tree | 295fdab78e28e1952fbc13ce824d57c88ede4e3b /community/libgnome-media-profiles | |
parent | 380530d02a5449fdef97b63b394a6743c3de0092 (diff) |
Wed Jul 17 00:58:51 PDT 2013
Diffstat (limited to 'community/libgnome-media-profiles')
-rw-r--r-- | community/libgnome-media-profiles/PKGBUILD | 34 | ||||
-rw-r--r-- | community/libgnome-media-profiles/libgnome-media-profiles.install | 21 |
2 files changed, 0 insertions, 55 deletions
diff --git a/community/libgnome-media-profiles/PKGBUILD b/community/libgnome-media-profiles/PKGBUILD deleted file mode 100644 index 6fc7c2a8f..000000000 --- a/community/libgnome-media-profiles/PKGBUILD +++ /dev/null @@ -1,34 +0,0 @@ -# $Id: PKGBUILD 87928 2013-04-08 18:08:07Z bgyorgy $ -# Maintainer: Balló György <ballogyor+arch at gmail dot com> -# Contributor: Ionut Biru <ibiru@archlinux.org> - -pkgname=libgnome-media-profiles -pkgver=3.0.0 -pkgrel=4 -pkgdesc="Library for management of audio recording profiles" -arch=('i686' 'x86_64') -url="https://git.gnome.org/browse/libgnome-media-profiles" -license=('GPL2') -depends=('gconf' 'gtk3' 'gstreamer0.10-base-plugins') -makedepends=('intltool' 'gnome-doc-utils') -options=('!libtool') -install=$pkgname.install -source=(http://download.gnome.org/sources/${pkgname}/3.0/${pkgname}-${pkgver}.tar.bz2) -sha256sums=('ab1288e53a8fccca3e8fa59757ef586901e236e09a737a1178eeb8d74428c061') - -build() { - cd "$srcdir/$pkgname-$pkgver" - - ./configure --prefix=/usr --sysconfdir=/etc \ - --disable-static --disable-schemas-install \ - --with-gconf-schema-file-dir=/usr/share/gconf/schemas - make -} - -package() { - cd "$srcdir/$pkgname-$pkgver" - - make DESTDIR="$pkgdir" install -} - -# vim:set ts=2 sw=2 et: diff --git a/community/libgnome-media-profiles/libgnome-media-profiles.install b/community/libgnome-media-profiles/libgnome-media-profiles.install deleted file mode 100644 index 1c2bfeac0..000000000 --- a/community/libgnome-media-profiles/libgnome-media-profiles.install +++ /dev/null @@ -1,21 +0,0 @@ -pkgname=gnome-media-profiles - -post_install(){ - usr/sbin/gconfpkg --install ${pkgname} -} - -pre_upgrade() { - pre_remove $1 -} - -post_upgrade() { - post_install $1 -} - -pre_remove() { - if [ "$(vercmp 3.0.0-4 "$2")" -eq 1 ]; then - usr/sbin/gconfpkg --uninstall libgnome-media-profiles - else - usr/sbin/gconfpkg --uninstall ${pkgname} - fi -} |