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
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.3
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
}