2011-10-25 05:40:22 +02:00
|
|
|
# Template file for 'gnome-media'
|
|
|
|
|
pkgname=gnome-media
|
2012-03-28 14:45:39 +02:00
|
|
|
version=3.4.0
|
2012-03-28 14:49:49 +02:00
|
|
|
revision=1
|
2012-03-28 14:45:39 +02:00
|
|
|
distfiles="${GNOME_SITE}/$pkgname/3.4/$pkgname-$version.tar.xz"
|
2011-10-25 05:40:22 +02:00
|
|
|
build_style=gnu-configure
|
2012-03-28 14:45:39 +02:00
|
|
|
configure_args="--disable-schemas-install
|
|
|
|
|
--with-gconf-schema-file-dir=/usr/share/gconf/schemas"
|
2012-05-23 18:26:56 +02:00
|
|
|
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"
|
2011-10-25 05:40:22 +02:00
|
|
|
short_desc="GNOME Media Tools"
|
|
|
|
|
maintainer="davehome <davehome@redthumb.info.tm>"
|
|
|
|
|
homepage="http://www.gnome.org"
|
|
|
|
|
license="GPL-2"
|
2012-03-28 14:45:39 +02:00
|
|
|
checksum=a76fac286f24d3836137ddbaab66f05e19eb5fb83cca6e375dbef040765a1d1f
|
2011-10-25 05:40:22 +02:00
|
|
|
long_desc="
|
|
|
|
|
The GNOME Media package contains GNOME's media applications."
|
|
|
|
|
|
2012-03-28 14:45:39 +02:00
|
|
|
post_install() {
|
|
|
|
|
mv ${DESTDIR}/usr/share/gconf/schemas/*.schemas ${wrksrc}
|
2012-10-05 18:32:28 +02:00
|
|
|
gconf-merge-schema ${DESTDIR}/usr/share/gconf/schemas/gnome-sound-recorder.schemas \
|
2012-03-28 14:45:39 +02:00
|
|
|
--domain gnome-media ${wrksrc}/*.schemas
|
|
|
|
|
}
|
