diff options
Diffstat (limited to 'gnome/gedit/Pkgfile')
-rw-r--r-- | gnome/gedit/Pkgfile | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/gnome/gedit/Pkgfile b/gnome/gedit/Pkgfile new file mode 100644 index 000000000..a1f4844d7 --- /dev/null +++ b/gnome/gedit/Pkgfile @@ -0,0 +1,23 @@ +# Description: Editeur de texte de gnome +# URL: http://www.gnome.org/ +# Maintainer: NuTyX core team +# Packager: thierryn1 at hispeed dot ch +# Depends on: libgnomeui, libgnomeprintui, gnome-doc-utils, gtksourceview, pygtk + +name=gedit +version=2.28.0 +release=1 +source=(http://ftp.gnome.org/pub/gnome/sources/$name/2.28/$name-$version.tar.bz2) + +build() { + cd $name-$version + ./configure --prefix=$GNOME_PREFIX \ + --sysconfdir=/etc \ + --localstatedir=/var/lib \ + --disable-spell + make + make DESTDIR=$PKG install + rm -rf $PKG/var + rm -rf $PKG/$GNOME_PREFIX/share/gtk-doc +} + |