src/openflow/wscript
changeset 7494 d93f5e8e0a59
parent 7488 72d0c878f3c7
child 7501 c9eb1416deec
--- a/src/openflow/wscript	Mon Sep 12 19:19:00 2011 +0100
+++ b/src/openflow/wscript	Tue Sep 13 13:47:17 2011 +0100
@@ -2,6 +2,7 @@
 
 import os
 import Options
+from waflib.Errors import WafError
 
 def options(opt):
     opt.add_option('--with-openflow',
@@ -10,17 +11,20 @@
     opt.tool_options('boost', tooldir=["waf-tools"])
 
 def configure(conf):
-    conf.check_tool('boost')
-    conf.env['BOOST'] = conf.check_boost(lib = 'signals filesystem',
-                                         kind = 'STATIC_BOTH',
-                                         score_version = (-1000, 1000),
-                                         tag_minscore = 1000)
-    if not conf.env['BOOST']:
+    try:
+        conf.check_tool('boost')
         conf.env['BOOST'] = conf.check_boost(lib = 'signals filesystem',
-                                            kind = 'STATIC_BOTH',
-                                            score_version = (-1000, 1000),
-                                            tag_minscore = 1000,
-                                            libpath="/usr/lib64")
+                                             kind = 'STATIC_BOTH',
+                                             score_version = (-1000, 1000),
+                                             tag_minscore = 1000)
+        if not conf.env['BOOST']:
+            conf.env['BOOST'] = conf.check_boost(lib = 'signals filesystem',
+                                                kind = 'STATIC_BOTH',
+                                                score_version = (-1000, 1000),
+                                                tag_minscore = 1000,
+                                                libpath="/usr/lib64")
+    except WafError:
+        conf.env['BOOST'] = False
 
     if not conf.env['BOOST']:
 	conf.report_optional_feature("openflow", "NS-3 OpenFlow Integration", False,