1 (***********************************************************************)
4 (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *)
6 (* Copyright 2007 Institut National de Recherche en Informatique et *)
7 (* en Automatique. All rights reserved. This file is distributed *)
8 (* under the terms of the Q Public License version 1.0. *)
10 (***********************************************************************)
13 (* Original author: Nicolas Pouillard *)
14 val is_simple_filename : string -> bool
15 val quote_filename_if_needed : string -> string
16 val chdir : string -> unit
17 val rm : string -> unit
18 val rm_f : string -> unit
19 val rm_rf : string -> unit
20 val mkdir : string -> unit
21 val try_mkdir : string -> unit
22 val mkdir_p : string -> unit
23 val cp : string -> string -> unit
24 val mv : string -> string -> unit
25 val readlink : string -> string
26 val is_link : string -> bool