From 9a154947d1cb61180eb00bffa919e7921c2d5234 Mon Sep 17 00:00:00 2001 From: Julian Sikorski Date: Sun, 18 Mar 2018 15:30:55 +0100 Subject: Added possibility of building using system pugixml --- scripts/extlib.lua | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'scripts/extlib.lua') 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] -- cgit v1.2.3-70-g09d2