summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xwafbin87347 -> 87638 bytes
-rw-r--r--wscript6
2 files changed, 3 insertions, 3 deletions
diff --git a/waf b/waf
index e7bec8b..686fe2b 100755
--- a/waf
+++ b/waf
Binary files differ
diff --git a/wscript b/wscript
index ab393a1..9a466d4 100644
--- a/wscript
+++ b/wscript
@@ -69,11 +69,11 @@ def configure(conf):
if Options.options.cpp0x:
conf.env.append_value('CXXFLAGS', [ '-std=c++0x' ])
- autowaf.check_header(conf, 'memory', mandatory=True)
+ autowaf.check_header(conf, 'memory')
autowaf.define(conf, 'RAUL_CPP0x', 1)
else:
- autowaf.check_header(conf, 'boost/shared_ptr.hpp', mandatory=True)
- autowaf.check_header(conf, 'boost/weak_ptr.hpp', mandatory=True)
+ autowaf.check_header(conf, 'boost/shared_ptr.hpp')
+ autowaf.check_header(conf, 'boost/weak_ptr.hpp')
conf.write_config_header('raul-config.h', remove=False)