summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorTim Foley <tfoleyNV@users.noreply.github.com>2019-11-13 13:39:53 -0800
committerGitHub <noreply@github.com>2019-11-13 13:39:53 -0800
commit57cedf609a8a712e0087581db2ad9b2fa4a4b40e (patch)
tree2edfce84affadf62fe65e1538b759e7af8b5985f
parent9604118401f185c0e1a213b8e99dad060c6263bc (diff)
Add a premake flag to control whether glslang is built from source (#1122)
This change adds the flag, but doesn't wire it up to anything. The idea is to allow us to modify CI build scripts to use the flag in cases where it will be needed, so that we can later on disable building glslang from source by default, without an intermediate step where CI is broken.
-rw-r--r--premake5.lua8
1 files changed, 8 insertions, 0 deletions
diff --git a/premake5.lua b/premake5.lua
index 862d42662..05a249a97 100644
--- a/premake5.lua
+++ b/premake5.lua
@@ -76,6 +76,14 @@ newoption {
allowed = { {"cygwin"}, {"mingw"} }
}
+newoption {
+ trigger = "build-glslang",
+ description = "(Optional) If true glslang and spirv-opt will be built",
+ value = "bool",
+ default = "false",
+ allowed = { { "true", "True"}, { "false", "False" } }
+}
+
buildLocation = _OPTIONS["build-location"]
executeBinary = (_OPTIONS["execute-binary"] == "true")
targetDetail = _OPTIONS["target-detail"]