From b27383a71ac10140e0b5b76426cdd74225f33f64 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Mon, 10 Sep 2018 18:34:57 +0200
Subject: Fix #8358: circular make dependency for camldevfiles

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

diff --git a/Makefile b/Makefile
index 344f2ee972..aa214d18f1 100644
--- a/Makefile
+++ b/Makefile
@@ -177,6 +177,9 @@ Makefile $(wildcard Makefile.*) config/Makefile : ;
 ###########################################################################
 camldevfiles: $(MERLINFILES) META.coq
 
+# prevent submake dependency
+META.coq.in $(MERLININFILES): ;
+
 .merlin: .merlin.in
 	cp -a "$<" "$@"
 
-- 
cgit v1.2.3