void-packages/srcpkgs/devhelp/template
2018-04-23 22:07:44 +02:00

38 lines
1 KiB
Bash

# Template file for 'devhelp'
pkgname=devhelp
version=3.28.1
revision=1
build_style=gnu-configure
hostmakedepends="glib-devel itstool pkg-config"
makedepends="gsettings-desktop-schemas-devel webkit2gtk-devel"
short_desc="API documentation browser for GTK+ and GNOME"
maintainer="Enno Boland <gottox@voidlinux.eu>"
license="GPL-2.0-or-later"
homepage="https://wiki.gnome.org/devhelp"
distfiles="${GNOME_SITE}/${pkgname}/${version%.*}/${pkgname}-${version}.tar.xz"
checksum=da1ce2c66ba54908c2de5ae6b59255f02b13ca3bf98cf6c198c87c2c7fec4821
devhelp-devel_package() {
short_desc+=" - development files"
depends="gsettings-desktop-schemas-devel webkit2gtk-devel
devhelp-libs>=${version}_${revision}"
pkg_install() {
vmove usr/include
vmove usr/lib/pkgconfig
vmove "usr/lib/*.so"
}
}
devhelp-libs_package() {
short_desc+=" - runtime library"
pkg_install() {
vmove "usr/lib/libdevhelp*.so.*"
}
}
devhelp-gedit-plugin_package() {
short_desc+=" - gedit plugin"
depends="devhelp gedit python"
pkg_install() {
vmove usr/lib/gedit
}
}