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
|
##################################
#
# 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=false
# 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="/usr/bin"
COQLIB="/usr/lib/coq"
MANDIR="/usr/share/man"
EMACSLIB="/usr/share/emacs/site-lisp/coq"
EMACS=
# Path to Coq distribution
COQTOP=/usr
VERSION=8.1
# Directory containing Camlp4 binaries. Can be empty if camlp4 is in the PATH
CAMLP4BIN=/usr/bin
# Ocaml version number
CAMLVERSION=OCAML309
# Ocaml .h directory
CAMLHLIB=/usr/lib/ocaml/3.09.3/caml
# Camlp4 library directory (avoid CAMLP4LIB used on Windows)
CAMLP4O=camlp4o
CAMLP4COMPAT=-loc loc
MYCAMLP4LIB=+camlp4
# Objective-Caml compile command
OCAMLC=ocamlc.opt
OCAMLOPT=ocamlopt.opt
# Caml link command and Caml make top command
CAMLLINK=ocamlc.opt
CAMLOPTLINK=ocamlopt.opt
CAMLMKTOP=ocamlmktop
# Compilation debug flag
CAMLDEBUG=
# Compilation profile flag
CAMLTIMEPROF=
# The best compiler: native (=opt) or bytecode (=byte) if no native compiler
BEST=opt
# 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=i686
# Supplementary libs for some systems, currently:
# . Sun Solaris: -cclib -lunix -cclib -lnsl -cclib -lsocket
# . others : -cclib -lunix
# . windows : -cclib -lunix
OSDEPLIBS=-cclib -lunix
# executable files extension, currently:
# Unix systems:
# Win32 systems : .exe
EXE=
# 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=/usr/share/texmf/tex/latex/misc
# command to update TeX' kpathsea database
#MKTEXLSR=
#the command STRIP
# Unix systems and profiling: true
# Unix systems and no profiling: strip
# Win32 systems: true (actually strip is bogus)
STRIP=strip
# Options for reals (all/basic)
REALS=all
# CoqIde (no/byte/opt)
HASCOQIDE=opt
# make or sed are bogus and believe lines not terminating by a return
# are inexistent
|
