CoqAlgebra/Makefile.conf at master · Modularius/CoqAlgebra · 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
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
# This configuration file was generated by running:
# coq_makefile -f _CoqProject -o Makefile


###############################################################################
#                                                                             #
# Project files.                                                              #
#                                                                             #
###############################################################################

COQMF_VFILES = theories/Algebra/Modules.v theories/Algebra/Linears.v theories/Algebra/DirectSum.v theories/Algebra/Basis.v theories/Algebra/FreeModules.v theories/Algebra/Dimension.v theories/Algebra/FormalLC.v theories/Algebra/Matrices.v theories/Algebra/ChainComplex.v theories/Algebra/Projective.v theories/Algebra/Classes.v theories/Algebra/Submodule.v theories/Algebra/Quotient.v theories/Quivers/Quiver.v theories/Quivers/ntPath.v theories/Quivers/ntPathPairs.v theories/Quivers/Path.v theories/PathAlgebra/PathAlgebraMul.v theories/PathAlgebra/PathAlgebra.v theories/PathAlgebra/PathAlgebraBasis.v theories/Representations/QuiverRep.v theories/Representations/QuiverRepFunctors.v theories/Representations/StandardResolution.v theories/Examples/QuiverEG.v theories/Examples/AlgebraEG.v
COQMF_MLIFILES =
COQMF_MLFILES =
COQMF_MLGFILES =
COQMF_MLPACKFILES =
COQMF_MLLIBFILES =
COQMF_CMDLINE_VFILES =

###############################################################################
#                                                                             #
# Path directives (-I, -R, -Q).                                               #
#                                                                             #
###############################################################################

COQMF_OCAMLLIBS =
COQMF_SRC_SUBDIRS =
COQMF_COQLIBS =   -R . src
COQMF_COQLIBS_NOML =  -R . src
COQMF_CMDLINE_COQLIBS =

###############################################################################
#                                                                             #
# Coq configuration.                                                          #
#                                                                             #
###############################################################################

COQMF_LOCAL=0
COQMF_COQLIB=/home/daniel/.opam/4.10.0/lib/coq/
COQMF_DOCDIR=/home/daniel/.opam/4.10.0/doc/
COQMF_OCAMLFIND=/home/daniel/.opam/4.10.0/bin/ocamlfind
COQMF_CAMLFLAGS=-thread -rectypes -w +a-4-9-27-41-42-44-45-48-58-67   -safe-string -strict-sequence
COQMF_WARN=-warn-error +a-3
COQMF_HASNATDYNLINK=true
COQMF_COQ_SRC_SUBDIRS=config lib clib kernel library engine pretyping interp gramlib gramlib/.pack parsing proofs tactics toplevel printing ide stm vernac plugins/btauto plugins/cc plugins/derive plugins/extraction plugins/firstorder plugins/fourier plugins/funind plugins/ltac plugins/micromega plugins/nsatz plugins/omega plugins/rtauto plugins/setoid_ring plugins/ssr plugins/ssrmatching plugins/syntax
COQMF_WINDRIVE=

###############################################################################
#                                                                             #
# Extra variables.                                                            #
#                                                                             #
###############################################################################

COQMF_OTHERFLAGS =
COQMF_INSTALLCOQDOCROOT = src