2013-07-28 05:12:48 +02:00
|
|
|
# Template file for 'devhelp'
|
|
|
|
pkgname=devhelp
|
2015-03-24 11:03:24 +01:00
|
|
|
version=3.16.0
|
2014-03-27 18:00:45 +01:00
|
|
|
revision=1
|
2013-07-28 05:12:48 +02:00
|
|
|
build_style=gnu-configure
|
2015-01-13 19:25:09 +01:00
|
|
|
hostmakedepends="pkg-config intltool glib-devel"
|
2015-03-27 10:50:40 +01:00
|
|
|
makedepends="webkitgtk-devel"
|
2013-07-28 05:12:48 +02:00
|
|
|
short_desc="API documentation browser for GTK+ and GNOME"
|
2015-04-10 09:16:30 +02:00
|
|
|
maintainer="Juan RP <xtraeme@voidlinux.eu>"
|
2013-07-28 05:12:48 +02:00
|
|
|
license="GPL-2"
|
|
|
|
homepage="https://wiki.gnome.org/devhelp"
|
2013-09-26 23:00:47 +02:00
|
|
|
distfiles="${GNOME_SITE}/${pkgname}/${version%.*}/${pkgname}-${version}.tar.xz"
|
2015-03-24 11:03:24 +01:00
|
|
|
checksum=5ea5e14a39fdc611f8d4d2782e2953657961c5b761a9b715efbfba6a5e8b9958
|
2013-07-28 05:12:48 +02:00
|
|
|
|
|
|
|
devhelp-devel_package() {
|
2015-01-13 19:22:47 +01:00
|
|
|
short_desc+=" - development files"
|
|
|
|
depends="${makedepends} devhelp-libs>=${version}_${revision}"
|
2013-07-28 05:12:48 +02:00
|
|
|
pkg_install() {
|
|
|
|
vmove usr/include
|
|
|
|
vmove usr/lib/pkgconfig
|
2013-07-28 08:36:50 +02:00
|
|
|
vmove "usr/lib/*.so"
|
2013-07-28 05:12:48 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
devhelp-libs_package() {
|
2015-01-13 19:22:47 +01:00
|
|
|
short_desc+=" - runtime library"
|
2013-07-28 05:12:48 +02:00
|
|
|
pkg_install() {
|
2013-07-28 08:36:50 +02:00
|
|
|
vmove "usr/lib/libdevhelp*.so.*"
|
2013-07-28 05:12:48 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
devhelp-gedit-plugin_package() {
|
2013-09-26 23:00:47 +02:00
|
|
|
short_desc+=" - gedit plugin"
|
2013-07-28 05:12:48 +02:00
|
|
|
depends="devhelp gedit python"
|
|
|
|
pkg_install() {
|
|
|
|
vmove usr/lib/gedit
|
|
|
|
}
|
|
|
|
}
|