As seen in [1], the loader for this plugin is python3.
[1]
18f3d0d671/plugins/gedit-plugin/devhelp.plugin.desktop.in
40 lines
1.1 KiB
Bash
40 lines
1.1 KiB
Bash
# Template file for 'devhelp'
|
|
pkgname=devhelp
|
|
version=3.38.0
|
|
revision=2
|
|
build_helper="gir"
|
|
build_style=meson
|
|
hostmakedepends="gettext glib-devel itstool pkg-config"
|
|
makedepends="gsettings-desktop-schemas-devel webkit2gtk-devel amtk-devel"
|
|
short_desc="API documentation browser for GTK+ and GNOME"
|
|
maintainer="Enno Boland <gottox@voidlinux.org>"
|
|
license="GPL-2.0-or-later"
|
|
homepage="https://wiki.gnome.org/Apps/Devhelp"
|
|
distfiles="${GNOME_SITE}/${pkgname}/${version%.*}/${pkgname}-${version}.tar.xz"
|
|
checksum=918efb173122b26d45fa51c194a0b659e63fee7705f6722db2534fabc3452369
|
|
|
|
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"
|
|
vmove usr/share/gir-1.0
|
|
}
|
|
}
|
|
|
|
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 python3"
|
|
pkg_install() {
|
|
vmove usr/lib/gedit
|
|
}
|
|
}
|