From bc2dd8dc8a53f5af4324d55f1eb13e840dd9d3b6 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sat, 30 Jul 2022 12:23:56 +0100
Subject: Add tangling support to Makefile

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

diff --git a/Makefile b/Makefile
index bb42417..e51f7ff 100644
--- a/Makefile
+++ b/Makefile
@@ -9,13 +9,18 @@ COQMAKE := $(COQBIN)coq_makefile
 
 VS := Main.v
 
-all: Makefile.coq _CoqProject
+all: Makefile.coq _CoqProject $(VS)
 	$(MAKE) -f Makefile.coq
 
+Main.v: main.org
+	@echo "TANGLE" $<
+	@emacs -batch -find-file main.org -funcall org-babel-tangle
+
 Makefile.coq _CoqProject: force
 	@echo "COQMAKE Makefile.coq"
-	$(COQMAKE) $(COQINCLUDES) $(VS) -o Makefile.coq
-	echo "$(COQINCLUDES)" >_CoqProject
+	@$(COQMAKE) $(COQINCLUDES) $(VS) -o Makefile.coq
+	@echo "CREATE _CoqProject"
+	@echo "$(COQINCLUDES)" >_CoqProject
 
 force:
 
-- 
cgit