diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-02-13 12:03:45 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-02-13 12:03:45 +0000 |
commit | f53038c5a4fd3fdab8233e57c84f1dc43dcf9425 (patch) | |
tree | a5d066af53746149c47ed0a33c60c3f7b8dbd6af /Makefile | |
parent | 41513c2568025bda74a9ddf9e90e848cd810525f (diff) | |
download | vericert-kvx-f53038c5a4fd3fdab8233e57c84f1dc43dcf9425.tar.gz vericert-kvx-f53038c5a4fd3fdab8233e57c84f1dc43dcf9425.zip |
Improve the Coq sources and add extraction
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 23 |
1 files changed, 16 insertions, 7 deletions
@@ -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 */*~ *~ |