2018-09-03 16:45:50 +02:00
|
|
|
# Template file for 'gedit-plugins'
|
|
|
|
|
pkgname=gedit-plugins
|
2018-09-24 22:29:05 +02:00
|
|
|
version=3.30.1
|
|
|
|
|
revision=1
|
2018-09-03 16:45:50 +02:00
|
|
|
build_style=gnu-configure
|
|
|
|
|
configure_args="--disable-schemas-compile --enable-python --enable-vala
|
|
|
|
|
--enable-zeigeist"
|
2018-09-15 12:53:10 +02:00
|
|
|
pycompile_version="$py3_ver"
|
|
|
|
|
pycompile_dirs="usr/lib/gedit/plugins"
|
2018-09-03 16:45:50 +02:00
|
|
|
hostmakedepends="glib-devel intltool itstool pkg-config vala"
|
|
|
|
|
makedepends="gedit-devel gtksourceview-devel gtk+3-devel gucharmap-devel
|
|
|
|
|
libgit2-glib-devel libglib-devel libpeas-devel python-dbus-devel
|
|
|
|
|
python3-devel vte3-devel zeitgeist-devel"
|
|
|
|
|
short_desc="A set of plugins for Gedit"
|
|
|
|
|
maintainer="Rasmus Thomsen <rasmus.thomsen@protonmail.com>"
|
|
|
|
|
homepage="https://wiki.gnome.org/action/show/Apps/Gedit/PluginsLists"
|
|
|
|
|
license="GPL-2.0-or-later"
|
|
|
|
|
distfiles="${GNOME_SITE}/${pkgname}/${version%.*}/${pkgname}-${version}.tar.xz"
|
2018-09-24 22:29:05 +02:00
|
|
|
checksum=a3c0f823276a2826f9c56df0dc61daac046ea7cba3aa8760a0be84b2fe645471
|
