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
39
40
41
42
|
all: theories examples
COQDOCJS_LN?=true
-include coqdocjs/Makefile.doc
COQMAKEFILE?=Makefile.coq
theories: $(COQMAKEFILE)
$(MAKE) -f $(COQMAKEFILE)
$(COQMAKEFILE):
$(COQBIN)coq_makefile -f _CoqProject -o $(COQMAKEFILE)
install: $(COQMAKEFILE)
$(MAKE) -f $(COQMAKEFILE) install
examples: theories
$(MAKE) -C examples
clean:
if [ -e $(COQMAKEFILE) ] ; then $(MAKE) -f $(COQMAKEFILE) cleanall ; fi
$(MAKE) -C examples clean
@rm -f $(COQMAKEFILE) $(COQMAKEFILE).conf
uninstall:
$(MAKE) -f $(COQMAKEFILE) uninstall
dist:
@ git archive --prefix coq-ext-lib/ HEAD -o $(PROJECT_NAME).tgz
.PHONY: all clean dist theories examples html
TEMPLATES ?= ../templates
resources/index.html: resources/index.md
pandoc -s $^ -o $@
resources/index.md: meta.yml $(TEMPLATES)/index.md.mustache
$(TEMPLATES)/generate.sh $@
publish%:
opam publish --packages-directory=released/packages \
--repo=coq/opam --tag=v$* -v $* coq-community/coq-ext-lib
|
