forked from ndslusarz/formal_LDL
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Makefile.conf
71 lines (60 loc) · 4.05 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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
# This configuration file was generated by running:
# coq_makefile -f _CoqProject analysis_extra.v dl2_ereal.v dl2.v example.v fuzzy.v ldl_capucci_positive_R.v ldl_capucci.v ldl.v mathcomp_extra.v stl_ereal.v stl.v -o Makefile
COQBIN?=
ifneq (,$(COQBIN))
# add an ending /
COQBIN:=$(COQBIN)/
endif
COQMKFILE ?= "$(COQBIN)coq_makefile"
###############################################################################
# #
# Project files. #
# #
###############################################################################
COQMF_CMDLINE_VFILES := analysis_extra.v dl2_ereal.v dl2.v example.v fuzzy.v ldl_capucci_positive_R.v ldl_capucci.v ldl.v mathcomp_extra.v stl_ereal.v stl.v
COQMF_SOURCES := $(shell $(COQMKFILE) -sources-of -f _CoqProject $(COQMF_CMDLINE_VFILES))
COQMF_VFILES := $(filter %.v, $(COQMF_SOURCES))
COQMF_MLIFILES := $(filter %.mli, $(COQMF_SOURCES))
COQMF_MLFILES := $(filter %.ml, $(COQMF_SOURCES))
COQMF_MLGFILES := $(filter %.mlg, $(COQMF_SOURCES))
COQMF_MLPACKFILES := $(filter %.mlpack, $(COQMF_SOURCES))
COQMF_MLLIBFILES := $(filter %.mllib, $(COQMF_SOURCES))
COQMF_METAFILE =
###############################################################################
# #
# Path directives (-I, -R, -Q). #
# #
###############################################################################
COQMF_OCAMLLIBS =
COQMF_SRC_SUBDIRS =
COQMF_COQLIBS = -R . LDL
COQMF_COQLIBS_NOML = -R . LDL
COQMF_CMDLINE_COQLIBS =
###############################################################################
# #
# Coq configuration. #
# #
###############################################################################
COQMF_COQLIB=/home/jaigel/.opam/default/lib/coq/
COQMF_COQCORELIB=/home/jaigel/.opam/default/lib/coq/../coq-core/
COQMF_DOCDIR=/home/jaigel/.opam/default/share/doc/
COQMF_OCAMLFIND=/home/jaigel/.opam/default/bin/ocamlfind
COQMF_CAMLFLAGS=-thread -bin-annot -strict-sequence -w -a+1..3-4+5..8-9+10..26-27+28..39-40-41-42+43-44-45+46..47-48+49..57-58+59..66-67-68+69-70
COQMF_WARN=-warn-error +a-3
COQMF_HASNATDYNLINK=true
COQMF_COQ_SRC_SUBDIRS=boot config lib clib kernel library engine pretyping interp gramlib parsing proofs tactics toplevel printing ide stm vernac plugins/btauto plugins/cc plugins/derive plugins/extraction plugins/firstorder plugins/funind plugins/ltac plugins/ltac2 plugins/micromega plugins/nsatz plugins/ring plugins/rtauto plugins/ssr plugins/ssrmatching plugins/syntax
COQMF_COQ_NATIVE_COMPILER_DEFAULT=no
COQMF_WINDRIVE=
###############################################################################
# #
# Native compiler. #
# #
###############################################################################
COQMF_COQPROJECTNATIVEFLAG =
###############################################################################
# #
# Extra variables. #
# #
###############################################################################
COQMF_OTHERFLAGS = '-w' '-parsing' '-w' '+undeclared-scope' '-w' '+non-primitive-record' '-w' '-ambiguous-paths' '-w' '-redundant-canonical-projection' '-w' '-projection-no-head-constant'
COQMF_INSTALLCOQDOCROOT = LDL