debian/midori
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Error out if Vala < 0.13.2, GTK+ 3 and extensions

Browse source 
See https://bugs.launchpad.net/midori/+bug/871579
This commit is contained in:
Christian Dywan 2011-10-20 09:47:11 +02:00
parent b6469de5e6
commit ac5eb28d49
1 changed files with 9 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
wscript
View file

@ -196,6 +196,15 @@ def configure (conf):
includes='/usr/X11R6/include', mandatory=False) includes='/usr/X11R6/include', mandatory=False)
conf.check (lib='Xss', libpath='/usr/X11R6/lib', mandatory=False) conf.check (lib='Xss', libpath='/usr/X11R6/lib', mandatory=False)
if option_enabled ('gtk3'): 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 ('gtk+-3.0', '3.0.0', var='GTK', mandatory=False)
check_pkg ('webkitgtk-3.0', '1.1.17', var='WEBKIT', 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']: if not conf.env['HAVE_GTK'] or not conf.env['HAVE_WEBKIT']: