summaryrefslogtreecommitdiffstats
path: root/scripts/extlib.lua
diff options
context:
space:
mode:
author Ariane Fugmann <sailorsat@t-online.de>2017-01-26 19:55:37 +0100
committer Ariane Fugmann <sailorsat@t-online.de>2017-01-26 19:55:37 +0100
commitf603c763fe35a81bd3a7f41ab8a53c61c953e2cb (patch)
tree26b3659573426ea0111c3d5203b3eea78e508357 /scripts/extlib.lua
parent4e5f922341d962577d19a62ee4ed21c7de1fc8f0 (diff)
parent4ba1c0f2cad36dc23613e0dec24e7e439d3e80fd (diff)
Merge branch 'master' of https://github.com/mamedev/mame
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 a3949e3447b..674f1b1d881 100644
--- a/scripts/extlib.lua
+++ b/scripts/extlib.lua
@@ -14,6 +14,7 @@ local extlibs = {
portmidi = { "portmidi", "3rdparty/portmidi/pm_common" },
portaudio = { "portaudio", "3rdparty/portaudio/include" },
lua = { "lua", "3rdparty/lua/src" },
+ utf8proc = { "utf8proc", "3rdparty/utf8proc" },
}
-- system lib options
@@ -57,6 +58,11 @@ newoption {
description = "Use system LUA library",
}
+newoption {
+ trigger = "with-system-utf8proc",
+ description = "Use system utf8proc library",
+}
+
-- build helpers
function ext_lib(lib)
local opt = _OPTIONS["with-system-" .. lib]