From 53dbf909c042add5593344e95428acd2d15b50ec Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Fri, 19 Apr 2019 15:38:03 +0200
Subject: [PATCH] [wp/coq] local coq-ide targets

---
 src/plugins/wp/share/Makefile | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/plugins/wp/share/Makefile b/src/plugins/wp/share/Makefile
index c4adc837f46..6f2822825dd 100644
--- a/src/plugins/wp/share/Makefile
+++ b/src/plugins/wp/share/Makefile
@@ -53,6 +53,10 @@ $(WPLSHARE)/why3/%.vo: $(WPLSHARE)/why3/%.v
 	echo "Coqc         $@"
 	@coqc -w none $(WHY3INCLUDES) $<
 
+$(WPLSHARE)/why3/%.ide: $(WPLSHARE)/why3/%.v
+	echo "Coqide       $@"
+	@coqide $(WHY3INCLUDES) $<
+
 $(WPLSHARE)/why3/.depend: $(addprefix $(WPLSHARE)/, $(WHY3_COQ_SOURCES))
 	echo "Coqdep for $(WPLSHARE)/why3"
 	@coqdep $(WHY3INCLUDES) $(WPLSHARE)/why3/*.v $(WPLSHARE)/why3/**/*.v > $@
@@ -84,6 +88,10 @@ $(WPLSHARE)/coqwp/%.vo: $(WPLSHARE)/coqwp/%.v
 	echo "Coqc         $<"
 	coqc -w none $(COQWPINCLUDES) $<
 
+$(WPLSHARE)/coqwp/%.ide: $(WPLSHARE)/coqwp/%.v
+	echo "Coqide       $<"
+	coqide $(COQWPINCLUDES) $<
+
 $(WPLSHARE)/coqwp/.depend: $(addprefix $(WPLSHARE)/, $(WP_COQ_SOURCES))
 	echo "Coqdep for $(WPLSHARE)/coqwp"
 	@coqdep $(COQWPINCLUDES) $(WPLSHARE)/coqwp/*.v $(WPLSHARE)/coqwp/**/*.v > $@
-- 
GitLab