]> rtime.felk.cvut.cz Git - l4.git/blobdiff - l4/pkg/ocaml/contrib/ocamlbuild/shell.mli
Inital import
[l4.git] / l4 / pkg / ocaml / contrib / ocamlbuild / shell.mli
diff --git a/l4/pkg/ocaml/contrib/ocamlbuild/shell.mli b/l4/pkg/ocaml/contrib/ocamlbuild/shell.mli
new file mode 100644 (file)
index 0000000..d393c7b
--- /dev/null
@@ -0,0 +1,26 @@
+(***********************************************************************)
+(*                             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.               *)
+(*                                                                     *)
+(***********************************************************************)
+
+
+(* Original author: Nicolas Pouillard *)
+val is_simple_filename : string -> bool
+val quote_filename_if_needed : string -> string
+val chdir : string -> unit
+val rm : string -> unit
+val rm_f : string -> unit
+val rm_rf : string -> unit
+val mkdir : string -> unit
+val try_mkdir : string -> unit
+val mkdir_p : string -> unit
+val cp : string -> string -> unit
+val mv : string -> string -> unit
+val readlink : string -> string
+val is_link : string -> bool