Update makefile

Beluga-lang · Dec 25, 2023 · 61a8bc9 · 61a8bc9
1 parent c5cbc52
commit 61a8bc9
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/theories/makefile b/theories/makefile
@@ -15,6 +15,9 @@ all: $(COQMAKEFILE)
 
 -include $(COQMAKEFILE)
 
+post-all::
+	mv "$(PARSERBASE)" "$(PARSERFILE)"
+
 clean::
 	rm -f $(PARSERBASE)
 	rm -f $(patsubst %.ml,%.mli,$(PARSERBASE))