diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-02-12 18:52:09 +0100 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-02-12 18:52:09 +0100 |
commit | de8888e28ad793511ba2e2969516325b0be44330 (patch) | |
tree | f910699eb3afb1f2b1835a01e8529c48c950b861 /tools/coqdep_common.mli | |
parent | 9daec838c8896e7c1048b42d01eba0c71c912f00 (diff) |
Revert "Using same code for browsing physical directories in coqtop and coqdep."
(Sorry, was not intended to be pushed)
This reverts commit 5268efdefb396267bfda0c17eb045fa2ed516b3c.
Diffstat (limited to 'tools/coqdep_common.mli')
-rw-r--r-- | tools/coqdep_common.mli | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/tools/coqdep_common.mli b/tools/coqdep_common.mli index d6065e4c2..71b96ca0e 100644 --- a/tools/coqdep_common.mli +++ b/tools/coqdep_common.mli @@ -6,16 +6,16 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) -open Systemdirs - val option_c : bool ref val option_noglob : bool ref val option_boot : bool ref val option_natdynlk : bool ref val option_mldep : string option ref val norec_dirs : string list ref +val norec_dirnames : string list ref val suffixe : string ref type dir = string option +val ( // ) : string -> string -> string val get_extension : string -> string list -> string * string val basename_noext : string -> string val mlAccu : (string * string * dir) list ref @@ -41,12 +41,13 @@ val coq_dependencies : unit -> unit val suffixes : 'a list -> 'a list list val add_known : bool -> string -> string list -> string -> unit val add_caml_known : string -> string list -> string -> unit +val add_directory : + bool -> + (string -> string list -> string -> unit) -> string -> string list -> unit val add_caml_dir : string -> unit val add_dir : (bool -> string -> string list -> string -> unit) -> string -> string list -> unit val add_rec_dir : (bool -> string -> string list -> string -> unit) -> string -> string list -> unit -val add_rec_uppercase_subdirs : - (bool -> string -> string list -> string -> unit) -> string -> string list -> unit val treat_file : dir -> string -> unit val error_cannot_parse : string -> int * int -> 'a |