lua.dockerfile 967 B

12345678910111213141516171819202122232425
  1. FROM tfb/base:latest
  2. ENV LUA_VERSION="5.1"
  3. ENV LUA_MICRO="5"
  4. RUN apt install -yqq libreadline-dev lib32ncurses5-dev
  5. RUN wget https://github.com/LuaDist/lua/archive/$LUA_VERSION.$LUA_MICRO.tar.gz
  6. RUN tar xf $LUA_VERSION.$LUA_MICRO.tar.gz
  7. ENV LUA_HOME=/lua-$LUA_VERSION.$LUA_MICRO
  8. RUN cd $LUA_HOME && \
  9. cp src/luaconf.h.orig src/luaconf.h && \
  10. make linux && \
  11. cd src && \
  12. mkdir ../bin ../include ../lib && \
  13. install -p -m 0755 lua luac ../bin && \
  14. install -p -m 0644 lua.h luaconf.h lualib.h lauxlib.h ../include && \
  15. install -p -m 0644 liblua.a ../lib
  16. ENV LUA=/lua${LUA_VERSION}.${LUA_MICRO}
  17. ENV PATH=${LUA_HOME}/bin:${PATH}
  18. ENV LUA_PATH="./?.lua;./?.lc;$LUA_HOME/share/lua/5.1/?/init.lua;$LUA_HOME/share/lua/5.1/?.lua;$LUA_HOME/lib/lua/5.1/?/init.lua;$LUA_HOME/lib/lua/5.1/?.lua"
  19. ENV LUA_CPATH="./?.lua;./?.lc;$LUA_HOME/share/lua/5.1/?/init.so;$LUA_HOME/share/lua/5.1/?.so;$LUA_HOME/lib/lua/5.1/?/init.so;$LUA_HOME/lib/lua/5.1/?.so"