diff options
author | 2018-04-25 21:58:00 +1000 | |
---|---|---|
committer | 2018-04-25 21:58:00 +1000 | |
commit | a821aa4e4c57b444a0b6fc58f51496b6071d893a (patch) | |
tree | a034551143eab44e3d4aad9cf5b7dcb4c9a72ce7 /docs/release/scripts/extlib.lua | |
parent | 1fc298816d792f0cb7515678bd551f4db7cee838 (diff) |
0.197 Release filestag197
Diffstat (limited to 'docs/release/scripts/extlib.lua')
-rw-r--r-- | docs/release/scripts/extlib.lua | 6 |
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] |