equal
deleted
inserted
replaced
56 "ENABLE_OPENFLOW", |
56 "ENABLE_OPENFLOW", |
57 "APPNAME", |
57 "APPNAME", |
58 "BUILD_PROFILE", |
58 "BUILD_PROFILE", |
59 "VERSION", |
59 "VERSION", |
60 "PYTHON", |
60 "PYTHON", |
61 "VALGRIND_FOUND", |
|
62 ] |
61 ] |
63 |
62 |
64 NSC_ENABLED = False |
63 NSC_ENABLED = False |
65 ENABLE_REAL_TIME = False |
64 ENABLE_REAL_TIME = False |
66 ENABLE_THREADING = False |
65 ENABLE_THREADING = False |
72 EXAMPLE_DIRECTORIES = [] |
71 EXAMPLE_DIRECTORIES = [] |
73 APPNAME = "" |
72 APPNAME = "" |
74 BUILD_PROFILE = "" |
73 BUILD_PROFILE = "" |
75 VERSION = "" |
74 VERSION = "" |
76 PYTHON = "" |
75 PYTHON = "" |
77 VALGRIND_FOUND = False |
|
78 |
76 |
79 # |
77 # |
80 # This will be given a prefix and a suffix when the waf config file is |
78 # This will be given a prefix and a suffix when the waf config file is |
81 # read. |
79 # read. |
82 # |
80 # |
1766 print '*** Note: ns-3 examples are currently disabled. Enable them by adding' |
1764 print '*** Note: ns-3 examples are currently disabled. Enable them by adding' |
1767 print '*** "--enable-examples" to ./waf configure or modifying your .ns3rc file.' |
1765 print '*** "--enable-examples" to ./waf configure or modifying your .ns3rc file.' |
1768 print |
1766 print |
1769 |
1767 |
1770 # |
1768 # |
1771 # Let the user know if they tried to use valgrind but it was not |
|
1772 # present on their machine. |
|
1773 # |
|
1774 if options.valgrind and not VALGRIND_FOUND: |
|
1775 print |
|
1776 print '*** Note: you are trying to use valgrind, but valgrind could not be found' |
|
1777 print '*** on your machine. All tests and examples will crash or be skipped.' |
|
1778 print |
|
1779 |
|
1780 # |
|
1781 # If we have been asked to retain all of the little temporary files, we |
1769 # If we have been asked to retain all of the little temporary files, we |
1782 # don't delete tm. If we do delete the temporary files, delete only the |
1770 # don't delete tm. If we do delete the temporary files, delete only the |
1783 # directory we just created. We don't want to happily delete any retained |
1771 # directory we just created. We don't want to happily delete any retained |
1784 # directories, which will probably surprise the user. |
1772 # directories, which will probably surprise the user. |
1785 # |
1773 # |