aboutsummaryrefslogtreecommitdiffhomepage
path: root/config/Makefile.template
blob: 62dae6b803c361310802a1246feb7bb078ba7d80 (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
##################################
#
#  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

# Path to the directory containing the objective-caml commands
# Used in src/launch
CAMLBIN=CAMLBINDIRECTORY

# Directory containing Camlp4 binaries. Can be empty if camlp4 is in the PATH
CAMLP4BIN=CAMLP4BINDIRECTORY

# Camlp4 library directory
CAMLP4O=CAMLP4TOOL
CAMLP4LIB=CAMLP4LIBDIRECTORY

# Objective-Caml compile command 
OCAMLC=BYTECAMLC
OCAMLOPT=NATIVECAMLC

# Caml link command and Caml make top command
CAMLLINK=BYTECAMLC
CAMLOPTLINK=NATIVECAMLC
CAMLMKTOP=ocamlmktop

# Compilation debug flag
CAMLDEBUG=COQDEBUGFLAG

# 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

# Supplementary libs for some systems, currently:
#  . Sun Solaris: -cclib -lunix -cclib -lnsl -cclib -lsocket
#  . others     : -cclib -lunix
#  . windows	: -cclib \\ocaml\lib\libunix.lib -cclib wsock32.lib

OSDEPLIBS=OSDEPENDANTLIBS

# Supplementary camlp4 flags for some systems, currently:
#  . ppp        : -split_gext

OSDEPP4OPTFLAGS=OSDEPENDANTP4OPTFLAGS

# the caml str lib
# Unix : -cclib -lstr
# Windows : -cclib \\ocaml/lib/libstr.lib
WITH_STR=STRLIBRARY

# OStype is one of :
# Unix
# Win32
OSTYPE=OSKIND

# executable files extension, currently:
#  Unix systems:
#  Win32 systems : .exe
EXE=EXECUTEEXTENSION

# the command used to install binaries, libs and help files
INSTALL=COQTOPDIRECTORY/bin/ARCHITECTURE/coqinstallEXECUTEEXTENSION

# the command MKDIR (try to replace it with mkdirhier if you have problems)
MKDIR=mkdir -p

#the command STRIP 
# Unix systems and profiling: true
# Unix systems and no profiling: strip
# Win32 systems: true (actually strip is bogus)
STRIP=STRIPCOMMAND

# make or sed are bogus and believe lines not terminating by a return
# are inexistent