From 3971466fbdd9aa1883a4468de3d67fdf90fee02d Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 13 Aug 2020 23:22:20 +0100
Subject: Add html generation and clean Coq files

---
 Makefile | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'Makefile')

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:
-- 
cgit