summaryrefslogtreecommitdiffstatshomepage
path: root/scripts/extlib.lua
diff options
context:
space:
mode:
author Julian Sikorski <belegdol+github@gmail.com>2018-03-18 15:30:55 +0100
committer Vas Crabb <cuavas@users.noreply.github.com>2018-03-27 10:19:22 +1100
commit9a154947d1cb61180eb00bffa919e7921c2d5234 (patch)
treee434fe833f804465a46f5824873666f791eea841 /scripts/extlib.lua
parent4419ff325aa248de92512a25cd9ef36e5bf22183 (diff)
Added possibility of building using system pugixml
Diffstat (limited to 'scripts/extlib.lua')
-rw-r--r--scripts/extlib.lua6
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/extlib.lua b/scripts/extlib.lua
index e3f7168fe38..a1fa4f5eb9d 100644
--- a/scripts/extlib.lua
+++ b/scripts/extlib.lua
@@ -18,6 +18,7 @@ local extlibs = {
utf8proc = { "utf8proc", "3rdparty/utf8proc" },
glm = { "glm", "3rdparty/glm" },
rapidjson = { "rapidjson", "3rdparty/rapidjson/include" },
+ pugixml = { "pugixml", "3rdparty/pugixml/src" },
}
-- system lib options
@@ -81,6 +82,11 @@ newoption {
description = "Use system rapidjson library",
}
+newoption {
+ trigger = "with-system-pugixml",
+ description = "Use system pugixml library",
+}
+
-- build helpers
function ext_lib(lib)
local opt = _OPTIONS["with-system-" .. lib]