Re: Ion2 - Can I destroy a workspace?

[Zsolt Udvari]

> luaextl.c:21:17: error: lua.h: No such file or directory
> luaextl.c:22:20: error: lualib.h: No such file or directory
> luaextl.c:23:21: error: lauxlib.h: No such file or directory
Maybe try to install lua-dev.