summaryrefslogtreecommitdiffstats
path: root/docs/release/scripts/extlib.lua
diff options
context:
space:
mode:
author Robbbert <Robbbert@users.noreply.github.com>2016-06-29 20:24:44 +1000
committer Robbbert <Robbbert@users.noreply.github.com>2016-06-29 20:24:44 +1000
commitd464963202d6fac34b687f232a42a1d3353630c2 (patch)
treee4281c2e2b2832b005ca866db5f901f28e507139 /docs/release/scripts/extlib.lua
parentafef8430619718d39dd7906a9342fe3bd06b6225 (diff)
0.175 Release fileshbmame175
Diffstat (limited to 'docs/release/scripts/extlib.lua')
-rw-r--r--docs/release/scripts/extlib.lua6
1 files changed, 0 insertions, 6 deletions
diff --git a/docs/release/scripts/extlib.lua b/docs/release/scripts/extlib.lua
index 9d60fe1dc2e..e4e3b7cce46 100644
--- a/docs/release/scripts/extlib.lua
+++ b/docs/release/scripts/extlib.lua
@@ -10,7 +10,6 @@ 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" },
@@ -39,11 +38,6 @@ newoption {
}
newoption {
- trigger = 'with-system-sqlite3',
- description = 'Use system SQLite library',
-}
-
-newoption {
trigger = 'with-system-portmidi',
description = 'Use system PortMidi library',
}