gnome/gedit-plugins/Pkgfile


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

# 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=2
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 \
	--sysconfdir=/etc
    make
    make DESTDIR=$PKG install
}