diff options
Diffstat (limited to 'src/gui/wscript')
| -rw-r--r-- | src/gui/wscript | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/gui/wscript b/src/gui/wscript index 21731c88..3f106dcc 100644 --- a/src/gui/wscript +++ b/src/gui/wscript @@ -9,7 +9,7 @@ def configure(conf): 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) + atleast_version='1.5.0', 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) |