summaryrefslogtreecommitdiffstatshomepage
path: root/scripts/extlib.lua
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/extlib.lua')
-rw-r--r--scripts/extlib.lua6
1 files changed, 0 insertions, 6 deletions
diff --git a/scripts/extlib.lua b/scripts/extlib.lua
index e4e3b7cce46..3202832e504 100644
--- a/scripts/extlib.lua
+++ b/scripts/extlib.lua
@@ -13,7 +13,6 @@ local extlibs = {
portmidi = { "portmidi", "3rdparty/portmidi/pm_common" },
portaudio = { "portaudio", "3rdparty/portaudio/include" },
lua = { "lua", "3rdparty/lua/src" },
- uv = { "uv" , "3rdparty/libuv/include" },
}
-- system lib options
@@ -52,11 +51,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]