diff options
author | 2017-01-25 22:35:24 +0100 | |
---|---|---|
committer | 2017-01-26 09:28:21 +1100 | |
commit | c50ddac28b87c8c7679579951985b7a1b3a50e82 (patch) | |
tree | 33ade5a9dabbf60591745e9f2e49511b345cb11b /scripts | |
parent | 1b65fa41b5a3d37f55131cb6181d6f2ff0f3646c (diff) |
Fixed building using system utf8proc
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/extlib.lua | 6 | ||||
-rw-r--r-- | scripts/src/lib.lua | 1 |
2 files changed, 7 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] diff --git a/scripts/src/lib.lua b/scripts/src/lib.lua index e102ba3cdcc..9c631aebbab 100644 --- a/scripts/src/lib.lua +++ b/scripts/src/lib.lua @@ -22,6 +22,7 @@ project "utils" ext_includedir("expat"), ext_includedir("zlib"), ext_includedir("flac"), + ext_includedir("utf8proc"), } files { |