From f53038c5a4fd3fdab8233e57c84f1dc43dcf9425 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 13 Feb 2020 12:03:45 +0000
Subject: Improve the Coq sources and add extraction

---
 Makefile | 23 ++++++++++++++++-------
 1 file changed, 16 insertions(+), 7 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 1302e6e..9ef58ed 100644
--- a/Makefile
+++ b/Makefile
@@ -9,7 +9,7 @@ VS=$(wildcard src/CoqUp/*.v)
 
 all:
 	$(MAKE) coq
-	$(MAKE) extraction
+	$(MAKE) compile
 
 install:
 	$(MAKE) -f Makefile.coq install
@@ -19,15 +19,24 @@ coq: Makefile.coq
 
 extraction: extraction/STAMP
 
+compile: extraction/STAMP
+	@echo "OCaml bin/coqup"
+	@mkdir -p bin
+	@dune build extraction/main.exe
+	@cp _build/default/extraction/main.exe bin/coqup
+
 extraction/STAMP:
-	rm -f extraction/*.ml extraction/*.mli
-	$(COQEXEC) ./extraction/Extraction.v
-	touch $@
+	@echo "COQEXEC ./extraction/Extraction.v"
+	@$(COQEXEC) ./extraction/Extraction.v
+	@touch $@
 
-Makefile.coq: Makefile
-	$(COQBIN)coq_makefile $(COQINCLUDES) $(VS) -o Makefile.coq
+Makefile.coq:
+	@echo "COQMAKE Makefile.coq"
+	@$(COQBIN)coq_makefile $(COQINCLUDES) $(VS) -o Makefile.coq
 
 clean:: Makefile.coq
 	$(MAKE) -f Makefile.coq clean
-	rm -f */*.v.d */*.glob */*.vo */*~ *~
 	rm -f Makefile.coq
+
+clean::
+	rm -f */*.v.d */*.glob */*.vo */*~ *~
-- 
cgit