equal
deleted
inserted
replaced
4 check = conf.create_pkgconfig_configurator() |
4 check = conf.create_pkgconfig_configurator() |
5 check.name = 'gtk+-2.0 >= 2.12' |
5 check.name = 'gtk+-2.0 >= 2.12' |
6 check.uselib = 'GTK_CONFIG_STORE' |
6 check.uselib = 'GTK_CONFIG_STORE' |
7 check.mandatory = False |
7 check.mandatory = False |
8 conf.env['ENABLE_GTK_CONFIG_STORE'] = check.run() |
8 conf.env['ENABLE_GTK_CONFIG_STORE'] = check.run() |
9 |
9 conf.sub_config('stats') |
10 |
10 |
11 def build(bld): |
11 def build(bld): |
12 module = bld.create_ns3_module('contrib', ['simulator']) |
12 module = bld.create_ns3_module('contrib', ['simulator']) |
13 module.source = [ |
13 module.source = [ |
14 'event-garbage-collector.cc', |
14 'event-garbage-collector.cc', |