blob: c6bcf63475ec59a35fe045e07e9890a03c05febf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
(************************************************************************)
(* v * The Coq Proof Assistant / The Coq Development Team *)
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2016 *)
(* \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 physical_path_of_string : string -> physical_path
val string_of_physical_path : physical_path -> string
val canonical_path_name : string -> string
(** remove all initial "./" in a path *)
val remove_path_dot : string -> string
(** If a path [p] starts with the current directory $PWD then
[strip_path p] returns the sub-path relative to $PWD.
Any leading "./" are also removed from the result. *)
val strip_path : string -> string
(** correct_path f dir = dir/f if f is relative *)
val correct_path : string -> string -> string
val path_to_list : string -> string list
(** [make_suffix file suf] catenate [file] with [suf] when
[file] does not already end with [suf]. *)
val make_suffix : string -> string -> string
(** Return the extension of a file, i.e. its smaller suffix starting
with "." if any, or "" otherwise. *)
val get_extension : string -> string
val file_readable_p : string -> bool
(** {6 Executing commands } *)
(** [run_command com] launches command [com], and returns
the contents of stdout and stderr. If given, [~hook]
is called on each elements read on stdout or stderr. *)
val run_command :
?hook:(bytes->unit) -> string -> Unix.process_status * string
(** [sys_command] launches program [prog] with arguments [args].
It behaves like [Sys.command], except that we rely on
[Unix.create_process], it's hardly more complex and avoids dealing
with shells. In particular, no need to quote arguments
(against whitespace or other funny chars in paths), hence no need
to care about the different quoting conventions of /bin/sh and cmd.exe. *)
val sys_command : string -> string list -> Unix.process_status
(** A version of [Unix.waitpid] immune to EINTR exceptions *)
val waitpid_non_intr : int -> Unix.process_status
(** checks if two file names refer to the same (existing) file *)
val same_file : string -> string -> bool
|
