Can't find lua-utf8 about nvim-agda

[ashinkarov]

Hi, it seems that this is a version compatibility problem. Nvim uses lua 5.1, so if your system-wide install uses other versions of lua, then surely neovim will fail to locate it. Also, your picture shows all the paths that neovim is searching at. Make sure that the install path of lua-utf8 matches one of the search paths from the picture. However, I would bet that this is a library version problem.

[liamwh]

Using luarocks, you can specify the lua-version to 5.1 like so:

luarocks --lua-version=5.1 install luautf8 --local

Then you can also add your lua paths to neovim like so:

local home = os.getenv("HOME")
package.path = package.path .. ";"
    .. home .. "/.luarocks/share/lua/5.1/?.lua;"
    .. home .. "/.luarocks/share/lua/5.1/?/init.lua;"
package.cpath = package.cpath .. ";"
    .. home .. "/.luarocks/lib/lua/5.1/?.so;"

Does this resolve your issue @WinstonMDP?

[WinstonMDP]

Unfortunately, I no longer use agda. so I can't check. I will close this issue. Thanks for help, anyway.