diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1996-11-29 16:55:09 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1996-11-29 16:55:09 +0000 |
| commit | db037c79de1e5ba6d5c0d6c117ecc9dcd5fe35eb (patch) | |
| tree | fea4b40c941bfabb578b5848eae6bcfca0f0d04c /debugger/unix_tools.mli | |
| parent | 30caadf9e719e79980189a71375921ad03e790e7 (diff) | |
Premier jet du portage OCaml
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1209 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'debugger/unix_tools.mli')
| -rw-r--r-- | debugger/unix_tools.mli | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/debugger/unix_tools.mli b/debugger/unix_tools.mli new file mode 100644 index 000000000..6672e925c --- /dev/null +++ b/debugger/unix_tools.mli @@ -0,0 +1,31 @@ +(***********************************************************************) +(* *) +(* 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 *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + +(**************************** 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 |