diff options
Diffstat (limited to 'src/gui')
| -rw-r--r-- | src/gui/wscript | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/gui/wscript b/src/gui/wscript index a483f5a4..b33bd31e 100644 --- a/src/gui/wscript +++ b/src/gui/wscript @@ -1,13 +1,15 @@ #!/usr/bin/env python -import waflib.extras.autowaf as autowaf + import waflib.Utils as Utils import waflib.Options as Options + def options(ctx): opt = ctx.configuration_options() opt.add_option('--light-theme', action='store_true', dest='light_theme', help='use light coloured theme') + def configure(conf): conf.check_pkg('glibmm-2.4 >= 2.14.0', uselib_store='GLIBMM', @@ -36,6 +38,7 @@ def configure(conf): if Options.options.light_theme: conf.define('INGEN_USE_LIGHT_THEME', 1) + def build(bld): obj = bld(features = 'cxx cxxshlib', cflags = ['-fvisibility=hidden'], |