diff options
| author | Peter Melnichenko <mpeterval@gmail.com> | 2016-10-14 23:45:15 +0300 |
|---|---|---|
| committer | Peter Melnichenko <mpeterval@gmail.com> | 2016-10-14 23:53:34 +0300 |
| commit | 23043499b9a5423ecbc19e968142df17dc5d15d1 (patch) | |
| tree | 6d7cccaf57194ee2e5054013b2c440732d6819ed /src | |
| parent | 5610025dfdda1f58d9ee201ef2b32e63bd612c6d (diff) | |
| download | luarocks-23043499b9a5423ecbc19e968142df17dc5d15d1.tar.gz luarocks-23043499b9a5423ecbc19e968142df17dc5d15d1.tar.bz2 luarocks-23043499b9a5423ecbc19e968142df17dc5d15d1.zip | |
Relax Lua version detection to support Ravi
Ravi has "Ravi 5.3" as _VERSION. Don't use _VERSION:sub(5) to get Lua
version, match " (5%.[123])$" instead.
Diffstat (limited to 'src')
| -rw-r--r-- | src/luarocks/cfg.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/luarocks/cfg.lua b/src/luarocks/cfg.lua index bcb30342..33176161 100644 --- a/src/luarocks/cfg.lua +++ b/src/luarocks/cfg.lua | |||
| @@ -18,7 +18,7 @@ package.loaded["luarocks.cfg"] = cfg | |||
| 18 | 18 | ||
| 19 | local util = require("luarocks.util") | 19 | local util = require("luarocks.util") |
| 20 | 20 | ||
| 21 | cfg.lua_version = _VERSION:sub(5) | 21 | cfg.lua_version = _VERSION:match(" (5%.[123])$") or "5.1" |
| 22 | local version_suffix = cfg.lua_version:gsub("%.", "_") | 22 | local version_suffix = cfg.lua_version:gsub("%.", "_") |
| 23 | 23 | ||
| 24 | -- Load site-local global configurations | 24 | -- Load site-local global configurations |