diff options
author | 2016-11-07 16:12:06 +0100 | |
---|---|---|
committer | 2016-11-07 16:12:06 +0100 | |
commit | cf4a8b9e0342e42f5c4e4f38e66b3cd96dd3fcc5 (patch) | |
tree | 1b5db9ba22e47ed67e0bf7f0534334af68d0b613 /scripts/extlib.lua | |
parent | a60731323599ab4d624adba7a73333037670430d (diff) |
resurected sqlite3 and lsqlite3 (nw)
Diffstat (limited to 'scripts/extlib.lua')
-rw-r--r-- | scripts/extlib.lua | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/extlib.lua b/scripts/extlib.lua index 3202832e504..a3949e3447b 100644 --- a/scripts/extlib.lua +++ b/scripts/extlib.lua @@ -10,6 +10,7 @@ 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" }, @@ -37,6 +38,11 @@ newoption { } newoption { + trigger = 'with-system-sqlite3', + description = 'Use system SQLite library', +} + +newoption { trigger = 'with-system-portmidi', description = 'Use system PortMidi library', } |