summaryrefslogtreecommitdiff
path: root/wscript
diff options
context:
space:
mode:
authorCarl Hetherington <cth@carlh.net>2013-02-02 15:17:16 +0000
committerCarl Hetherington <cth@carlh.net>2013-02-02 15:17:16 +0000
commitc94582da47f390ce6d9e4064f7a7ddc3cd3be07b (patch)
tree55dce87bbf44625ebb9b2aaaafbeef359848470a /wscript
parentfad33631d56d1cf92aff6463cd3ceea8eb494149 (diff)
Try to check for boost 1.45 for filesystem::resize_file().
Diffstat (limited to 'wscript')
-rw-r--r--wscript12
1 files changed, 12 insertions, 0 deletions
diff --git a/wscript b/wscript
index a0734d09..76e08ef5 100644
--- a/wscript
+++ b/wscript
@@ -47,6 +47,18 @@ def configure(conf):
conf.env.append_value('CXXFLAGS', '-O2')
conf.check_cxx(fragment = """
+ #include <boost/version.hpp>\n
+ #if BOOST_VERSION < 104500\n
+ #error boost too old\n
+ #endif\n
+ int main(void) { return 0; }\n
+ """,
+ mandatory = True,
+ msg = 'Checking for boost library >= 1.45',
+ okmsg = 'ok',
+ errmsg = 'too old\nPlease install boost version 1.45 or higher.')
+
+ conf.check_cxx(fragment = """
#include <boost/filesystem.hpp>\n
int main() { boost::filesystem::copy_file ("a", "b"); }\n
""",