diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-02-17 18:06:37 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-02-17 18:06:37 +0000 |
| commit | abf33a4075c2008bfcac3b04ad3b4dc1c57a4efd (patch) | |
| tree | 2d9f95f1ae994e3b61aa0d5715673107589aa912 /Makefile | |
| parent | ff40ff40ee967f6fd9206ef8c86426b0ea33cbde (diff) | |
| download | vericert-abf33a4075c2008bfcac3b04ad3b4dc1c57a4efd.tar.gz vericert-abf33a4075c2008bfcac3b04ad3b4dc1c57a4efd.zip | |
Add pretty printing for Verilog integrated with CompCert
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 16 |
1 files changed, 8 insertions, 8 deletions
@@ -3,7 +3,7 @@ COMPCERTRECDIRS=lib common $(ARCHDIRS) backend cfrontend driver flocq exportclig COMPCERTCOQINCLUDES=$(foreach d, $(RECDIRS), -R lib/CompCert/$(d) compcert.$(d)) -COQINCLUDES=-R src/CoqUp CoqUp $(COMPCERTCOQINCLUDES) +COQINCLUDES=-R src/Common CoqUp.Common -R src/Verilog CoqUp.Verilog -R src/Driver CoqUp.Driver -R src/Extraction CoqUp.Extraction $(COMPCERTCOQINCLUDES) COQEXEC=$(COQBIN)coqtop $(COQINCLUDES) -batch -load-vernac-source COQMAKE="$(COQBIN)coq_makefile" @@ -24,17 +24,17 @@ install: coq: Makefile.coq $(MAKE) -f Makefile.coq -extraction: extraction/STAMP +extraction: src/Extraction/STAMP -compile: extraction/STAMP +compile: src/Extraction/STAMP @echo "OCaml bin/coqup" @mkdir -p bin - @dune build extraction/main.exe - @cp _build/default/extraction/main.exe bin/coqup + @dune build src/Extraction/Driver.exe + @cp _build/default/src/Extraction/Driver.exe bin/coqup -extraction/STAMP: - @echo "COQEXEC ./extraction/Extraction.v" - @$(COQEXEC) ./extraction/Extraction.v +src/Extraction/STAMP: + @echo "COQEXEC ./src/Extraction/Extraction.v" + @$(COQEXEC) ./src/Extraction/Extraction.v @touch $@ Makefile.coq: |