diff options
Diffstat (limited to 'gnome/gedit-plugins/Pkgfile')
| -rw-r--r-- | gnome/gedit-plugins/Pkgfile | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/gnome/gedit-plugins/Pkgfile b/gnome/gedit-plugins/Pkgfile new file mode 100644 index 000000000..abdb4f45e --- /dev/null +++ b/gnome/gedit-plugins/Pkgfile @@ -0,0 +1,21 @@ +# Description: Jeux de plugins pour gedit +# URL: http://live.gnome.org/GeditPlugins +# Maintainer: NuTyX core team +# Packager: zatmania at gotofreedom dot org +# Depends on: gedit, pygtksourceview, gucharmap, vte + +name=gedit-plugins +version=2.28.0 +release=1 +source=(http://ftp.gnome.org/pub/GNOME/sources/$name/${version%.*}/$name-$version.tar.bz2) + +build() { + cd $name-$version + ./configure \ + --prefix=$GNOME_PREFIX \ + --with-plugins=all \ + --disable-schemas-install + make + make DESTDIR=$PKG install +} + |