From 9d42904e47c50c5ff2306da04993b2a32bc9cd16 Mon Sep 17 00:00:00 2001 From: Joel Martin Date: Thu, 8 Jan 2015 23:25:40 -0600 Subject: Lua: all steps and self-hosting. Also some misc docs/TODO updates. --- lua/Makefile | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 lua/Makefile (limited to 'lua/Makefile') diff --git a/lua/Makefile b/lua/Makefile new file mode 100644 index 0000000..d1498bd --- /dev/null +++ b/lua/Makefile @@ -0,0 +1,26 @@ +TESTS = + +SOURCES_BASE = utils.lua types.lua reader.lua printer.lua +SOURCES_LISP = env.lua core.lua stepA_interop.lua +SOURCES = $(SOURCES_BASE) $(SOURCES_LISP) + +all: libs + +.PHONY: stats tests $(TESTS) + +clean: + rm -f linenoise.so + +stats: $(SOURCES) + @wc $^ +stats-lisp: $(SOURCES_LISP) + @wc $^ + + +.PHONY: libs +libs: linenoise.so + +linenoise.so: + luarocks install --tree=./ linenoise + ln -sf lib/lua/5.1/linenoise.so $@ + -- cgit v1.2.3