From dfa959ba30bb5fe3a5878d5c749e1c6ef02476e7 Mon Sep 17 00:00:00 2001
From: tydeu <tydeu@hatpress.net>
Date: Mon, 20 Sep 2021 18:14:50 -0400
Subject: [PATCH] test: add `clean*` targets to Makefile

closes leanprover/lake#13
---
 examples/Makefile | 31 ++++++++++++++++++++++++++++++-
 1 file changed, 30 insertions(+), 1 deletion(-)

diff --git a/examples/Makefile b/examples/Makefile
index 5f45ac85b8..5f4e21d37f 100644
--- a/examples/Makefile
+++ b/examples/Makefile
@@ -4,36 +4,65 @@ all: check-lake test time-bootstrap check-bootstrap test-bootstrapped
 
 test: test-init test-hello test-io test-deps test-git test-ffi test-ffi-dep test-main
 
+clean: clean-init clean-hello clean-io clean-deps clean-git clean-ffi clean-ffi-dep clean-main clean-bootstrap
+
 check-lake:
 	$(LAKE) self-check
 
 test-init:
 	cd init && ./test.sh
 
+clean-init:
+	cd init && ./clean.sh
+
 test-hello:
 	cd hello && ./test.sh
 
+clean-hello:
+	cd hello && ./clean.sh
+
 test-io:
 	cd io && ./test.sh
 
+clean-io:
+	cd io && ./clean.sh
+
 test-deps:
 	cd deps && ./test.sh
 
+clean-deps:
+	cd deps && ./clean.sh
+
 test-git:
 	cd git && ./test.sh
 
+clean-git:
+	cd git && ./clean.sh
+
 test-ffi:
 	cd ffi && ./test.sh
 
+clean-ffi:
+	cd ffi && ./clean.sh
+
 test-ffi-dep:
 	cd ffi-dep && ./test.sh
 
+clean-ffi-dep:
+	cd ffi-dep && ./clean.sh
+
 test-main:
 	cd main && ./test.sh
 
+clean-main:
+	cd main && ./clean.sh
+
 test-bootstrap:
 	cd bootstrap && ./test.sh
 
+clean-bootstrap:
+	cd bootstrap && ./clean.sh
+
 time-bootstrap:
 	cd bootstrap && ./time.sh
 
@@ -45,4 +74,4 @@ test-bootstrapped: test-boostrapped-hello
 test-boostrapped-hello:
 	cd hello && ./bootstrapped-test.sh
 
-.PHONY: all check-lake test time-bootstrap check-bootstrap test-bootstrapped
+.PHONY: all check-lake test clean test-bootstrap time-bootstrap check-bootstrap test-bootstrapped