blob: 91b12cb4f6da4dd7f3443d4e50966b3c3095e893 (
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
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
|
##################################
#
# 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).
#
#############################################################################
#Variable used to detect whether ./configure has run successfully.
COQ_CONFIGURED=yes
# Local use (no installation)
LOCAL=LOCALINSTALLATION
# Bytecode link flags for VM ("-custom" or "-dllib -lcoqrun")
COQRUNBYTEFLAGS=XCOQRUNBYTEFLAGS
COQTOOLSBYTEFLAGS=XCOQTOOLSBYTEFLAGS
BUILDLDPATH=
# 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"
COQLIBINSTALL="COQLIBDIRECTORY"
CONFIGDIR="CONFIGDIRDIRECTORY"
DATADIR="DATADIRDIRECTORY"
MANDIR="MANDIRDIRECTORY"
DOCDIR="DOCDIRDIRECTORY"
EMACSLIB="EMACSLIBDIRECTORY"
EMACS=EMACSCOMMAND
# Path to Coq distribution
COQSRC=COQSRCDIRECTORY
VERSION=COQVERSION
# Directory containing Camlp4 binaries. Can be empty if camlp4 is in the PATH
CAMLP4BIN="CAMLP4BINDIRECTORY"
# Ocaml version number
CAMLVERSION=CAMLTAG
# Ocaml libraries
CAMLLIB="CAMLLIBDIRECTORY"
# Ocaml .h directory
CAMLHLIB="CAMLLIBDIRECTORY"
# Camlp4 library directory (avoid CAMLP4LIB used on Windows)
CAMLP4=CAMLP4VARIANT
CAMLP4O=CAMLP4TOOL
CAMLP4COMPAT=CAMLP4COMPATFLAGS
MYCAMLP4LIB="CAMLP4LIBDIRECTORY"
# LablGTK
COQIDEINCLUDES=LABLGTKINCLUDES
# Objective-Caml compile command
OCAML="OCAMLEXEC"
OCAMLC="BYTECAMLC"
OCAMLMKLIB="OCAMLMKLIBEXEC"
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=-rectypes CAMLANNOTATEFLAG
# Compilation debug flags
CAMLDEBUG=COQDEBUGFLAG
CAMLDEBUGOPT=COQDEBUGFLAGOPT
# User compilation flag
USERFLAGS=
# Flags for GCC
CFLAGS=CCOMPILEFLAGS
# Compilation profile flag
CAMLTIMEPROF=COQPROFILEFLAG
# The best compiler: native (=opt) or bytecode (=byte) if no native compiler
BEST=BESTCOMPILER
# Your architecture
# Can be obtain by UNIX command arch
ARCH=ARCHITECTURE
HASNATDYNLINK=HASNATIVEDYNLINK
# 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
DLLEXT=DLLEXTENSION
# 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
# CoqIde (no/byte/opt)
HASCOQIDE=COQIDEOPT
IDEOPTFLAGS=IDEARCHFLAGS
IDEOPTDEPS=IDEARCHFILE
IDEOPTINT=IDEARCHDEF
# Defining REVISION
CHECKEDOUT=CHECKEDOUTSOURCETREE
# Option to control compilation and installation of the documentation
WITHDOC=WITHDOCOPT
# make or sed are bogus and believe lines not terminating by a return
# are inexistent
|
