Inital import

[l4.git] / l4 / pkg / ocaml / contrib / debugger / unix_tools.mli

diff --git a/l4/pkg/ocaml/contrib/debugger/unix_tools.mli b/l4/pkg/ocaml/contrib/debugger/unix_tools.mli
new file mode 100644 (file)
index 0000000..3a702b9
--- /dev/null
+++ b/l4/pkg/ocaml/contrib/debugger/unix_tools.mli
@@ -0,0 +1,34 @@
+(***********************************************************************)
+(*                                                                     *)
+(*                           Objective Caml                            *)
+(*                                                                     *)
+(*          Jerome Vouillon, projet Cristal, INRIA Rocquencourt        *)
+(*          Objective Caml port by John Malecki and Xavier Leroy       *)
+(*                                                                     *)
+(*  Copyright 1996 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.               *)
+(*                                                                     *)
+(***********************************************************************)
+
+(* $Id: unix_tools.mli 5232 2002-11-02 22:36:46Z doligez $ *)
+
+(**************************** Tools for Unix ***************************)
+
+open Unix
+
+(* Convert a socket name into a socket address. *)
+val convert_address : string -> socket_domain * sockaddr
+
+(* Report an unix error. *)
+val report_error : exn -> unit
+
+(* Find program `name' in `PATH'. *)
+(* Return the full path if found. *)
+(* Raise `Not_found' otherwise. *)
+val search_in_path : string -> string
+
+(* Path expansion. *)
+val expand_path : string -> string
+
+val make_absolute : string -> string