diff options
Diffstat (limited to 'src/gui')
| -rw-r--r-- | src/gui/wscript | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/src/gui/wscript b/src/gui/wscript index c62f98a3..21731c88 100644 --- a/src/gui/wscript +++ b/src/gui/wscript @@ -1,6 +1,21 @@ #!/usr/bin/env python -from waflib.extras import autowaf as autowaf +import waflib.extras.autowaf as autowaf import waflib.Utils as Utils +import waflib.Options as Options + +def configure(conf): + autowaf.check_pkg(conf, 'gtkmm-2.4', uselib_store='GTKMM', + atleast_version='2.12.0', mandatory=False) + autowaf.check_pkg(conf, 'gtkmm-2.4', uselib_store='NEW_GTKMM', + atleast_version='2.14.0', mandatory=False) + autowaf.check_pkg(conf, 'ganv-1', uselib_store='GANV', + atleast_version='1.2.3', mandatory=False) + if not Options.options.no_webkit: + autowaf.check_pkg(conf, 'webkit-1.0', uselib_store='WEBKIT', + atleast_version='1.4.0', mandatory=False) + + if conf.env.HAVE_GANV and conf.env.HAVE_GTKMM: + autowaf.define(conf, 'INGEN_BUILD_GUI', 1) def build(bld): obj = bld(features = 'cxx cxxshlib', |