From c0f1c161cd53f60f384ec577198c7075ae00e35d Mon Sep 17 00:00:00 2001 From: tnut Date: Thu, 10 Feb 2011 16:08:07 +0100 Subject: gnome, suppression des ports --- gnome/gnome-media/Pkgfile | 23 ----------------------- 1 file changed, 23 deletions(-) delete mode 100644 gnome/gnome-media/Pkgfile (limited to 'gnome/gnome-media/Pkgfile') diff --git a/gnome/gnome-media/Pkgfile b/gnome/gnome-media/Pkgfile deleted file mode 100644 index 712b7fdef..000000000 --- a/gnome/gnome-media/Pkgfile +++ /dev/null @@ -1,23 +0,0 @@ -# Description: Applications multimedias pour gnome -# URL: http://www.gnome.org/ -# Maintainer: NuTyX core team -# Packager: thierryn1 at hispeed dot ch -# Depends on: libcanberra, gstreamer, rarian, esound, libgnomeui, gst-plugins-base, gst-plugins-good, nautilus-cd-burner, alsa-utils -# Run on: libcanberra,gstreamer,rarian,esound,libgnomeui,gst-plugins-base,gst-plugins-good,nautilus-cd-burner,alsa-utils - -name=gnome-media -version=2.30.0 -release=1 -source=(http://ftp.gnome.org/pub/gnome/sources/$name/2.30/$name-$version.tar.bz2) - -build() { - cd $name-$version - ./configure --prefix=$GNOME_PREFIX \ - --sysconfdir=/etc \ - --localstatedir=/var/lib \ - --libexecdir=$GNOME_PREFIX/lib/gnome-media - make - make DESTDIR=$PKG install - rm -rf $PKG/var -} - -- cgit v1.2.3-70-g09d2