diff options
Diffstat (limited to 'extra')
-rw-r--r-- | extra/gnome-media/PKGBUILD | 38 | ||||
-rw-r--r-- | extra/gnome-media/gnome-media.install | 22 | ||||
-rw-r--r-- | extra/libgnome-media-profiles/PKGBUILD | 39 | ||||
-rw-r--r-- | extra/libgnome-media-profiles/libgnome-media-profiles.install | 17 |
4 files changed, 0 insertions, 116 deletions
diff --git a/extra/gnome-media/PKGBUILD b/extra/gnome-media/PKGBUILD deleted file mode 100644 index d3c017b1c..000000000 --- a/extra/gnome-media/PKGBUILD +++ /dev/null @@ -1,38 +0,0 @@ -# $Id: PKGBUILD 156827 2012-04-23 09:07:01Z ibiru $ -# Maintainer: Jan de Groot <jgc@archlinux.org> - -pkgname=gnome-media -pkgver=3.4.0 -pkgrel=1 -pkgdesc="GNOME Media Tools" -arch=('i686' 'x86_64') -license=('GPL') -depends=('libgnome-media-profiles' 'libcanberra' 'hicolor-icon-theme') -makedepends=('intltool' 'gnome-doc-utils') -url="http://www.gnome.org" -groups=('gnome-extra') -options=('!libtool' '!emptydirs') -install=gnome-media.install -source=(http://ftp.gnome.org/pub/gnome/sources/$pkgname/${pkgver:0:3}/$pkgname-$pkgver.tar.xz) -sha256sums=('a76fac286f24d3836137ddbaab66f05e19eb5fb83cca6e375dbef040765a1d1f') - -build() { - cd $pkgname-$pkgver - - ./configure --prefix=/usr --sysconfdir=/etc \ - --libexecdir=/usr/lib/gnome-media \ - --localstatedir=/var --disable-static \ - --disable-scrollkeeper - make -} - -package() { - cd $pkgname-$pkgver - make GCONF_DISABLE_MAKEFILE_SCHEMA_INSTALL=1 DESTDIR="${pkgdir}" install - - install -m755 -d "${pkgdir}/usr/share/gconf/schemas" - gconf-merge-schema "${pkgdir}/usr/share/gconf/schemas/${pkgbase}.schemas" --domain gnome-media-2.0 ${pkgdir}/etc/gconf/schemas/*.schemas - rm -f ${pkgdir}/etc/gconf/schemas/*.schemas - - rm -rf "${pkgdir}/usr/share/sounds/" -} diff --git a/extra/gnome-media/gnome-media.install b/extra/gnome-media/gnome-media.install deleted file mode 100644 index 97488b6d0..000000000 --- a/extra/gnome-media/gnome-media.install +++ /dev/null @@ -1,22 +0,0 @@ -pkgname=gnome-media - -post_install() { - usr/sbin/gconfpkg --install ${pkgname} - gtk-update-icon-cache -q -t -f /usr/share/icons/hicolor -} - -pre_upgrade() { - pre_remove $1 -} - -post_upgrade() { - post_install $1 -} - -pre_remove() { - usr/sbin/gconfpkg --uninstall ${pkgname} -} - -post_remove() { - gtk-update-icon-cache -q -t -f /usr/share/icons/hicolor -} diff --git a/extra/libgnome-media-profiles/PKGBUILD b/extra/libgnome-media-profiles/PKGBUILD deleted file mode 100644 index 9cb1b849c..000000000 --- a/extra/libgnome-media-profiles/PKGBUILD +++ /dev/null @@ -1,39 +0,0 @@ -# $Id: PKGBUILD 148822 2012-02-05 11:51:50Z ibiru $ -# Maintainer: Ionut Biru <ibiru@archlinux.org> -pkgname=libgnome-media-profiles -pkgver=3.0.0 -pkgrel=3 -pkgdesc="Library for management of audio recording profiles" -arch=(i686 x86_64) -url="http://www.gnome.org" -license=('GPL2') -depends=('gconf' 'gtk3' 'gstreamer0.10-base-plugins') -makedepends=('intltool' 'gnome-doc-utils') -options=('!emptydirs' '!libtool') -install=libgnome-media-profiles.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-scrollkeeper \ - --disable-schemas-install - - sed -i -e 's/ -shared / -Wl,-O1,--as-needed\0 /g' -e 's/ if test "$export_dynamic" = yes && test -n "$export_dynamic_flag_spec"; then/ func_append compile_command " -Wl,-O1,--as-needed"\n func_append finalize_command " -Wl,-O1,--as-needed"\n\0/' libtool - - make -} - -package() { - cd "${srcdir}/${pkgname}-${pkgver}" - - make DESTDIR="${pkgdir}" install - - install -m755 -d "${pkgdir}/usr/share/gconf/schemas" - gconf-merge-schema "${pkgdir}/usr/share/gconf/schemas/${pkgname}.schemas" --domain gnome-audio-profiles "${pkgdir}"/etc/gconf/schemas/*.schemas - rm -f "${pkgdir}"/etc/gconf/schemas/*.schemas -} - -# vim:set ts=2 sw=2 et: diff --git a/extra/libgnome-media-profiles/libgnome-media-profiles.install b/extra/libgnome-media-profiles/libgnome-media-profiles.install deleted file mode 100644 index 22b4c8f12..000000000 --- a/extra/libgnome-media-profiles/libgnome-media-profiles.install +++ /dev/null @@ -1,17 +0,0 @@ -pkgname=libgnome-media-profiles - -post_install(){ - usr/sbin/gconfpkg --install ${pkgname} -} - -pre_upgrade() { - pre_remove $1 -} - -post_upgrade() { - post_install $1 -} - -pre_remove() { - usr/sbin/gconfpkg --uninstall ${pkgname} -} |