From 7f88b1609b6babc5c4fd3aa391c70f3e00de020d Mon Sep 17 00:00:00 2001 From: Nedko Arnaudov Date: Sun, 14 Feb 2021 21:07:44 +0200 Subject: [PATCH] wscript: Fix boost detection and thus re-enable gladish build --- wscript | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/wscript b/wscript index 33581843..59d16c7f 100644 --- a/wscript +++ b/wscript @@ -203,9 +203,10 @@ 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( + conf.check_boost( mandatory = False, errmsg="not found, see http://boost.org/") + build_gui = not not conf.env['BOOST_VERSION'] conf.env['BUILD_GLADISH'] = build_gui