From 2de2b1d55b02648c34bd025ed147e5c57b43283d Mon Sep 17 00:00:00 2001 From: Juan RP Date: Sat, 13 Apr 2013 07:44:00 +0200 Subject: [PATCH] libgnome-media-profiles: removed; obsolete and orphan. --- srcpkgs/libgnome-media-profiles-devel | 1 - .../libgnome-media-profiles-devel.template | 18 -------------- srcpkgs/libgnome-media-profiles/template | 24 ------------------- 3 files changed, 43 deletions(-) delete mode 120000 srcpkgs/libgnome-media-profiles-devel delete mode 100644 srcpkgs/libgnome-media-profiles/libgnome-media-profiles-devel.template delete mode 100644 srcpkgs/libgnome-media-profiles/template diff --git a/srcpkgs/libgnome-media-profiles-devel b/srcpkgs/libgnome-media-profiles-devel deleted file mode 120000 index 6f773911d6..0000000000 --- a/srcpkgs/libgnome-media-profiles-devel +++ /dev/null @@ -1 +0,0 @@ -libgnome-media-profiles \ No newline at end of file diff --git a/srcpkgs/libgnome-media-profiles/libgnome-media-profiles-devel.template b/srcpkgs/libgnome-media-profiles/libgnome-media-profiles-devel.template deleted file mode 100644 index cea6ac24fb..0000000000 --- a/srcpkgs/libgnome-media-profiles/libgnome-media-profiles-devel.template +++ /dev/null @@ -1,18 +0,0 @@ -# Template file for 'libgnome-media-profiles-devel'. -# -depends="pkg-config intltool gnome-doc-utils libgnome-media-profiles" -short_desc="${sourcepkg} - development files" -long_desc="${long_desc} - - This package contains files for development, headers, static libs, etc." - - - -do_install() -{ - mkdir -p ${DESTDIR}/usr/{lib,share} - mv ${SRCPKGDESTDIR}/usr/include ${DESTDIR}/usr - mv ${SRCPKGDESTDIR}/usr/lib/lib*.a ${DESTDIR}/usr/lib - mv ${SRCPKGDESTDIR}/usr/lib/pkgconfig ${DESTDIR}/usr/lib - #mv ${SRCPKGDESTDIR}/usr/share/{gir*,gtk-doc} ${DESTDIR}/usr/share -} diff --git a/srcpkgs/libgnome-media-profiles/template b/srcpkgs/libgnome-media-profiles/template deleted file mode 100644 index e05865907e..0000000000 --- a/srcpkgs/libgnome-media-profiles/template +++ /dev/null @@ -1,24 +0,0 @@ -# Template file for 'libgnome-media-profiles' -pkgname=libgnome-media-profiles -version=3.0.0 -revision=5 -distfiles="${GNOME_SITE}/$pkgname/3.0/$pkgname-$version.tar.bz2" -build_style=gnu-configure -configure_args="--disable-schemas-install ---disable-scrollkeeper --with-gconf-schema-file-dir=/usr/share/gconf/schemas" -makedepends="which pkg-config intltool gnome-doc-utils gtk+3-devel libxml2-devel GConf-devel gst-plugins-base-devel" -short_desc="GNOME Media Profiles" -homepage="http://gnome.org/" -license="GPL-2" -maintainer="Juan RP " -checksum=ab1288e53a8fccca3e8fa59757ef586901e236e09a737a1178eeb8d74428c061 -long_desc=" - This package contains a Library to manage media profiles." - -subpackages="$pkgname-devel" - -post_install() { - mv ${DESTDIR}/usr/share/gconf/schemas/*.schemas ${wrksrc} - gconf-merge-schema ${DESTDIR}/usr/share/gconf/schemas/gnome-media-profiles.schemas \ - --domain gnome-media-profiles ${wrksrc}/*.schemas -}