From ac5eb28d499234c7379adabc7771ab8a509c13f3 Mon Sep 17 00:00:00 2001 From: Christian Dywan Date: Thu, 20 Oct 2011 09:47:11 +0200 Subject: [PATCH] Error out if Vala < 0.13.2, GTK+ 3 and extensions See https://bugs.launchpad.net/midori/+bug/871579 --- wscript | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/wscript b/wscript index 8d66022b..d8abd157 100644 --- a/wscript +++ b/wscript @@ -196,6 +196,15 @@ def configure (conf): includes='/usr/X11R6/include', mandatory=False) conf.check (lib='Xss', libpath='/usr/X11R6/lib', mandatory=False) if option_enabled ('gtk3'): + if option_enabled ('addons') and ( not ( \ + conf.env['VALAC_VERSION'] >= 0 \ + and conf.env['VALAC_VERSION'][1] >= 13 \ + and conf.env['VALAC_VERSION'][2] >= 2)): + Utils.pprint ('RED', 'Vala 0.13.2 or later is required ' \ + 'to build with GTK+ 3 and extensions.\n' \ + 'Pass --disable-addons to build without extensions.\n' \ + 'Pass --disable-gtk3 to build with extensions and GTK+ 2.') + sys.exit (1) check_pkg ('gtk+-3.0', '3.0.0', var='GTK', mandatory=False) check_pkg ('webkitgtk-3.0', '1.1.17', var='WEBKIT', mandatory=False) if not conf.env['HAVE_GTK'] or not conf.env['HAVE_WEBKIT']: -- 2.39.5