Makefile.conf

# This configuration file was generated by running:
# /etc/profiles/per-user/joseph/bin/coq_makefile -o Makefile AdditionalTactics.v ListFacts.v FiniteSets.v FSetDecide.v FSetNotin.v Atom.v Environment.v Metatheory.v ANF_Definitions.v ANF_Infrastructure.v ANF_Lemmas.v ANF_Soundness.v


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

COQMF_VFILES = AdditionalTactics.v ListFacts.v FiniteSets.v FSetDecide.v FSetNotin.v Atom.v Environment.v Metatheory.v ANF_Definitions.v ANF_Infrastructure.v ANF_Lemmas.v ANF_Soundness.v
COQMF_MLIFILES = 
COQMF_MLFILES = 
COQMF_MLGFILES = 
COQMF_MLPACKFILES = 
COQMF_MLLIBFILES = 
COQMF_CMDLINE_VFILES = AdditionalTactics.v ListFacts.v FiniteSets.v FSetDecide.v FSetNotin.v Atom.v Environment.v Metatheory.v ANF_Definitions.v ANF_Infrastructure.v ANF_Lemmas.v ANF_Soundness.v

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

COQMF_OCAMLLIBS = -I .
COQMF_SRC_SUBDIRS = .
COQMF_COQLIBS = -I .  -R . Top
COQMF_COQLIBS_NOML =  -R . Top
COQMF_CMDLINE_COQLIBS = -I .  -R . Top

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

COQMF_LOCAL=0
COQMF_COQLIB=/nix/store/mi4lb2hcn63nv567qkdrsgwyim0n6f5l-coq-8.13.2/lib/coq/
COQMF_DOCDIR=/nix/store/mi4lb2hcn63nv567qkdrsgwyim0n6f5l-coq-8.13.2/share/doc/coq/
COQMF_OCAMLFIND=/nix/store/xw5kssiwpjg052vbxdg54kcnwj4yzmwg-ocaml-findlib-1.9.1/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/ring plugins/rtauto plugins/ssr plugins/ssrmatching plugins/ssrsearch plugins/syntax
COQMF_COQ_NATIVE_COMPILER_DEFAULT=ondemand
COQMF_WINDRIVE=

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

COQMF_OTHERFLAGS = 
COQMF_INSTALLCOQDOCROOT = Top