aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ocaml/Makefile8
1 files changed, 7 insertions, 1 deletions
diff --git a/ocaml/Makefile b/ocaml/Makefile
index 72d159a..71c7e6b 100644
--- a/ocaml/Makefile
+++ b/ocaml/Makefile
@@ -28,4 +28,10 @@ $(STEP_BINS): %: %.ml $(MAL_LIB)
clean:
rm -f $(STEP_BINS) mal mal_lib.* *.cmo *.cmx *.cmi *.o
-.PHONY: all repl clean
+stats: $(MODULES) stepA_interop.ml
+ @wc $^
+
+stats-lisp: env.ml core.ml stepA_interop.ml
+ @wc $^
+
+.PHONY: all repl clean stats stats-lisp