# Note: depends on itstool
# Note: depends on vte
# Note: depends on GConf
# Note: depends on gsettings-desktop-schemas
# Note: depends on gnome-doc-utils
# Note: depends on libSM
# Note: depends on libICE
# Note: depends on gtk+
# Note: depends on gtk+2 (for the gtk-builder-convert script)
# Note: depends on dconf
# Note: depends on desktop-file-utils
wget -c http://ftp.gnome.org/pub/GNOME/sources/gnome-terminal/3.16/gnome-terminal-3.16.2.tar.xz
tar -xJf gnome-terminal-3.16.2.tar.xz
cd gnome-terminal-3.16.2
mkdir -p build
cd build
../configure --prefix="/usr" --sysconfdir="/etc" APPDATA_VALIDATE=/bin/true  ||  ../configure --prefix="/usr" --sysconfdir="/etc" --without-nautilus-extension --disable-search-provider APPDATA_VALIDATE=/bin/true
make # Doesn't mind -j#
make install