changeset 3906 | 01acc159ffb1 |
parent 3885 | 006d3dd58939 |
parent 3625 | 30afad8324d5 |
child 3951 | 561a37800333 |
--- a/src/contrib/wscript Sat Jun 14 10:52:10 2008 -0700 +++ b/src/contrib/wscript Tue Oct 28 11:26:58 2008 +0100 @@ -6,7 +6,11 @@ check.uselib = 'GTK_CONFIG_STORE' check.mandatory = False conf.env['ENABLE_GTK_CONFIG_STORE'] = check.run() + conf.report_optional_feature("GtkConfigStore", "GtkConfigStore", + conf.env['ENABLE_GTK_CONFIG_STORE'], + "library 'gtk+-2.0 >= 2.12' not found") + conf.sub_config('stats') def build(bld): module = bld.create_ns3_module('contrib', ['simulator'])