diff options
author | piernov <piernov@piernov.servegame.org> | 2011-07-23 00:25:03 +0200 |
---|---|---|
committer | piernov <piernov@piernov.servegame.org> | 2011-07-23 00:25:03 +0200 |
commit | 457ba45f1f7d291d5881f18786b6a876573a8320 (patch) | |
tree | 0cb3caa3241b510b8a377f683aaa559342424471 /gedit-plugins/Pkgfile | |
download | gnome3-457ba45f1f7d291d5881f18786b6a876573a8320.tar.gz gnome3-457ba45f1f7d291d5881f18786b6a876573a8320.tar.bz2 gnome3-457ba45f1f7d291d5881f18786b6a876573a8320.tar.xz gnome3-457ba45f1f7d291d5881f18786b6a876573a8320.zip |
Création du dépôt
Diffstat (limited to 'gedit-plugins/Pkgfile')
-rw-r--r-- | gedit-plugins/Pkgfile | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/gedit-plugins/Pkgfile b/gedit-plugins/Pkgfile new file mode 100644 index 0000000..e344f5f --- /dev/null +++ b/gedit-plugins/Pkgfile @@ -0,0 +1,23 @@ +# Description: Jeux de plugins pour gedit +# URL: http://live.gnome.org/GeditPlugins +# Maintainer: NuTyX GNOME team +# Packager: zatmania at gotofreedom dot org +# Depends on: gedit, pygtksourceview, gucharmap, vte +# Run on: gedit,pygtksourceview,gucharmap,vte + +name=gedit-plugins +version=3.1.2 +release=1 +source=(http://ftp.gnome.org/pub/GNOME/sources/$name/${version%.*}/$name-$version.tar.xz) + +build() { + cd $name-$version + ./configure \ + --prefix=/usr \ + --with-plugins=all \ + --disable-schemas-install \ + --sysconfdir=/etc + make + make DESTDIR=$PKG install +} + |