Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Newer
Older
100644 84 lines (62 sloc) 2.645 kb
fccc685 Initial open-source release
MLstate authored
1 (*
2 Copyright © 2011 MLstate
3
4 This file is part of OPA.
5
6 OPA is free software: you can redistribute it and/or modify it under the
7 terms of the GNU Affero General Public License, version 3, as published by
8 the Free Software Foundation.
9
10 OPA is distributed in the hope that it will be useful, but WITHOUT ANY
11 WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
12 FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License for
13 more details.
14
15 You should have received a copy of the GNU Affero General Public License
16 along with OPA. If not, see <http://www.gnu.org/licenses/>.
17 *)
18 (** Configuration of the build system
19 The .ml file is generated by the ./configure script
20 *)
21
22 (** the installation prefix (also known as MLSTATELIBS from many places *)
23 val prefix : string
24
25 (** the base directory of external ocaml libraries *)
26 val ocamllib : string
27
28 (** the ocamlopt compiler to use *)
29 val ocamlopt : string
30
31 (** related ocamlbuild tool *)
32 val ocamlbuild : string
33
34 val ocamlbuild_flags : string
35
36 (** full name of the camlp4o and camlp4orf executables *)
37 val camlp4o : string
38 val camlp4orf : string
39
40 (** path to the camlidl tool, if present and enabled *)
41 val camlidl : string option
42
ebb9f52 [feature] Database: making dblight compilation optional, depending on th...
Louis Gesbert authored
43 (** Flag for Dbm present *)
44 val has_dbm : bool
45
fccc685 Initial open-source release
MLstate authored
46 (** library directories, if the libs are enabled *)
47 val libnatpmp : (string*string*string) option (** name of the lib, lib dir, include dir *)
48
49 val miniupnpc : (string*string*string) option (** name of the lib, lib dir, include dir *)
50
7b118ed [feature] configure: generating a list of available optional tags, for p...
Louis Gesbert authored
51 (** list all of the optional tags that have been detected available (eg
52 "camlidl", "libnatpmp", "miniupnpc", ...) *)
53 val available : string list
54
fdba049 [fix] configure: fixed for old bash versions, now providing a list of al...
Louis Gesbert authored
55 (** lists all the valid optional tags ([available] is a subset of those) *)
56 val all_tags : string list
57
fccc685 Initial open-source release
MLstate authored
58 (** are we compiling in release or debug mode ? In release mode,
59 assertions and debug variables are disabled *)
60 val is_release : bool
61
62 (** the target OS type *)
7de4ee0 @fperrin New platform: `FreeBSD'
fperrin authored
63 type os = Linux | Mac | Win32 | Cygwin | FreeBSD
fccc685 Initial open-source release
MLstate authored
64 val os : os
65
1321ba9 @fperrin On FreeBSD check and use gmake, use make elsewhere
fperrin authored
66 (** the name of the GNU make binary, gmake on fBSD, make on other platforms *)
67 val makebinary : string
68
fccc685 Initial open-source release
MLstate authored
69 (** the installation directory of external libraries, as in the ocamlopt '-I'
70 command-line option ; None if no extra include directory is needed *)
71 module Libdir : sig
72 val ssl : string option
73 val cryptokit : string option
74 val camlzip_name : string (** Sometimes "zip", sometimes "camlzip" *)
75 val camlzip : string option
76 val graph : string option
77 val ulex : string option
78 end
79
80 (** Common file extensions (on Unices, resp. .a, .o and .so) *)
81 val ext_lib : string
82 val ext_obj : string
83 val ext_shared : string
Something went wrong with that request. Please try again.