2017-10-27 20:46:27 +02:00
|
|
|
|
# Tanım: GNOME için terminal emülatörü
|
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: gsettings-desktop-schemas desktop-file-utils gtk-update-icon-cache dconf gconf gtk2 gnome-doc-utils gsettings-desktop-schemas vte3 nautilus
|
2017-07-25 22:21:02 +02:00
|
|
|
|
|
2017-10-28 14:10:23 +02:00
|
|
|
|
isim=gnome-terminal
|
|
|
|
|
surum=3.22.1
|
|
|
|
|
devir=1
|
2017-07-25 22:21:02 +02:00
|
|
|
|
|
2017-10-28 14:10:23 +02:00
|
|
|
|
kaynak=(http://ftp.gnome.org/pub/gnome/sources/$isim/${surum%.*}/$isim-$surum.tar.xz)
|
2017-07-25 22:21:02 +02:00
|
|
|
|
|
2017-10-27 23:59:41 +02:00
|
|
|
|
derle() {
|
2017-10-28 14:10:23 +02:00
|
|
|
|
cd $isim-$surum
|
2017-07-25 22:21:02 +02:00
|
|
|
|
./configure --prefix=/usr \
|
|
|
|
|
--disable-static \
|
|
|
|
|
--disable-migration \
|
|
|
|
|
--disable-search-provider \
|
|
|
|
|
--without-pcre2 --with-nautilus-extension
|
|
|
|
|
make
|
|
|
|
|
make DESTDIR=$PKG install
|
|
|
|
|
|
|
|
|
|
}
|