Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

41 lines (29 sloc) 1.539 kB
(************************************************************************)
(* v * The Coq Proof Assistant / The Coq Development Team *)
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
(* \VV/ **************************************************************)
(* // * This file is distributed under the terms of the *)
(* * GNU Lesser General Public License Version 2.1 *)
(************************************************************************)
(** {5 System utilities} *)
type physical_path = string
type load_path = physical_path list
val canonical_path_name : string -> string
val remove_path_dot : string -> string
val strip_path : string -> string
(** correct_path f dir = dir/f if f is relative *)
val correct_path : string -> string -> string
val physical_path_of_string : string -> physical_path
val string_of_physical_path : physical_path -> string
val path_to_list : string -> string list
val make_suffix : string -> string -> string
val file_readable_p : string -> bool
(** {6 Executing commands } *)
(** [run_command converter f com] launches command [com], and returns
the contents of stdout and stderr that have been processed with
[converter]; the processed contents of stdout and stderr is also
passed to [f] *)
val run_command : (string -> string) -> (string -> unit) -> string ->
Unix.process_status * string
(** checks if two file names refer to the same (existing) file *)
val same_file : string -> string -> bool
Jump to Line
Something went wrong with that request. Please try again.