forked from Barry-Jay/Intensional-computation
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathMakefile.conf
56 lines (47 loc) · 3.91 KB
/
Makefile.conf
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
55
56
# This configuration file was generated by running:
# coq_makefile -f _CoqProject -o Makefile
###############################################################################
# #
# Project files. #
# #
###############################################################################
COQMF_VFILES = Closure_calculus/Closure_calculus.v SF_calculus/Test.v SF_calculus/General.v SF_calculus/SF_Terms.v SF_calculus/SF_Tactics.v SF_calculus/SF_reduction.v SF_calculus/SF_Normal.v SF_calculus/SF_Closed.v SF_calculus/Substitution.v SF_calculus/SF_Eval.v SF_calculus/Star.v SF_calculus/Fixpoints.v SF_calculus/Extensions.v SF_calculus/Tagging.v SF_calculus/Adding.v SF_calculus/SF_size.v Closure_to_SF/Abstraction_to_Combination.v Closure_to_SF/Eta.v Closure_to_SF/identity_abs_val.v Fieska_calculus/Test.v Fieska_calculus/General.v Fieska_calculus/Fieska_Terms.v Fieska_calculus/Fieska_Tactics.v Fieska_calculus/Fieska_reduction.v Fieska_calculus/Fieska_Normal.v Fieska_calculus/Fieska_Closed.v Fieska_calculus/Substitution.v Fieska_calculus/Fieska_Eval.v Fieska_calculus/Star.v Fieska_calculus/Fixpoints.v Fieska_calculus/Extensions.v Fieska_calculus/Tagging.v Fieska_calculus/Adding.v Fieska_calculus/Fieska_size.v Closure_to_Fieska/Abstraction_to_Combination.v Closure_to_Fieska/Eta.v Closure_to_Fieska/identity_abs_val.v Closure_to_Fieska/Optimization.v
COQMF_MLIFILES =
COQMF_MLFILES =
COQMF_ML4FILES =
COQMF_MLPACKFILES =
COQMF_MLLIBFILES =
###############################################################################
# #
# Path directives (-I, -R, -Q). #
# #
###############################################################################
COQMF_OCAMLLIBS =
COQMF_SRC_SUBDIRS =
COQMF_COQLIBS = -R . IntensionalLib
COQMF_COQLIBS_NOML = -R . IntensionalLib
###############################################################################
# #
# Coq configuration. #
# #
###############################################################################
COQMF_LOCAL=0
COQMF_COQLIB=/home/barry/.opam/4.05.0/lib/coq/
COQMF_DOCDIR=/home/barry/.opam/4.05.0/share/doc/coq/
COQMF_OCAMLFIND=/home/barry/.opam/4.05.0/bin/ocamlfind
COQMF_CAMLP4=camlp5
COQMF_CAMLP4O=/home/barry/.opam/4.05.0/bin/camlp5o
COQMF_CAMLP4BIN=/home/barry/.opam/4.05.0/bin/
COQMF_CAMLP4LIB=/home/barry/.opam/4.05.0/lib/camlp5
COQMF_CAMLP4OPTIONS=-loc loc
COQMF_CAMLFLAGS=-thread -rectypes -w +a-4-9-27-41-42-44-45-48-50 -safe-string
COQMF_HASNATDYNLINK=true
COQMF_COQ_SRC_SUBDIRS=config dev lib kernel library engine pretyping interp parsing proofs tactics toplevel printing intf grammar 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/quote plugins/romega plugins/rtauto plugins/setoid_ring plugins/ssr plugins/ssrmatching plugins/syntax plugins/xml
COQMF_WINDRIVE=/home/barry/.opam/4.05.0/lib/coq
###############################################################################
# #
# Extra variables. #
# #
###############################################################################
COQMF_OTHERFLAGS =
COQMF_INSTALLCOQDOCROOT = IntensionalLib