diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/gui/wscript | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/gui/wscript b/src/gui/wscript index e4d777ad..8e16937d 100644 --- a/src/gui/wscript +++ b/src/gui/wscript @@ -10,16 +10,16 @@ def options(ctx): def configure(conf): autowaf.check_pkg(conf, 'glibmm-2.4', uselib_store='GLIBMM', - atleast_version='2.14.0', mandatory=False) + atleast_version='2.14.0', system=True, mandatory=False) autowaf.check_pkg(conf, 'gthread-2.0', uselib_store='GTHREAD', - atleast_version='2.14.0', mandatory=False) + atleast_version='2.14.0', system=True, mandatory=False) autowaf.check_pkg(conf, 'gtkmm-2.4', uselib_store='GTKMM', - atleast_version='2.14.0', mandatory=False) + atleast_version='2.14.0', system=True, mandatory=False) autowaf.check_pkg(conf, 'ganv-1', uselib_store='GANV', atleast_version='1.5.4', 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) + atleast_version='1.4.0', system=True, mandatory=False) if conf.env.HAVE_GANV and conf.env.HAVE_GTKMM: autowaf.define(conf, 'INGEN_BUILD_GUI', 1) |