Add recipe for computing REPL stats

kgryte · kgryte · commit 06f096d53b2b · 2017-07-05T14:42:36.000-07:00
diff --git a/tools/make/lib/stats/Makefile b/tools/make/lib/stats/Makefile
@@ -2,4 +2,5 @@
 # DEPENDENCIES #
 
 include $(TOOLS_MAKE_LIB_DIR)/stats/git.mk
+include $(TOOLS_MAKE_LIB_DIR)/stats/repl.mk
 
diff --git a/tools/make/lib/stats/repl.mk b/tools/make/lib/stats/repl.mk
@@ -0,0 +1,18 @@
+
+# VARIABLES #
+
+# Define the path to the script for generating REPL language stats:
+REPL_LANG_STATS ?= $(TOOLS_DIR)/scripts/repl_lang_stats
+
+
+# TARGETS #
+
+# Compute REPL language stats.
+#
+# This target computes REPL language statistics.
+
+stats-repl-lang: $(REPL_LANG_STATS)
+	$(QUIET) $(MAKE_EXECUTABLE) $(REPL_LANG_STATS)
+	$(QUIET) $(REPL_LANG_STATS)
+
+.PHONY: stats-repl-lang

Original file line number	Diff line number	Diff line change
`@@ -2,4 +2,5 @@`
`2`	`2`	`# DEPENDENCIES #`
`3`	`3`
`4`	`4`	`include $(TOOLS_MAKE_LIB_DIR)/stats/git.mk`
	`5`	`+include $(TOOLS_MAKE_LIB_DIR)/stats/repl.mk`
`5`	`6`