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
|
(************************************************************************)
(* * The Coq Proof Assistant / The Coq Development Team *)
(* v * Copyright INRIA, CNRS and contributors *)
(* <O___,, * (see version control and CREDITS file for authors & dates) *)
(* \VV/ **************************************************************)
(* // * This file is distributed under the terms of the *)
(* * GNU Lesser General Public License Version 2.1 *)
(* * (see LICENSE file for the text of the license) *)
(************************************************************************)
type nativecompiler = NativeYes | NativeNo | NativeOndemand
module Prefs : sig
(** User-setable options from command line [configure] arugments *)
type t =
{ prefix : string option
(** root prefix for installation *)
; interactive : bool
(** whether to display a summary *)
; libdir : string option
(** override $prefix/lib/coq *)
; configdir : string option
(** override /etc/xdg/coq *)
; datadir : string option
(** override $prefix/share/coq *)
; mandir : string option
(** override $prefix/man *)
; docdir : string option
(** override $prefix/doc *)
; arch : string option
(** override arch auto-detection *)
; natdynlink : bool
(** native dynlink enabled [only relevant to coq_makefile] *)
; browser : string option
(** override default browser command [for CoqIDE] *)
; bytecodecompiler : bool
(** Enable/disable Coq's VM *)
; nativecompiler : nativecompiler
(** Enable/disable Coq's native compiler *)
; coqwebsite : string
(** Override Coq's website, used by distributions *)
; debug : bool
(** Debug package and environment detection *)
}
end
val parse_args : unit -> Prefs.t
val cprintf : Prefs.t -> ('a, out_channel, unit, unit) format4 -> 'a
|
