diff options
Diffstat (limited to 'docs/release/scripts/extlib.lua')
-rw-r--r-- | docs/release/scripts/extlib.lua | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/docs/release/scripts/extlib.lua b/docs/release/scripts/extlib.lua index e4e3b7cce46..a3949e3447b 100644 --- a/docs/release/scripts/extlib.lua +++ b/docs/release/scripts/extlib.lua @@ -10,10 +10,10 @@ local extlibs = { zlib = { "z", "3rdparty/zlib" }, jpeg = { "jpeg", "3rdparty/libjpeg" }, flac = { "FLAC", "3rdparty/libflac/include" }, + sqlite3 = { "sqlite3", "3rdparty/sqlite3" }, portmidi = { "portmidi", "3rdparty/portmidi/pm_common" }, portaudio = { "portaudio", "3rdparty/portaudio/include" }, lua = { "lua", "3rdparty/lua/src" }, - uv = { "uv" , "3rdparty/libuv/include" }, } -- system lib options @@ -38,6 +38,11 @@ newoption { } newoption { + trigger = 'with-system-sqlite3', + description = 'Use system SQLite library', +} + +newoption { trigger = 'with-system-portmidi', description = 'Use system PortMidi library', } @@ -52,11 +57,6 @@ newoption { description = "Use system LUA library", } -newoption { - trigger = 'with-system-uv', - description = 'Use system uv library', -} - -- build helpers function ext_lib(lib) local opt = _OPTIONS["with-system-" .. lib] |