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
|
COQMAKEFILE := Makefile.coq
COQMAKE := +$(MAKE) -f $(COQMAKEFILE)
ifneq "$(COQBIN)" ""
COQBIN := $(COQBIN)/
endif
all: $(COQMAKEFILE)
mkdir -p bin
$(COQMAKE) all
$(COQMAKEFILE): Make
$(COQBIN)coq_makefile -f Make > $(COQMAKEFILE)
doc:
PATH="$(COQBIN):$$PATH" \
sh -c '. extra/builddoc_lib.sh; mangle_sources theories/*.v'
$(MAKE) all
PATH="$(COQBIN):$$PATH" TITLE="Ssreflect" MAKEDOT=extra/ \
COQOPTS="-R theories Ssreflect" \
MANGLEDOT="sed -i s?URL=\"./?URL=\"Ssreflect.?"\
sh -c '. extra/builddoc_lib.sh; build_doc theories/*.v'
cp extra/*.css extra/*.png html/
install:
$(COQMAKE) install
clean:
-$(COQMAKE) clean
rm -rf $(COQMAKEFILE) bin
.PHONY: clean all install
|
