Update makefile to make extraction cleaner

.github/workflows/ci_build.yml

@@ -33,6 +33,7 @@ jobs:
         with:
           ocaml-compiler: ${{ env.OCAML_VER }}
           dune-cache: true
+          cache-prefix: "v2"
       - name: install Menhir and Coq
         run: |
           opam update

theories/Frontend/ParserExtraction.v

@@ -8,5 +8,4 @@ Require Import ExtrOcamlBasic.
 Require Import ExtrOcamlNatInt.
 Require Import ExtrOcamlNativeString.
 
-(* Meant to be run in this directory *)
-Extraction "../driver/parser.ml" Parser.prog.
+Extraction "parser.ml" Parser.prog.

theories/makefile

@@ -2,6 +2,11 @@ empty :=
 space := $(empty) $(empty)
 
 COQMAKEFILE := makefile.coq
+PARSERBASE := parser.ml
+PARSERFILE := ../driver/$(PARSERBASE)
+PARSEREXTRACTIONDIR := Frontend
+PARSEREXTRACTIONCOQFILE := $(PARSEREXTRACTIONDIR)/ParserExtraction.v
+PARSEREXTRACTIONRESULTFILE := $(PARSEREXTRACTIONDIR)/$(PARSERBASE)
 COQPARSERFILE := $(patsubst %.vy,%.v,$(shell find ./ -name '*.vy'))
 COQFILES := $(sort $(shell find ./ -name '*.v') $(COQPARSERFILE))
 
@@ -11,6 +16,12 @@ all: $(COQMAKEFILE)
 -include $(COQMAKEFILE)
 
 clean::
+	rm -f $(PARSERBASE)
+	rm -f $(patsubst %.ml,%.mli,$(PARSERBASE))
+	rm -f $(PARSERFILE)
+	rm -f $(patsubst %.ml,%.mli,$(PARSERFILE))
+	rm -f $(PARSEREXTRACTIONRESULTFILE)
+	rm -f $(patsubst %.ml,%.mli,$(PARSEREXTRACTIONRESULTFILE))
 	rm -f $(COQMAKEFILE)
 	rm -f $(COQMAKEFILE).conf
 
@@ -20,6 +31,10 @@ $(COQPARSERFILE): %.v : %.vy
 $(COQMAKEFILE): _CoqProject
 	coq_makefile -f _CoqProject -o "$@"
 
+$(PARSERFILE): $(PARSEREXTRACTIONCOQFILE)
+	make -B "$(patsubst %.v,%.vo,$?)"
+	mv "$(PARSERBASE)" "$(PARSERFILE)"
+
 .PHONY: update_CoqProject
 update_CoqProject: cleanall
 	(echo "-R . Mcltt"; \