Makefile.conf 2.89 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
# This configuration file was generated by running:
# coq_makefile -f _CoqProject -o Makefile


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

11
COQMF_VFILES = AsciiOrder.v StringOrder.v StringUtils.v Utils.v Defs.v Nam.v Alpha.v AlphaAlt.v Mix.v Proofs.v Equiv.v Meta.v ToCoq.v
12
13
14
15
16
17
COQMF_MLIFILES = 
COQMF_MLFILES = 
COQMF_ML4FILES = 
COQMF_MLPACKFILES = 
COQMF_MLLIBFILES = 
COQMF_CMDLINE_VFILES = 
18
19
20
21
22
23
24
25
26
27
28

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

COQMF_OCAMLLIBS = -I .
COQMF_SRC_SUBDIRS = .
COQMF_COQLIBS = -I .  -R . NatDed
COQMF_COQLIBS_NOML =  -R . NatDed
29
COQMF_CMDLINE_COQLIBS =   
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44

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

COQMF_LOCAL=1
COQMF_COQLIB=/home/letouzey/V8//
COQMF_DOCDIR=/home/letouzey/V8/doc/
COQMF_OCAMLFIND=/usr/bin/ocamlfind
COQMF_CAMLP5O=/usr/bin/camlp5o
COQMF_CAMLP5BIN=/usr/bin/
COQMF_CAMLP5LIB=/usr/lib/ocaml/camlp5
COQMF_CAMLP5OPTIONS=-loc loc
Pierre Letouzey's avatar
Pierre Letouzey committed
45
COQMF_CAMLFLAGS=-thread -rectypes -w +a-4-9-27-41-42-44-45-48-50-58-59   -safe-string
46
COQMF_HASNATDYNLINK=true
Pierre Letouzey's avatar
Pierre Letouzey committed
47
48
COQMF_COQ_SRC_SUBDIRS=config dev lib clib 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=
49
50
51
52
53
54
55

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

56
COQMF_OTHERFLAGS = 
57
COQMF_INSTALLCOQDOCROOT = NatDed