failed boost headers check should not stop configure anymore

2011-10-15 20:28:07 +03:00 · 2011-10-15 20:28:07 +03:00 · 60efb8728f
parent 17e12e1e84
commit 60efb8728f
1 changed files with 3 additions and 1 deletions
--- a/4
+++ b/4
@ -184,7 +184,9 @@ def configure(conf):
    if build_gui:
        # We need the boost headers package (e.g. libboost-dev)
        # shared_ptr.hpp and weak_ptr.hpp
-        build_gui = conf.check_boost(errmsg="not found, see http://boost.org/")
+        build_gui = conf.check_boost(
+            mandatory = False,
+            errmsg="not found, see http://boost.org/")

    conf.env['BUILD_GLADISH'] = build_gui