From e6827b29fe19ef1de4b44f26a27820f2e8ecf08e Mon Sep 17 00:00:00 2001
From: Jason Gross <jagro@google.com>
Date: Wed, 6 Jul 2016 12:00:09 -0700
Subject: Fix coqprime clean, install targets, add cleanall

---
 Makefile | 25 +++++++++++++++++++++++--
 1 file changed, 23 insertions(+), 2 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 6378967c8..d4f168d5b 100644
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,10 @@
 MOD_NAME := Crypto
 SRC_DIR  := src
 
-.PHONY: coq clean install coqprime-8.4 coqprime-8.5 coqprime update-_CoqProject
+.PHONY: coq clean update-_CoqProject cleanall install \
+	install-coqprime install-coqprime-8.4 install-coqprime-8.5 \
+	clean-coqprime clean-coqprime-8.4 clean-coqprime-8.5 \
+	coqprime coqprime-8.4 coqprime-8.5
 .DEFAULT_GOAL := coq
 
 VERBOSE = 0
@@ -27,8 +30,12 @@ COQ_VERSION := $(firstword $(subst $(COQ_VERSION_PREFIX),,$(shell $(COQBIN)coqc
 
 ifneq ($(filter 8.4%,$(COQ_VERSION)),) # 8.4
 coqprime: coqprime-8.4
+clean-coqprime: clean-coqprime-8.4
+install-coqprime: install-coqprime-8.4
 else
 coqprime: coqprime-8.5
+clean-coqprime: clean-coqprime-8.5
+install-coqprime: install-coqprime-8.5
 endif
 
 coqprime-8.4:
@@ -37,6 +44,18 @@ coqprime-8.4:
 coqprime-8.5:
 	$(MAKE) -C coqprime
 
+clean-coqprime-8.4:
+	$(MAKE) -C coqprime-8.4 clean
+
+clean-coqprime-8.5:
+	$(MAKE) -C coqprime clean
+
+install-coqprime-8.4:
+	$(MAKE) -C coqprime-8.4 install
+
+install-coqprime-8.5:
+	$(MAKE) -C coqprime install
+
 Makefile.coq: Makefile _CoqProject
 	$(Q)$(COQBIN)coq_makefile -f _CoqProject -o Makefile.coq
 
@@ -44,6 +63,8 @@ clean: Makefile.coq
 	$(MAKE) -f Makefile.coq clean
 	rm -f Makefile.coq
 
+cleanall: clean clean-coqprime
+
 install: coq Makefile.coq
+	$(MAKE) install-coqprime
 	$(MAKE) -f Makefile.coq install
-	$(MAKE) -C coqprime install
-- 
cgit v1.2.3