summaryrefslogtreecommitdiffstats
path: root/docs/release/scripts/extlib.lua
diff options
context:
space:
mode:
author Robbbert <Robbbert@users.noreply.github.com>2016-11-30 11:08:19 +1100
committer Robbbert <Robbbert@users.noreply.github.com>2016-11-30 11:08:19 +1100
commit3b4cac12debe8e6d998edb6899908ac6b84a637b (patch)
tree1ad5a12a0f0b75dcfb0776e05f6e3f1c9919d212 /docs/release/scripts/extlib.lua
parent05d642eaca8e1a7ce978e14d11a836513fbf98c8 (diff)
0.180 Release fileshbmame180
Diffstat (limited to 'docs/release/scripts/extlib.lua')
-rw-r--r--docs/release/scripts/extlib.lua12
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]