mirror of
https://github.com/void-linux/void-packages.git
synced 2025-06-15 19:43:50 +02:00
gnome-media: removed: obsolete in 3.8.
This commit is contained in:
parent
fa922f02c0
commit
7cc560a735
1 changed files with 0 additions and 23 deletions
|
@ -1,23 +0,0 @@
|
||||||
# Template file for 'gnome-media'
|
|
||||||
pkgname=gnome-media
|
|
||||||
version=3.4.0
|
|
||||||
revision=1
|
|
||||||
distfiles="${GNOME_SITE}/$pkgname/3.4/$pkgname-$version.tar.xz"
|
|
||||||
build_style=gnu-configure
|
|
||||||
configure_args="--disable-schemas-install
|
|
||||||
--with-gconf-schema-file-dir=/usr/share/gconf/schemas"
|
|
||||||
depends="hicolor-icon-theme desktop-file-utils"
|
|
||||||
makedepends="which pkg-config intltool gnome-doc-utils GConf-devel gtk+3-devel libgnome-media-profiles-devel gst-plugins-base-devel"
|
|
||||||
short_desc="GNOME Media Tools"
|
|
||||||
maintainer="davehome <davehome@redthumb.info.tm>"
|
|
||||||
homepage="http://www.gnome.org"
|
|
||||||
license="GPL-2"
|
|
||||||
checksum=a76fac286f24d3836137ddbaab66f05e19eb5fb83cca6e375dbef040765a1d1f
|
|
||||||
long_desc="
|
|
||||||
The GNOME Media package contains GNOME's media applications."
|
|
||||||
|
|
||||||
post_install() {
|
|
||||||
mv ${DESTDIR}/usr/share/gconf/schemas/*.schemas ${wrksrc}
|
|
||||||
gconf-merge-schema ${DESTDIR}/usr/share/gconf/schemas/gnome-sound-recorder.schemas \
|
|
||||||
--domain gnome-media ${wrksrc}/*.schemas
|
|
||||||
}
|
|
Loading…
Add table
Reference in a new issue