summaryrefslogtreecommitdiffstatshomepage
path: root/scripts/extlib.lua
diff options
context:
space:
mode:
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]