void-packages/srcpkgs/devhelp/template

37 lines
966 B
Bash
Raw Normal View History

2013-07-28 05:12:48 +02:00
# Template file for 'devhelp'
pkgname=devhelp
2015-01-13 19:22:47 +01:00
version=3.14.0
2014-03-27 18:00:45 +01:00
revision=1
2013-07-28 05:12:48 +02:00
build_style=gnu-configure
hostmakedepends="pkg-config intltool glib-devel"
2014-03-27 18:00:45 +01:00
makedepends="webkitgtk-devel>=2.4"
2013-07-28 05:12:48 +02:00
short_desc="API documentation browser for GTK+ and GNOME"
2014-03-27 18:00:45 +01:00
maintainer="Juan RP <xtraeme@gmail.com>"
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-01-13 19:22:47 +01:00
checksum=a78884cf81c1fb18fc8356c62271292591d5ca62c58b045dee30c6fc278e7083
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
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() {
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
}
}