diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-08-13 23:22:20 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-08-13 23:22:20 +0100 |
| commit | 3971466fbdd9aa1883a4468de3d67fdf90fee02d (patch) | |
| tree | 6a4cc78017b25e43019b27011eac12567d8eed5f /Makefile | |
| parent | b4aa578616acaab35e8c5c8ca7f58cc971d0baf5 (diff) | |
| download | vericert-3971466fbdd9aa1883a4468de3d67fdf90fee02d.tar.gz vericert-3971466fbdd9aa1883a4468de3d67fdf90fee02d.zip | |
Add html generation and clean Coq files
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -17,6 +17,8 @@ COQINCLUDES := -R src/common vericert.common -R src/verilog vericert.verilog \ COQEXEC := $(COQBIN)coqtop $(COQINCLUDES) -batch -load-vernac-source COQMAKE := $(COQBIN)coq_makefile +COQDOCFLAGS := --no-lib-name + VS := src/Compiler.v src/Simulator.v $(foreach d, translation common verilog, src/$(d)/*.v) PREFIX ?= . @@ -41,6 +43,9 @@ proof: Makefile.coq $(MAKE) -f Makefile.coq @rm -f src/extraction/STAMP +doc: Makefile.coq + $(MAKE) COQDOCFLAGS="$(COQDOCFLAGS)" -f Makefile.coq html + extraction: src/extraction/STAMP test: |