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
|
### Uncomment for static linking
##
#-custom "$(COQBIN)coqmktop -coqlib `$(COQBIN)coqtop -where` -opt -o bin/ssrcoq src/ssrmatching.cmx src/ssreflect.cmx" "src/ssrmatching.cmx src/ssreflect.cmx" bin/ssrcoq
#-custom "$(COQBIN)coqmktop -coqlib `$(COQBIN)coqtop -where` -o bin/ssrcoq.byte src/ssrmatching.cmo src/ssreflect.cmo" "src/ssrmatching.cmo src/ssreflect.cmo" bin/ssrcoq.byte
#-custom "$(SSRCOQ) $(COQFLAGS) -compile $*" "%.v $(SSRCOQ)" "%.vo"
#SSRCOQ = bin/ssrcoq
##
## What follows should be left untouched by the final user of ssreflect
-R theories Ssreflect
-I src
CAMLP4OPTIONS = "-loc loc"
src/ssrmatching.mli
src/ssrmatching.ml4
src/ssreflect.ml4
theories/ssreflect.mllib
theories/ssrmatching.v
theories/ssreflect.v
theories/ssrfun.v
theories/ssrbool.v
theories/eqtype.v
theories/ssrnat.v
theories/seq.v
theories/choice.v
theories/fintype.v
|
