diff options
Diffstat (limited to 'make')
| -rw-r--r-- | make/Makefile | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/make/Makefile b/make/Makefile index 2bb1e1e..52a7a7d 100644 --- a/make/Makefile +++ b/make/Makefile @@ -1,8 +1,9 @@ TESTS = tests/types.mk tests/reader.mk tests/step9_interop.mk -SOURCES = util.mk readline.mk gmsl.mk types.mk reader.mk printer.mk \ - env.mk core.mk stepA_more.mk +SOURCES_BASE = util.mk readline.mk gmsl.mk types.mk reader.mk printer.mk +SOURCES_LISP = env.mk core.mk stepA_more.mk +SOURCES = $(SOURCES_BASE) $(SOURCES_LISP) mal.mk: $(SOURCES) echo "#!/usr/bin/make -f" > $@ @@ -16,6 +17,8 @@ clean: stats: $(SOURCES) @wc $^ +stats-lisp: $(SOURCES_LISP) + @wc $^ tests: $(TESTS) |