diff options
author | 2018-03-18 15:30:55 +0100 | |
---|---|---|
committer | 2018-03-27 10:19:22 +1100 | |
commit | 9a154947d1cb61180eb00bffa919e7921c2d5234 (patch) | |
tree | e434fe833f804465a46f5824873666f791eea841 /scripts | |
parent | 4419ff325aa248de92512a25cd9ef36e5bf22183 (diff) |
Added possibility of building using system pugixml
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/extlib.lua | 6 | ||||
-rw-r--r-- | scripts/genie.lua | 10 | ||||
-rw-r--r-- | scripts/src/emu.lua | 1 |
3 files changed, 17 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] diff --git a/scripts/genie.lua b/scripts/genie.lua index ad7018ed5c8..9338567cb54 100644 --- a/scripts/genie.lua +++ b/scripts/genie.lua @@ -671,6 +671,16 @@ if not _OPTIONS["with-system-flac"]~=nil then } end +if not _OPTIONS["with-system-pugixml"] then + defines { + "PUGIXML_HEADER_ONLY", + } +else + links { + ext_lib("pugixml"), + } +end + if _OPTIONS["NOASM"]=="1" then defines { "MAME_NOASM" diff --git a/scripts/src/emu.lua b/scripts/src/emu.lua index 88af75653c8..cc281b6a8c3 100644 --- a/scripts/src/emu.lua +++ b/scripts/src/emu.lua @@ -35,6 +35,7 @@ includedirs { ext_includedir("flac"), ext_includedir("jpeg"), ext_includedir("rapidjson"), + ext_includedir("pugixml"), } files { |