src/contrib/wscript
changeset 3063 a1c532e3bf18
parent 2958 f6ec069d17da
child 3085 dd7a6e76c739
--- a/src/contrib/wscript	Sun May 11 21:43:55 2008 -0700
+++ b/src/contrib/wscript	Tue May 13 17:02:52 2008 -0700
@@ -1,11 +1,20 @@
 ## -*- Mode: python; py-indent-offset: 4; indent-tabs-mode: nil; coding: utf-8; -*-
 
+def configure(conf):
+    check = conf.create_pkgconfig_configurator()
+    check.name = 'gtk+-2.0'
+    check.uselib = 'GTK_CONFIG_STORE'
+    check.mandatory = False
+    conf.env['ENABLE_GTK_CONFIG_STORE'] = check.run()
+
+
 def build(bld):
     module = bld.create_ns3_module('contrib', ['simulator'])
     module.source = [
         'event-garbage-collector.cc',
         'gnuplot.cc',
         'delay-jitter-estimation.cc',
+        'attribute-iterator.cc',
         'config-store.cc',
         ]
 
@@ -17,3 +26,8 @@
         'delay-jitter-estimation.h',
         'config-store.h',
         ]
+
+    if bld.env()['ENABLE_GTK_CONFIG_STORE']:
+        headers.source.append ('gtk-config-store.h')
+        module.source.append ('gtk-config-store.cc')
+        module.uselib = 'GTK_CONFIG_STORE'