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

# 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
}