From d04f92103486524953c8e1d5d6e2e5c1d782706c Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Tue, 31 May 2016 20:03:39 +0200 Subject: removed not used libraries, and commented portaudio that will be used but no need for now (nw) --- scripts/extlib.lua | 6 ------ 1 file changed, 6 deletions(-) (limited to 'scripts/extlib.lua') diff --git a/scripts/extlib.lua b/scripts/extlib.lua index 9d60fe1dc2e..e4e3b7cce46 100644 --- a/scripts/extlib.lua +++ b/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" }, @@ -38,11 +37,6 @@ newoption { description = 'Use system FLAC library', } -newoption { - trigger = 'with-system-sqlite3', - description = 'Use system SQLite library', -} - newoption { trigger = 'with-system-portmidi', description = 'Use system PortMidi library', -- cgit v1.2.3-70-g09d2