blob: 3ea7c7c92068b9da0dacfe51c3886161c64d65d3 (
plain)
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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
|
##################################
#
# Configuration file for Coq
#
##################################
#############################################################################
#
# This file is generated by the script "configure"
#
# DO NOT EDIT IT !! DO NOT EDIT IT !! DO NOT EDIT IT !! DO NOT EDIT IT !!
#
# If something is wrong below, then rerun the script "configure"
# with the good options (see the file INSTALL).
#
#############################################################################
# Local use (no installation)
LOCAL=LOCALINSTALLATION
# Paths for true installation
# BINDIR=path where coqtop, coqc, coqmktop, coq-tex, coqdep, gallina and
# do_Makefile will reside
# LIBDIR=path where the Coq library will reside
# MANDIR=path where to install manual pages
# EMACSDIR=path where to put Coq's Emacs mode (coq.el)
BINDIR="BINDIRDIRECTORY"
COQLIB="COQLIBDIRECTORY"
MANDIR="MANDIRDIRECTORY"
EMACSLIB="EMACSLIBDIRECTORY"
EMACS=EMACSCOMMAND
# Path to Coq distribution
COQTOP=COQTOPDIRECTORY
VERSION=COQVERSION
# Directory containing Camlp4 binaries. Can be empty if camlp4 is in the PATH
CAMLP4BIN="CAMLP4BINDIRECTORY"
# Ocaml version number
CAMLVERSION=CAMLTAG
# Ocaml .h directory
CAMLHLIB="CAMLLIBDIRECTORY"/caml
# Camlp4 library directory (avoid CAMLP4LIB used on Windows)
CAMLP4O=CAMLP4TOOL
CAMLP4COMPAT=CAMLP4COMPATFLAGS
MYCAMLP4LIB="CAMLP4LIBDIRECTORY"
# Objective-Caml compile command
OCAMLC="BYTECAMLC"
OCAMLOPT="NATIVECAMLC"
OCAMLDEP="OCAMLDEPEXEC"
OCAMLDOC="OCAMLDOCEXEC"
OCAMLLEX="OCAMLLEXEXEC"
OCAMLYACC="OCAMLYACCEXEC"
# Caml link command and Caml make top command
CAMLLINK="BYTECAMLC"
CAMLOPTLINK="NATIVECAMLC"
CAMLMKTOP="CAMLMKTOPEXEC"
# Caml flags
CAMLFLAGS=CAMLANNOTATEFLAG
# Compilation debug flag
CAMLDEBUG=COQDEBUGFLAG
# Inlining flag (inlining causes problems with ocaml < 3.09.x)
INLINEFLAG=COQINLINEFLAG
# User compilation flag
USERFLAGS=
# Compilation profile flag
CAMLTIMEPROF=COQPROFILEFLAG
# The best compiler: native (=opt) or bytecode (=byte) if no native compiler
BEST=BESTCOMPILER
# For Camlp4 use
P4=$(COQTOP)/bin/$(ARCH)/call_camlp4 -I $(COQTOP)/src/parsing
P4DEP=$(COQTOP)/bin/$(ARCH)/camlp4dep
# Your architecture
# Can be obtain by UNIX command arch
ARCH=ARCHITECTURE
# Your C compiler and co
CC="CCEXEC"
AR="AREXEC"
RANLIB="RANLIBEXEC"
# Supplementary libs for some systems, currently:
# . Sun Solaris: -cclib -lunix -cclib -lnsl -cclib -lsocket
# . others : -cclib -lunix
# . windows : -cclib -lunix
OSDEPLIBS=OSDEPENDENTLIBS
# executable files extension, currently:
# Unix systems:
# Win32 systems : .exe
EXE=EXECUTEEXTENSION
# the command MKDIR (try to replace it with mkdirhier if you have problems)
MKDIR=mkdir -p
# where to put the coqdoc.sty style file
COQDOCDIR="COQDOCDIRECTORY"
# command to update TeX' kpathsea database
#MKTEXLSR=MKTEXLSRCOMMAND
#the command STRIP
# Unix systems and profiling: true
# Unix systems and no profiling: strip
# Win32 systems: true (actually strip is bogus)
STRIP=STRIPCOMMAND
# Options for fsets (all/basic)
FSETS=FSETSOPT
# Options for reals (all/basic)
REALS=REALSOPT
# CoqIde (no/byte/opt)
HASCOQIDE=COQIDEOPT
# Defining REVISION
CHECKEDOUT=CHECKEDOUTSOURCETREE
# make or sed are bogus and believe lines not terminating by a return
# are inexistent
|
