From 9dadc0de930db3402853e7538b57737e5572e2f8 Mon Sep 17 00:00:00 2001
From: mittorn <mittorn@sibmail.com>
Date: Thu, 4 Oct 2018 12:28:25 +0700
Subject: [PATCH] Make vgui build dependence optional as it does not have
 opensource license

---
 vgui_support/wscript | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/vgui_support/wscript b/vgui_support/wscript
index ed2b8b9c..21f12af4 100644
--- a/vgui_support/wscript
+++ b/vgui_support/wscript
@@ -11,12 +11,16 @@ def options(opt):
 	opt.add_option(
 		'--vgui', action = 'store', type='string', dest = 'VGUI_DEV',
 		help = 'path to vgui-dev repo', default='' )
+	opt.add_option(
+		'--no-vgui', action = 'store_true', dest = 'NO_VGUI',
+		help = 'disable vgui_support', default=False )
 
 	# stub
 	return
 
 def configure(conf):
-	if conf.options.DEDICATED:
+	conf.env.NO_VGUI = conf.options.NO_VGUI
+	if conf.options.DEDICATED or conf.options.NO_VGUI:
 		return
 
 	conf.start_msg('Checking for VGUI')
@@ -52,7 +56,7 @@ def build(bld):
 	bld.load_envs()
 	bld.env = bld.all_envs[get_subproject_name(bld)]
 
-	if bld.env.DEDICATED:
+	if bld.env.DEDICATED or bld.env.NO_VGUI:
 		return
 
 	# basic build: dedicated only, no dependencies