void-packages/srcpkgs/devhelp/template

50 lines
1.3 KiB
Text
Raw Normal View History

2013-07-28 03:12:48 +00:00
# Template file for 'devhelp'
pkgname=devhelp
version=3.8.2
revision=2
2013-07-28 03:12:48 +00:00
build_style=gnu-configure
hostmakedepends="pkg-config intltool"
makedepends="glib-devel gtk+3-devel webkitgtk-devel"
2013-07-28 03:12:48 +00:00
short_desc="API documentation browser for GTK+ and GNOME"
maintainer="davehome <davehome@redthumb.info.tm>"
license="GPL-2"
homepage="https://wiki.gnome.org/devhelp"
distfiles="${GNOME_SITE}/${pkgname}/3.8/${pkgname}-${version}.tar.xz"
checksum=a245b53824c6f2ff89245ff807bb2140bde74951ea6f1d759a0fd0c6959ca9f7
long_desc="
Devhelp is an API documentation browser for GTK+ and GNOME. It works natively
with gtk-doc (the API reference framework developed for GTK+ and used
throughout GNOME for API documentation). If you use gtk-doc with your project,
you can use Devhelp to browse the documentation."
devhelp-devel_package() {
short_desc+=" (Development files)"
depends="gtk+3-devel webkitgtk-devel devhelp-libs-${version}_${revision}"
2013-07-28 03:12:48 +00:00
pkg_install() {
vmove usr/include
vmove usr/lib/pkgconfig
vmove "usr/lib/*.so"
2013-07-28 03:12:48 +00:00
}
}
devhelp-libs_package() {
short_desc+=" (Runtime library)"
pkg_install() {
vmove "usr/lib/libdevhelp*.so.*"
2013-07-28 03:12:48 +00:00
}
}
devhelp-gedit-plugin_package() {
short_desc+=" (gedit plugin)"
depends="devhelp gedit python"
pkg_install() {
vmove usr/lib/gedit
}
}
devhelp_package() {
pkg_install() {
vmove usr
}
}