diff options
author | sumneko <sumneko@hotmail.com> | 2019-04-10 10:36:03 +0800 |
---|---|---|
committer | sumneko <sumneko@hotmail.com> | 2019-04-10 10:36:03 +0800 |
commit | e5d6ba25f22fa873c30b786b87d6b821f926d3d9 (patch) | |
tree | 7ea63818235d22bc46fc21a4e6034c3198cfcd6d /server | |
parent | 1e07791ab99b76f5f2b01b1ad1d470272cd662ae (diff) | |
download | lua-language-server-e5d6ba25f22fa873c30b786b87d6b821f926d3d9.zip |
给LuaJIT的相关库都加上版本
Diffstat (limited to 'server')
-rw-r--r-- | server/libs/@luaJIT/bit.lni (renamed from server/libs/luaJIT/bit.lni) | 10 | ||||
-rw-r--r-- | server/libs/@luaJIT/ffi.lni (renamed from server/libs/luaJIT/ffi.lni) | 3 | ||||
-rw-r--r-- | server/libs/@luaJIT/jit.lni (renamed from server/libs/@lua/jit.lni) | 7 |
3 files changed, 20 insertions, 0 deletions
diff --git a/server/libs/luaJIT/bit.lni b/server/libs/@luaJIT/bit.lni index f6881983..742d2bc5 100644 --- a/server/libs/luaJIT/bit.lni +++ b/server/libs/@luaJIT/bit.lni @@ -1,8 +1,14 @@ +<default> +version = LuaJIT + [bit] type = table [[.source]] type = library name = bit +`````````` +type = global +name = bit <default> type = function @@ -11,6 +17,10 @@ parent = { type = 'library', name = 'bit', }, + 2 = { + type = 'global', + name = 'bit', + }, } [tobit] diff --git a/server/libs/luaJIT/ffi.lni b/server/libs/@luaJIT/ffi.lni index ac0191a7..567999f3 100644 --- a/server/libs/luaJIT/ffi.lni +++ b/server/libs/@luaJIT/ffi.lni @@ -1,3 +1,6 @@ +<default> +version = LuaJIT + [ffi] type = table [[.source]] diff --git a/server/libs/@lua/jit.lni b/server/libs/@luaJIT/jit.lni index d8e2c7ec..d7c91d11 100644 --- a/server/libs/@lua/jit.lni +++ b/server/libs/@luaJIT/jit.lni @@ -4,6 +4,9 @@ version = LuaJIT [jit] type = table [[.source]] +type = library +name = jit +`````````` type = global name = jit @@ -11,6 +14,10 @@ name = jit type = function parent = { 1 = { + type = 'library', + name = 'jit', + }, + 2 = { type = 'global', name = 'jit', }, |