-
Notifications
You must be signed in to change notification settings - Fork 0
/
CoqMakefile.conf
57 lines (48 loc) · 3.22 KB
/
CoqMakefile.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
57
# This configuration file was generated by running:
# coq_makefile LocalTactics.v DecEq.v IO.v Steps.v SyntaxParams.v HeapParams.v SXML.v Globalize.v
###############################################################################
# #
# Project files. #
# #
###############################################################################
COQMF_VFILES = LocalTactics.v DecEq.v IO.v Steps.v SyntaxParams.v HeapParams.v SXML.v Globalize.v
COQMF_MLIFILES =
COQMF_MLFILES =
COQMF_ML4FILES =
COQMF_MLPACKFILES =
COQMF_MLLIBFILES =
COQMF_CMDLINE_VFILES = LocalTactics.v DecEq.v IO.v Steps.v SyntaxParams.v HeapParams.v SXML.v Globalize.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/rzn8lgzlwqrq2kjb8gwb61yi2r019hxk-coq-8.9.1/lib/coq/
COQMF_DOCDIR=/nix/store/rzn8lgzlwqrq2kjb8gwb61yi2r019hxk-coq-8.9.1/share/doc/coq/
COQMF_OCAMLFIND=/nix/store/imgab7gvp232a26qicawpyli88kkhjzs-ocaml-findlib-1.8.1/bin/ocamlfind
COQMF_CAMLP5O=/nix/store/382d0as0bk7wfl2xv81pgqbcv89hi9hp-camlp5-7.10/bin/camlp5o
COQMF_CAMLP5BIN=/nix/store/382d0as0bk7wfl2xv81pgqbcv89hi9hp-camlp5-7.10/bin/
COQMF_CAMLP5LIB=/dev/null
COQMF_CAMLP5OPTIONS=-loc loc
COQMF_CAMLFLAGS=-thread -rectypes -w +a-4-9-27-41-42-44-45-48-50-58-59 -safe-string -strict-sequence
COQMF_HASNATDYNLINK=true
COQMF_COQ_SRC_SUBDIRS=config dev lib clib kernel library engine pretyping interp parsing proofs tactics toplevel printing grammar ide stm vernac plugins/btauto plugins/cc plugins/derive plugins/extraction plugins/firstorder 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=
###############################################################################
# #
# Extra variables. #
# #
###############################################################################
COQMF_OTHERFLAGS =
COQMF_INSTALLCOQDOCROOT = Top