From acffc5a4dbfb2da073e49a446e101e73831ca9dd Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Tue, 11 Dec 2018 10:02:19 +0100
Subject: [PATCH] [Makefile] for external plugin: to allow completion of
 .merlin file

---
 share/Makefile.dynamic | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/share/Makefile.dynamic b/share/Makefile.dynamic
index b3d8db7e64f..95ae1346a49 100644
--- a/share/Makefile.dynamic
+++ b/share/Makefile.dynamic
@@ -248,9 +248,9 @@ endif # PLUGIN_ENABLE <> no
 ##########
 
 .PHONY: merlin_plugin
-merlin_plugin::
+merlin_plugin:
 #create Merlin file for external plug-in
-	$(PRINT_MAKING) $@
+	$(PRINT_MAKING) .merlin
 	echo "FLG -c $(FLAGS) $(FRAMAC_USER_MERLIN_FLAGS)" > .merlin
 	echo "B $(FRAMAC_LIBDIR)" >> .merlin
 	echo "B $(FRAMAC_LIBDIR)/plugins" >> .merlin
@@ -260,6 +260,12 @@ merlin_plugin::
 	for PKG in $(MERLIN_PACKAGES); do echo PKG $$PKG >> .merlin; done
 	for DIR in $(patsubst %/,%,$(sort $(dir $(PLUGIN_ML_SRC) $(PLUGIN_TESTS_LIB)))); do echo S $$DIR>> .merlin; echo B $$DIR >> .merlin; done
 
+# To allow completion of .merlin file
+.PHONY: merlin
+merlin:: merlin_plugin
+
+.merlin: merlin
+
 ############
 # Cleaning #
 ############
-- 
GitLab