Makefile.conf

# This configuration file was generated by running:
# coq_makefile -f _CoqProject -o Makefile


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

COQMF_VFILES = Misc/Utils.v Misc/Hybrid.v Misc/Permutations.v SL/Syntax.v SL/Sequent.v SL/StructuralRules.v SL/FLLTactics.v SL/InvNegativePhase.v SL/InvPositivePhase.v SL/CutElimination.v SL/IdElimination.v OL/Examples.v OL/CutCoherence/OLSyntax.v OL/CutCoherence/OLDefinitions.v OL/CutCoherence/OLCutl.v OL/CutCoherence/OLCutc.v OL/CutCoherence/OLCuti.v OL/CutCoherence/LJ.v OL/CutCoherence/LJm.v OL/CutCoherence/LM.v OL/CutCoherence/LMm.v OL/CutCoherence/LK.v OL/CutCoherence/MALL.v OL/CutCoherence/NDSeq.v OL/CutCoherence/HyLLBase.v OL/CutCoherence/HyLL.v OL/CutCoherence/HyLLCut.v OL/TSystem/Syntax.v OL/TSystem/Rules.v OL/TSystem/Properties.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 . FLL
COQMF_COQLIBS_NOML =  -R . FLL
COQMF_CMDLINE_COQLIBS =   

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

COQMF_LOCAL=0
COQMF_COQLIB=/Users/carlosolarte/.opam/default/lib/coq/
COQMF_DOCDIR=/Users/carlosolarte/.opam/default/doc/
COQMF_OCAMLFIND=/Users/carlosolarte/.opam/default/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/funind plugins/ltac plugins/micromega plugins/nsatz plugins/omega plugins/rtauto plugins/setoid_ring plugins/ssr plugins/ssrmatching plugins/ssrsearch plugins/syntax
COQMF_WINDRIVE=

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

COQMF_OTHERFLAGS = 
COQMF_INSTALLCOQDOCROOT = FLL