Update Makefile for _CoqProject generation

Author: Ailrun

theories/_CoqProject

@@ -2,4 +2,14 @@
 
 -arg -w -arg -notation-overridden
 
-.
+./CtxEqLemmas.v
+./CtxEquiv.v
+./Elaborator.v
+./LibTactics.v
+./Parser.v
+./ParserExtraction.v
+./Presup.v
+./PresupLemmas.v
+./Relations.v
+./Syntax.v
+./System.v

theories/makefile

@@ -1,4 +1,7 @@
+empty :=
+space := $(empty) $(empty)
 COQMAKEFILE := makefile.coq
+COQFILES := $(sort $(wildcard ./*.v) $(patsubst %.vy,%.v,$(wildcard ./*.vy)))
 
 .PHONY: all
 all: $(COQMAKEFILE)
@@ -13,4 +16,12 @@ Parser.v: Parser.vy
 	menhir --coq "$?"
 
 $(COQMAKEFILE): _CoqProject
-	coq_makefile -f "$?" -o "$@"
+	coq_makefile -f _CoqProject -o "$@"
+
+.PHONY: update_CoqProject
+update_CoqProject:
+	(echo "-Q . Mcltt"; \
+        echo ""; \
+        echo "-arg -w -arg -notation-overridden"; \
+        echo ""; \
+        echo -e "$(subst $(space),\n,$(COQFILES))") > _CoqProject