blob: e344f5fbc501afffe41eed06990bf0c6e4c3edd5 (
plain)
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.2
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
}
|