1 files changed, 16 insertions, 0 deletions
diff --git a/php/Makefile b/php/Makefile
new file mode 100644
index 0000000..e7ea51d
--- /dev/null
+++ b/php/Makefile
@@ -0,0 +1,16 @@
+
+TESTS =
+
+SOURCES = readline.php types.php reader.php printer.php \
+	  env.php core.php stepA_more.php
+
+.PHONY: stats tests $(TESTS)
+
+stats: $(SOURCES)
+	@wc $^
+
+tests: $(TESTS)
+
+$(TESTS):
+	@echo "Running $@"; \
+	php $@ || exit 1; \