2017-10-27 20:46:27 +02:00
|
|
|
|
# Tanım: Gedit için eklentiler
|
2017-07-25 22:21:02 +02:00
|
|
|
|
# URL: http://www.gnome.org
|
2017-10-27 20:46:27 +02:00
|
|
|
|
# Paketçi: yasarciv67@gmail.com
|
|
|
|
|
|
# Gerekler: gedit gsettings-desktop-schemas desktop-file-utils gtk-update-icon-cache
|
2017-07-25 22:21:02 +02:00
|
|
|
|
|
|
|
|
|
|
name=gedit-plugins
|
|
|
|
|
|
version=3.22.0
|
|
|
|
|
|
release=1
|
|
|
|
|
|
|
|
|
|
|
|
source=(http://ftp.gnome.org/pub/gnome/sources/$name/${version%.*}/$name-$version.tar.xz)
|
|
|
|
|
|
|
|
|
|
|
|
build() {
|
|
|
|
|
|
cd $name-$version
|
|
|
|
|
|
./configure --prefix=/usr
|
|
|
|
|
|
make
|
|
|
|
|
|
make DESTDIR=$PKG install
|
|
|
|
|
|
}
|
