[РЕШЕНО]Не могу установить WebKit

Загорелся целью собрать самый свежий gnome. Поставил для этого чистую базовую систему. Все шло хорошо, зависимости успешно удовлетворялись, но вот дошел я до сборки gnome-online-accounts, среди прочего понадобилось установить WebKit. Нужная версия есть в extra, но она тянет за собою gtk3 и прочие прелести более старых версий. Посему я занялся сборкой сабжа. Поскольку на ftp.gnome.org его не оказалась, пошел на сайт webkit и скачал последний билд. Мне удалось его собрать, а вот с установкой не выходит. Выполнялись стандартные команды:
PYTHON=/usr/bin/python2 ./autogen.sh --prefix=/usr
make 
make install
После запуска make install получил:
./Tools/gtk/generate-gtkdoc --rebase --virtual-root=${DESTDIR}
  File "./Tools/gtk/generate-gtkdoc", line 143
    print "Documentation was not generated"
                                          ^
SyntaxError: invalid syntax
make[2]: *** [install-data-local] Ошибка 1
make[2]: Выход из каталога `/home/user/Downloads/WebKit-r109476'
make[1]: *** [install-am] Ошибка 2
make[1]: Выход из каталога `/home/user/Downloads/WebKit-r109476'
make: *** [install] Ошибка 2
Что любопытно, при запуске
python2 '/home/user/Downloads/WebKit-r109476/Tools/gtk/generate-gtkdoc'
все работает без ошибок. Если запустить без python2, вываливается точно такая же ошибка
Решил проблему следующим образом: взял нужную версию из extra, поудалял зависимости из .PKGINFO и установил. Не Unix-way, но проблемы нет :)
 
Зарегистрироваться или войдите чтобы оставить сообщение.