module BaseEnv:sig
..end
type
origin_t =
| |
ODefault |
(* |
Default computed value.
| *) |
| |
OGetEnv |
(* |
Extracted from environment, using Sys.getenv.
| *) |
| |
OFileLoad |
(* |
From loading file setup.data.
| *) |
| |
OCommandLine |
(* |
Set on command line.
| *) |
type
cli_handle_t =
| |
CLINone |
(* |
No command line argument.
| *) |
| |
CLIAuto |
(* |
Build using variable name and help text.
| *) |
| |
CLIWith |
(* |
Use prefix --with-.
| *) |
| |
CLIEnable |
(* |
Use --enable/--disable.
| *) |
| |
CLIUser of |
(* |
Fully define the command line arguments.
| *) |
type
definition_t = {
|
hide : |
(* |
Hide the variable.
| *) |
|
dump : |
(* |
Dump the variable.
| *) |
|
cli : |
(* |
Command line handling for the variable.
| *) |
|
arg_help : |
(* |
Help about the variable.
| *) |
|
group : |
(* |
Group of the variable.
| *) |
val schema : (origin_t, definition_t) PropList.Schema.t
val env : PropList.Data.t
val var_expand : string -> string
Buffer.add_substitute
.val var_get : OASISTypes.name -> string
val var_choose : ?printer:('a -> string) -> ?name:string -> 'a OASISExpr.choices -> 'a
val var_protect : string -> string
val var_define : ?hide:bool ->
?dump:bool ->
?short_desc:(unit -> string) ->
?cli:cli_handle_t ->
?arg_help:string ->
?group:string -> OASISTypes.name -> (unit -> string) -> unit -> string
val var_redefine : ?hide:bool ->
?dump:bool ->
?short_desc:(unit -> string) ->
?cli:cli_handle_t ->
?arg_help:string ->
?group:string -> OASISTypes.name -> (unit -> string) -> unit -> string
val var_ignore : (unit -> string) -> unit
var_define
.unit -> string
: val var_all : unit -> OASISTypes.name list
val default_filename : OASISContext.source_filename
val load : ctxt:OASISContext.t ->
?allow_empty:bool -> ?filename:OASISContext.source_filename -> unit -> unit
val unload : unit -> unit
val dump : ctxt:OASISContext.t -> ?filename:OASISContext.source_filename -> unit -> unit
val print : unit -> unit
val args : unit -> (Arg.key * Arg.spec * Arg.doc) list