aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile5
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 518d4c9..dce965d 100644
--- a/Makefile
+++ b/Makefile
@@ -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: