From 60efb8728fecae10aa62482f20b8ab63c1ea310b Mon Sep 17 00:00:00 2001
From: Nedko Arnaudov <nedko@arnaudov.name>
Date: Sat, 15 Oct 2011 20:28:07 +0300
Subject: [PATCH] failed boost headers check should not stop configure anymore

---
 wscript | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/wscript b/wscript
index e83be4b2..7d2225ce 100644
--- a/wscript
+++ b/wscript
@@ -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