### 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/path.v
theories/div.v
theories/fintype.v
theories/fingraph.v
theories/tuple.v
theories/finfun.v
theories/bigop.v
theories/prime.v
theories/finset.v
theories/binomial.v
theories/fingroup.v
theories/morphism.v
theories/presentation.v
theories/perm.v
theories/automorphism.v
theories/quotient.v
theories/action.v
theories/gproduct.v
theories/gfunctor.v
theories/commutator.v
theories/ssralg.v
theories/finalg.v
theories/poly.v
theories/zmodp.v
theories/matrix.v
theories/mxalgebra.v
theories/mxpoly.v
theories/cyclic.v
theories/pgroup.v
theories/center.v
theories/mxrepresentation.v
theories/gseries.v
theories/jordanholder.v
theories/nilpotent.v
theories/finmodule.v
theories/sylow.v
theories/abelian.v
theories/maximal.v
theories/hall.v
theories/extremal.v
theories/extraspecial.v
theories/primitive_action.v
theories/alt.v
theories/frobenius.v
theories/mxabelem.v
theories/polydiv.v
theories/vector.v
theories/falgebra.v
theories/fieldext.v
theories/ssrnum.v
theories/ssrint.v
theories/rat.v
theories/intdiv.v
theories/generic_quotient.v
