summaryrefslogtreecommitdiffstats
path: root/docs/release/scripts/extlib.lua
diff options
context:
space:
mode:
author Robbbert <Robbbert@users.noreply.github.com>2018-04-25 21:58:00 +1000
committer Robbbert <Robbbert@users.noreply.github.com>2018-04-25 21:58:00 +1000
commita821aa4e4c57b444a0b6fc58f51496b6071d893a (patch)
treea034551143eab44e3d4aad9cf5b7dcb4c9a72ce7 /docs/release/scripts/extlib.lua
parent1fc298816d792f0cb7515678bd551f4db7cee838 (diff)
0.197 Release filestag197
Diffstat (limited to 'docs/release/scripts/extlib.lua')
-rw-r--r--docs/release/scripts/extlib.lua6
1 files changed, 6 insertions, 0 deletions
diff --git a/docs/release/scripts/extlib.lua b/docs/release/scripts/extlib.lua
index e3f7168fe38..a1fa4f5eb9d 100644
--- a/docs/release/scripts/extlib.lua
+++ b/docs/release/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]