src/core/wscript
changeset 3425 c69779f5e51e
parent 3402 39f44473e4cb
child 3556 1c401259af61
--- a/src/core/wscript	Mon Jul 14 11:35:58 2008 +0100
+++ b/src/core/wscript	Tue Jul 15 15:59:57 2008 -0700
@@ -21,9 +21,14 @@
     e.define = 'HAVE_SIGNAL_H'
     e.run()
 
-    conf.write_config_header('ns3/core-config.h')
+    e = conf.create_library_configurator()
+    e.mandatory = False
+    e.name = 'rt'
+    e.define = 'HAVE_RT'
+    e.uselib = 'RT'
+    e.run()
 
-
+    conf.write_config_header('ns3/core-config.h')
 
 def build(bld):
     core = bld.create_ns3_module('core')
@@ -60,6 +65,7 @@
         'trace-source-accessor.cc',
         'config.cc',
         ]
+    core.uselib = 'RT'
 
     if sys.platform == 'win32':
         core.source.extend([
@@ -67,12 +73,18 @@
             ])
     else:
         core.source.extend([
+            'unix-system-thread.cc',
+            'unix-system-mutex.cc',
+            'unix-system-condition.cc',
             'unix-system-wall-clock-ms.cc',
             ])
     
     headers = bld.create_obj('ns3header')
     headers.module = 'core'
     headers.source = [
+        'system-mutex.h',
+        'system-thread.h',
+        'system-condition.h',
         'system-wall-clock-ms.h',
         'empty.h',
         'callback.h',