machine_utils/Makefile at main · logsem/machine_utils · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
EXTRA_DIR:=extra
COQDOCFLAGS:= \
  --external 'http://ssr2.msr-inria.inria.fr/doc/ssreflect-1.5/' Ssreflect \
  --external 'http://ssr2.msr-inria.inria.fr/doc/mathcomp-1.5/' MathComp \
  --toc --toc-depth 2 --html --interpolate \
  --index indexpage --no-lib-name --parse-comments \
  --with-header $(EXTRA_DIR)/header.html --with-footer $(EXTRA_DIR)/footer.html
export COQDOCFLAGS

.PHONY: all coq clean html
all: coq

coq: Makefile.coq
	$(MAKE) -f Makefile.coq pretty-timed

html: Makefile.coq
	rm -rf html
	$(MAKE) -f Makefile.coq html
	cp $(EXTRA_DIR)/resources/* html

Makefile.coq:
	coq_makefile -f _CoqProject -o Makefile.coq

Makefile.coq.conf:
	coq_makefile -f _CoqProject -o Makefile.coq

include Makefile.coq.conf

skip-qed: Makefile.coq.conf
	./disable-qed.sh $(COQMF_VFILES)

ci: skip-qed
	$(MAKE) -f Makefile.coq pretty-timed

clean: Makefile.coq
	$(MAKE) -f Makefile.coq clean
	rm -f Makefile.coq
	rm -rf html