2017-10-27 20:46:27 +02:00
|
|
|
|
# Tanım: GNOME için bir pencere yöneticisi
|
2017-07-08 23:18:04 +02:00
|
|
|
|
# URL: http://www.gnome.org/
|
2017-10-27 20:46:27 +02:00
|
|
|
|
# Paketçi: yasarciv67@gmail.com
|
|
|
|
|
|
# Gerekler: libinput clutter gnome-desktop libxkbcommon upower zenity gobject-introspection libcanberra startup-notification gtk-doc
|
2017-07-08 23:18:04 +02:00
|
|
|
|
|
2017-10-28 14:10:23 +02:00
|
|
|
|
isim=mutter
|
|
|
|
|
|
surum=3.22.2
|
|
|
|
|
|
devir=1
|
2017-07-08 23:18:04 +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-08 23:18:04 +02:00
|
|
|
|
|
2017-10-27 23:59:41 +02:00
|
|
|
|
derle() {
|
2017-10-28 14:10:23 +02:00
|
|
|
|
cd $isim-$surum
|
2017-07-08 23:18:04 +02:00
|
|
|
|
./configure --prefix=/usr \
|
|
|
|
|
|
--disable-static \
|
|
|
|
|
|
--enable-gtk-doc \
|
|
|
|
|
|
--disable-wayland \
|
|
|
|
|
|
--enable-compile-warnings=minimum
|
|
|
|
|
|
make
|
|
|
|
|
|
make DESTDIR=$PKG install
|
|
|
|
|
|
}
|
