diff options
Diffstat (limited to 'miniMAL/Makefile')
| -rw-r--r-- | miniMAL/Makefile | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/miniMAL/Makefile b/miniMAL/Makefile new file mode 100644 index 0000000..9e31c40 --- /dev/null +++ b/miniMAL/Makefile @@ -0,0 +1,12 @@ + +SOURCES_BASE = node_readline.js miniMAL-core.json \ + types.json reader.json printer.json +SOURCES_LISP = env.json core.json stepA_interop.json +SOURCES = $(SOURCES_BASE) $(SOURCES_LISP) + +.PHONY: stats tests $(TESTS) + +stats: $(SOURCES) + @wc $^ +stats-lisp: $(SOURCES_LISP) + @wc $^ |