2011-04-08 09:18:14 +02:00
|
|
|
# Template file for 'libgnome-media-profiles-devel'.
|
|
|
|
|
#
|
2012-05-23 18:26:56 +02:00
|
|
|
depends="pkg-config intltool gnome-doc-utils libgnome-media-profiles"
|
2011-04-08 09:18:14 +02:00
|
|
|
short_desc="${sourcepkg} - development files"
|
|
|
|
|
long_desc="${long_desc}
|
|
|
|
|
|
|
|
|
|
This package contains files for development, headers, static libs, etc."
|
|
|
|
|
|
2011-10-14 22:58:16 +02:00
|
|
|
|
2011-04-08 09:18:14 +02:00
|
|
|
|
|
|
|
|
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
|
|
|
|
|
}
|
