diff options
Diffstat (limited to 'ocamlbuild/configuration.mli')
| -rw-r--r-- | ocamlbuild/configuration.mli | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/ocamlbuild/configuration.mli b/ocamlbuild/configuration.mli new file mode 100644 index 000000000..a8578bf76 --- /dev/null +++ b/ocamlbuild/configuration.mli @@ -0,0 +1,34 @@ +(***********************************************************************) +(* ocamlbuild *) +(* *) +(* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) +(* *) +(* Copyright 2007 Institut National de Recherche en Informatique et *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) +(* *) +(***********************************************************************) + +(* $Id$ *) +(* Original author: Nicolas Pouillard *) +(* Configuration *) + +(** Handles the "_tags" file mechanism. *) + +type flag_list = (string * string) list + +(** Incorporate a newline-separated configuration string into the current configuration. + Will usually raising an [Invalid_arg] with an appropriately explicit message in case of error. *) +val parse_string : string -> unit + +(** [parse_file ?dir fn] incorporates the configuration file named [fn], prefixing its glob patterns + with [dir] if given. *) +val parse_file : ?dir:string -> string -> unit + +(** Return the set of tags that apply to a given filename under the current configuration. *) +val tags_of_filename : string -> Tags.t + +(** Return the set of flags that apply to a given filename under the current configuration. *) +val flags_of_filename : string -> Command.spec + +val has_tag : string -> bool |