gedit/Pkgfile


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

# Description: Editeur de texte de gnome
# URL: http://www.gnome.org/
# Maintainer: NuTyX GNOME team
# Packager: thierryn1 at hispeed dot ch
# Depends on: libgnomeui, libgnomeprintui, gtksourceview, pygtk, libpeas, pygobject3
# Run on: rarian,libgnomeui,libgnomeprintui,gtksourceview,pygtk,libpeas,pygobject3

name=gedit
version=3.1.4
release=1
source=(http://download.gnome.org/sources/$name/${version%.*}/$name-$version.tar.xz)

build() {
        cd $name-$version
        ./configure --prefix=/usr \
                    --sysconfdir=/etc \
                    --localstatedir=/var/lib \
                    --disable-gtk-doc \
                    --disable-spell
        make
        make DESTDIR=$PKG install
        rm -rf $PKG/var
        rm -rf $PKG/usr/share/gtk-doc
}