From cb2ee2d949899a897022894b750afd1f3d2eb478 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Mon, 5 Nov 2018 19:37:11 +0100
Subject: Integrate plugin tutorial after code import

---
 Makefile | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 628ad35ca4..f83f15e888 100644
--- a/Makefile
+++ b/Makefile
@@ -61,7 +61,8 @@ FIND_SKIP_DIRS:='(' \
   -name 'user-contrib' -o \
   -name 'test-suite' -o \
   -name '.opamcache' -o \
-  -name '.coq-native' \
+  -name '.coq-native' -o \
+  -name 'plugin_tutorial' \
 ')' -prune -o
 
 define find
@@ -191,7 +192,7 @@ META.coq: META.coq.in
 # Cleaning
 ###########################################################################
 
-.PHONY: clean cleankeepvo objclean cruftclean indepclean docclean archclean optclean clean-ide mlgclean depclean cleanconfig distclean voclean timingclean alienclean
+.PHONY: clean cleankeepvo objclean cruftclean indepclean docclean archclean optclean plugin-tutorialclean clean-ide mlgclean depclean cleanconfig distclean voclean timingclean alienclean
 
 clean: objclean cruftclean depclean docclean camldevfilesclean gramlibclean
 
@@ -237,7 +238,7 @@ docclean:
 	rm -f doc/coq.tex
 	rm -rf doc/sphinx/_build
 
-archclean: clean-ide optclean voclean
+archclean: clean-ide optclean voclean plugin-tutorialclean
 	rm -rf _build
 	rm -f $(ALLSTDLIB).*
 
@@ -278,6 +279,9 @@ timingclean:
 	  -o -name "time-of-build-before.log" -o -name "time-of-build-after.log" \
 	  -o -name "time-of-build-pretty.log" -o -name "time-of-build-both.log" \) -exec rm -f {} +
 
+plugin-tutorialclean:
+	+$(MAKE) -C $(PLUGINTUTO) clean
+
 # Ensure that every compiled file around has a known source file.
 # This should help preventing weird compilation failures caused by leftover
 # compiled files after deleting or moving some source files.
-- 
cgit v1.2.3