Update Makefile for _CoqProject generation

Beluga-lang · Dec 13, 2023 · 818762e · 818762e
1 parent c8c1734
commit 818762e
Show file tree

Hide file tree

Showing 2 changed files with 23 additions and 2 deletions.
diff --git a/theories/_CoqProject b/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
diff --git a/theories/makefile b/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