diff options
Diffstat (limited to 'lua/Makefile')
| -rw-r--r-- | lua/Makefile | 26 |
1 files changed, 26 insertions, 0 deletions
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 $@ + |