diff options
Diffstat (limited to 'src/gui/wscript')
| -rw-r--r-- | src/gui/wscript | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/gui/wscript b/src/gui/wscript index 3c804d05..160afc03 100644 --- a/src/gui/wscript +++ b/src/gui/wscript @@ -9,6 +9,10 @@ def options(ctx): help='use light coloured theme') def configure(conf): + autowaf.check_pkg(conf, 'glibmm-2.4', uselib_store='GLIBMM', + atleast_version='2.14.0', mandatory=False) + autowaf.check_pkg(conf, 'gthread-2.0', uselib_store='GTHREAD', + atleast_version='2.14.0', mandatory=False) 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', |