Module Clerk_lib.Clerk_configSource

Sourcetype backend = ..
Sourcetype backend +=
  1. | C
  2. | OCaml
  3. | Java
  4. | Python
Sourceval register_backend : name:string -> backend -> unit
Sourcetype doc_backend =
  1. | Html
  2. | Latex
Sourcetype global = {
  1. include_dirs : Catala_utils.File.t list;
  2. build_dir : Catala_utils.File.t;
  3. target_dir : Catala_utils.File.t;
  4. catala_exe : Catala_utils.File.t option;
  5. catala_opts : string list;
  6. default_targets : string list;
}
Sourcetype target = {
  1. tname : string;
  2. tmodules : string list;
  3. ttests : Catala_utils.File.t list;
  4. backends : backend list;
  5. include_sources : bool;
  6. include_objects : bool;
}
Sourcetype doc = {
  1. name : string;
  2. kind : doc_backend;
  3. entrypoints : string list;
  4. doc_options : string list;
}
Sourcetype custom_rule = {
  1. backend : backend;
  2. in_exts : string list;
  3. out_exts : string list;
  4. commandline : string list;
}
Sourcetype config_file = {
  1. global : global;
  2. variables : (string * string list) list;
  3. targets : target list;
  4. docs : doc list;
  5. custom_rules : custom_rule list;
}
Sourceval default_config : t
Sourceval write : Catala_utils.File.t -> t -> unit