diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-08-09 15:06:35 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-08-09 15:06:35 +0000 |
| commit | e4066357b1c6fc307634918f719fc7ac9b998c6c (patch) | |
| tree | 117cd8651077ad48cfc8d8f173c299630274ac40 /otherlibs/unix | |
| parent | 45eef064358cfe64a8f0c20087c8ea7b6600c615 (diff) | |
Ajout des notices de copyright
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/unix')
92 files changed, 1196 insertions, 0 deletions
diff --git a/otherlibs/unix/accept.c b/otherlibs/unix/accept.c index 001866319..181970e22 100644 --- a/otherlibs/unix/accept.c +++ b/otherlibs/unix/accept.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include <memory.h> diff --git a/otherlibs/unix/access.c b/otherlibs/unix/access.c index d23ee68b6..d3cd59205 100644 --- a/otherlibs/unix/access.c +++ b/otherlibs/unix/access.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include "unix.h" diff --git a/otherlibs/unix/addrofstr.c b/otherlibs/unix/addrofstr.c index 393e32fb0..0070f1262 100644 --- a/otherlibs/unix/addrofstr.c +++ b/otherlibs/unix/addrofstr.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <fail.h> #include "unix.h" diff --git a/otherlibs/unix/alarm.c b/otherlibs/unix/alarm.c index a4bd78c9d..51dfaf9b4 100644 --- a/otherlibs/unix/alarm.c +++ b/otherlibs/unix/alarm.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/bind.c b/otherlibs/unix/bind.c index 1684ccb18..06ea00eca 100644 --- a/otherlibs/unix/bind.c +++ b/otherlibs/unix/bind.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/chdir.c b/otherlibs/unix/chdir.c index ec7aeb465..146dc5a12 100644 --- a/otherlibs/unix/chdir.c +++ b/otherlibs/unix/chdir.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/chmod.c b/otherlibs/unix/chmod.c index ebfa6368b..7d2d68d50 100644 --- a/otherlibs/unix/chmod.c +++ b/otherlibs/unix/chmod.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/chown.c b/otherlibs/unix/chown.c index b7ea57d6d..5f3fcbf55 100644 --- a/otherlibs/unix/chown.c +++ b/otherlibs/unix/chown.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/chroot.c b/otherlibs/unix/chroot.c index 6f5954b66..5c1df641e 100644 --- a/otherlibs/unix/chroot.c +++ b/otherlibs/unix/chroot.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/close.c b/otherlibs/unix/close.c index 47ea2ef1d..3d122c168 100644 --- a/otherlibs/unix/close.c +++ b/otherlibs/unix/close.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/closedir.c b/otherlibs/unix/closedir.c index 2701e51d6..e418a1887 100644 --- a/otherlibs/unix/closedir.c +++ b/otherlibs/unix/closedir.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" #include <sys/types.h> diff --git a/otherlibs/unix/connect.c b/otherlibs/unix/connect.c index 51eee4305..66f20ae66 100644 --- a/otherlibs/unix/connect.c +++ b/otherlibs/unix/connect.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/cst2constr.c b/otherlibs/unix/cst2constr.c index 7a0bb95ad..95967f2ec 100644 --- a/otherlibs/unix/cst2constr.c +++ b/otherlibs/unix/cst2constr.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <fail.h> #include "cst2constr.h" diff --git a/otherlibs/unix/cst2constr.h b/otherlibs/unix/cst2constr.h index e4b45b876..e46e5a1dc 100644 --- a/otherlibs/unix/cst2constr.h +++ b/otherlibs/unix/cst2constr.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #ifdef __STDC__ value cst_to_constr(int, int *, int, int); #else diff --git a/otherlibs/unix/cstringv.c b/otherlibs/unix/cstringv.c index 8c2fa1e56..d6a673603 100644 --- a/otherlibs/unix/cstringv.c +++ b/otherlibs/unix/cstringv.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <memory.h> #include "unix.h" diff --git a/otherlibs/unix/dup.c b/otherlibs/unix/dup.c index 5ee521305..d7cfd3aef 100644 --- a/otherlibs/unix/dup.c +++ b/otherlibs/unix/dup.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/dup2.c b/otherlibs/unix/dup2.c index e8fbc3647..9f2b406ed 100644 --- a/otherlibs/unix/dup2.c +++ b/otherlibs/unix/dup2.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/envir.c b/otherlibs/unix/envir.c index a9489fe87..9769e2efd 100644 --- a/otherlibs/unix/envir.c +++ b/otherlibs/unix/envir.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> diff --git a/otherlibs/unix/errmsg.c b/otherlibs/unix/errmsg.c index 2da459913..3e663f6d2 100644 --- a/otherlibs/unix/errmsg.c +++ b/otherlibs/unix/errmsg.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <errno.h> #include <mlvalues.h> #include <alloc.h> diff --git a/otherlibs/unix/execv.c b/otherlibs/unix/execv.c index 851d331cb..5404e11e9 100644 --- a/otherlibs/unix/execv.c +++ b/otherlibs/unix/execv.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <memory.h> #include "unix.h" diff --git a/otherlibs/unix/execve.c b/otherlibs/unix/execve.c index ecdad4104..74721c83e 100644 --- a/otherlibs/unix/execve.c +++ b/otherlibs/unix/execve.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <memory.h> #include "unix.h" diff --git a/otherlibs/unix/execvp.c b/otherlibs/unix/execvp.c index d8f77bfab..59f6c4848 100644 --- a/otherlibs/unix/execvp.c +++ b/otherlibs/unix/execvp.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <memory.h> #include "unix.h" diff --git a/otherlibs/unix/exit.c b/otherlibs/unix/exit.c index c3cf6572c..1c40845aa 100644 --- a/otherlibs/unix/exit.c +++ b/otherlibs/unix/exit.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/fchmod.c b/otherlibs/unix/fchmod.c index fd74353c0..f1864aaab 100644 --- a/otherlibs/unix/fchmod.c +++ b/otherlibs/unix/fchmod.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/fchown.c b/otherlibs/unix/fchown.c index 4aaa2ae55..4f963ff7f 100644 --- a/otherlibs/unix/fchown.c +++ b/otherlibs/unix/fchown.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/fcntl.c b/otherlibs/unix/fcntl.c index 14535c3e0..2f2c87111 100644 --- a/otherlibs/unix/fcntl.c +++ b/otherlibs/unix/fcntl.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/fork.c b/otherlibs/unix/fork.c index 046dd894c..d24b0a59a 100644 --- a/otherlibs/unix/fork.c +++ b/otherlibs/unix/fork.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/ftruncate.c b/otherlibs/unix/ftruncate.c index 769ff86fb..58ec40d08 100644 --- a/otherlibs/unix/ftruncate.c +++ b/otherlibs/unix/ftruncate.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/getcwd.c b/otherlibs/unix/getcwd.c index 7bbddf12d..bb1089759 100644 --- a/otherlibs/unix/getcwd.c +++ b/otherlibs/unix/getcwd.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include "unix.h" diff --git a/otherlibs/unix/getegid.c b/otherlibs/unix/getegid.c index 482177410..f65391377 100644 --- a/otherlibs/unix/getegid.c +++ b/otherlibs/unix/getegid.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/geteuid.c b/otherlibs/unix/geteuid.c index e7e8d4c4a..d91f1521c 100644 --- a/otherlibs/unix/geteuid.c +++ b/otherlibs/unix/geteuid.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/getgid.c b/otherlibs/unix/getgid.c index 81debfa05..002baf9d0 100644 --- a/otherlibs/unix/getgid.c +++ b/otherlibs/unix/getgid.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/getgr.c b/otherlibs/unix/getgr.c index 7cec68101..e12186a24 100644 --- a/otherlibs/unix/getgr.c +++ b/otherlibs/unix/getgr.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <fail.h> #include <alloc.h> diff --git a/otherlibs/unix/getgroups.c b/otherlibs/unix/getgroups.c index b5c1d52e4..ed9991b7e 100644 --- a/otherlibs/unix/getgroups.c +++ b/otherlibs/unix/getgroups.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> diff --git a/otherlibs/unix/gethost.c b/otherlibs/unix/gethost.c index a7dcdca36..b2c2c11c3 100644 --- a/otherlibs/unix/gethost.c +++ b/otherlibs/unix/gethost.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include <memory.h> diff --git a/otherlibs/unix/gethostname.c b/otherlibs/unix/gethostname.c index 4c11c6b2a..04dcd4bb2 100644 --- a/otherlibs/unix/gethostname.c +++ b/otherlibs/unix/gethostname.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include <sys/param.h> diff --git a/otherlibs/unix/getlogin.c b/otherlibs/unix/getlogin.c index 72274a7d9..115857c9f 100644 --- a/otherlibs/unix/getlogin.c +++ b/otherlibs/unix/getlogin.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include "unix.h" diff --git a/otherlibs/unix/getpeername.c b/otherlibs/unix/getpeername.c index 9d2e36736..c2c767c1e 100644 --- a/otherlibs/unix/getpeername.c +++ b/otherlibs/unix/getpeername.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/getpid.c b/otherlibs/unix/getpid.c index b8082b95f..23abb2a61 100644 --- a/otherlibs/unix/getpid.c +++ b/otherlibs/unix/getpid.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/getppid.c b/otherlibs/unix/getppid.c index 4b76b736e..4d0b38bc9 100644 --- a/otherlibs/unix/getppid.c +++ b/otherlibs/unix/getppid.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/getproto.c b/otherlibs/unix/getproto.c index aed732de0..9510195d9 100644 --- a/otherlibs/unix/getproto.c +++ b/otherlibs/unix/getproto.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include <memory.h> diff --git a/otherlibs/unix/getpw.c b/otherlibs/unix/getpw.c index 6a00f0fe9..75f042b49 100644 --- a/otherlibs/unix/getpw.c +++ b/otherlibs/unix/getpw.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include <memory.h> diff --git a/otherlibs/unix/getserv.c b/otherlibs/unix/getserv.c index 0d2534a61..11da23153 100644 --- a/otherlibs/unix/getserv.c +++ b/otherlibs/unix/getserv.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include <memory.h> diff --git a/otherlibs/unix/getsockname.c b/otherlibs/unix/getsockname.c index 40cc1a663..2d4876658 100644 --- a/otherlibs/unix/getsockname.c +++ b/otherlibs/unix/getsockname.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/getuid.c b/otherlibs/unix/getuid.c index 558e5e299..d79347e22 100644 --- a/otherlibs/unix/getuid.c +++ b/otherlibs/unix/getuid.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/gmtime.c b/otherlibs/unix/gmtime.c index 3a85c00f3..a2e63c045 100644 --- a/otherlibs/unix/gmtime.c +++ b/otherlibs/unix/gmtime.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include "unix.h" diff --git a/otherlibs/unix/ioctl.c b/otherlibs/unix/ioctl.c index 024178544..fc9e24c53 100644 --- a/otherlibs/unix/ioctl.c +++ b/otherlibs/unix/ioctl.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/kill.c b/otherlibs/unix/kill.c index a552d0931..d9ff474bc 100644 --- a/otherlibs/unix/kill.c +++ b/otherlibs/unix/kill.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <fail.h> #include "unix.h" diff --git a/otherlibs/unix/link.c b/otherlibs/unix/link.c index 3c7ef671d..aaca7faed 100644 --- a/otherlibs/unix/link.c +++ b/otherlibs/unix/link.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/listen.c b/otherlibs/unix/listen.c index d3791a2c4..54b413979 100644 --- a/otherlibs/unix/listen.c +++ b/otherlibs/unix/listen.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/lockf.c b/otherlibs/unix/lockf.c index d85d1d1b3..f69c2caab 100644 --- a/otherlibs/unix/lockf.c +++ b/otherlibs/unix/lockf.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/lseek.c b/otherlibs/unix/lseek.c index 4a34787f7..4adc9d323 100644 --- a/otherlibs/unix/lseek.c +++ b/otherlibs/unix/lseek.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/mkdir.c b/otherlibs/unix/mkdir.c index a65157532..9e70f3315 100644 --- a/otherlibs/unix/mkdir.c +++ b/otherlibs/unix/mkdir.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/mkfifo.c b/otherlibs/unix/mkfifo.c index 453bcfc5e..3bdf31687 100644 --- a/otherlibs/unix/mkfifo.c +++ b/otherlibs/unix/mkfifo.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/nice.c b/otherlibs/unix/nice.c index 8fc265adb..31af31687 100644 --- a/otherlibs/unix/nice.c +++ b/otherlibs/unix/nice.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" #include <errno.h> diff --git a/otherlibs/unix/open.c b/otherlibs/unix/open.c index bec1e8ed8..795a787fa 100644 --- a/otherlibs/unix/open.c +++ b/otherlibs/unix/open.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include "unix.h" diff --git a/otherlibs/unix/opendir.c b/otherlibs/unix/opendir.c index 0fa82657f..14292349c 100644 --- a/otherlibs/unix/opendir.c +++ b/otherlibs/unix/opendir.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" #include <sys/types.h> diff --git a/otherlibs/unix/pause.c b/otherlibs/unix/pause.c index 126c310f9..a1ec4d12b 100644 --- a/otherlibs/unix/pause.c +++ b/otherlibs/unix/pause.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/pipe.c b/otherlibs/unix/pipe.c index 102aeafb9..17c34326b 100644 --- a/otherlibs/unix/pipe.c +++ b/otherlibs/unix/pipe.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include "unix.h" diff --git a/otherlibs/unix/read.c b/otherlibs/unix/read.c index 18ba74d66..49485ce43 100644 --- a/otherlibs/unix/read.c +++ b/otherlibs/unix/read.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/readdir.c b/otherlibs/unix/readdir.c index c544b6e51..15dcd14df 100644 --- a/otherlibs/unix/readdir.c +++ b/otherlibs/unix/readdir.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <fail.h> #include <alloc.h> diff --git a/otherlibs/unix/readlink.c b/otherlibs/unix/readlink.c index ffd979da5..f49118812 100644 --- a/otherlibs/unix/readlink.c +++ b/otherlibs/unix/readlink.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> diff --git a/otherlibs/unix/rename.c b/otherlibs/unix/rename.c index b6cc1e21d..d90fb5f2e 100644 --- a/otherlibs/unix/rename.c +++ b/otherlibs/unix/rename.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/rewinddir.c b/otherlibs/unix/rewinddir.c index 9539e0923..c8253a5b8 100644 --- a/otherlibs/unix/rewinddir.c +++ b/otherlibs/unix/rewinddir.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" #include <sys/types.h> diff --git a/otherlibs/unix/rmdir.c b/otherlibs/unix/rmdir.c index dcf5a5493..100fed2da 100644 --- a/otherlibs/unix/rmdir.c +++ b/otherlibs/unix/rmdir.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/select.c b/otherlibs/unix/select.c index a9499f2cd..ae1f5600a 100644 --- a/otherlibs/unix/select.c +++ b/otherlibs/unix/select.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include <memory.h> diff --git a/otherlibs/unix/sendrecv.c b/otherlibs/unix/sendrecv.c index 82f7ebf1d..58a896ecc 100644 --- a/otherlibs/unix/sendrecv.c +++ b/otherlibs/unix/sendrecv.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include <memory.h> diff --git a/otherlibs/unix/setgid.c b/otherlibs/unix/setgid.c index eff8a444f..c63215aba 100644 --- a/otherlibs/unix/setgid.c +++ b/otherlibs/unix/setgid.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/setuid.c b/otherlibs/unix/setuid.c index 31bba023f..0756e0a6d 100644 --- a/otherlibs/unix/setuid.c +++ b/otherlibs/unix/setuid.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/shutdown.c b/otherlibs/unix/shutdown.c index bd37c1e5b..d264465d0 100644 --- a/otherlibs/unix/shutdown.c +++ b/otherlibs/unix/shutdown.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/sleep.c b/otherlibs/unix/sleep.c index 6abc80edf..fb5d916db 100644 --- a/otherlibs/unix/sleep.c +++ b/otherlibs/unix/sleep.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/socket.c b/otherlibs/unix/socket.c index 9ad189507..e0374a3ec 100644 --- a/otherlibs/unix/socket.c +++ b/otherlibs/unix/socket.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/socketaddr.c b/otherlibs/unix/socketaddr.c index 2e9c860de..f2c2c6730 100644 --- a/otherlibs/unix/socketaddr.c +++ b/otherlibs/unix/socketaddr.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include <memory.h> diff --git a/otherlibs/unix/socketaddr.h b/otherlibs/unix/socketaddr.h index 256148b98..3d09c5689 100644 --- a/otherlibs/unix/socketaddr.h +++ b/otherlibs/unix/socketaddr.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <misc.h> #include <sys/types.h> #include <sys/socket.h> diff --git a/otherlibs/unix/socketpair.c b/otherlibs/unix/socketpair.c index 0b84dea1d..7a9fc8490 100644 --- a/otherlibs/unix/socketpair.c +++ b/otherlibs/unix/socketpair.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include "unix.h" diff --git a/otherlibs/unix/stat.c b/otherlibs/unix/stat.c index 5b19049b3..9d5a1b1b8 100644 --- a/otherlibs/unix/stat.c +++ b/otherlibs/unix/stat.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include "unix.h" diff --git a/otherlibs/unix/strofaddr.c b/otherlibs/unix/strofaddr.c index 340798946..137b7940b 100644 --- a/otherlibs/unix/strofaddr.c +++ b/otherlibs/unix/strofaddr.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include "unix.h" diff --git a/otherlibs/unix/symlink.c b/otherlibs/unix/symlink.c index e4fdabd94..cb95f3436 100644 --- a/otherlibs/unix/symlink.c +++ b/otherlibs/unix/symlink.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/termios.c b/otherlibs/unix/termios.c index 78bf0d073..8ac91ea54 100644 --- a/otherlibs/unix/termios.c +++ b/otherlibs/unix/termios.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include "unix.h" diff --git a/otherlibs/unix/time.c b/otherlibs/unix/time.c index 5cf811b47..35e0bdc6e 100644 --- a/otherlibs/unix/time.c +++ b/otherlibs/unix/time.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/times.c b/otherlibs/unix/times.c index a64ec327c..7e16a71f7 100644 --- a/otherlibs/unix/times.c +++ b/otherlibs/unix/times.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include <memory.h> diff --git a/otherlibs/unix/truncate.c b/otherlibs/unix/truncate.c index 1226df122..e0fa53854 100644 --- a/otherlibs/unix/truncate.c +++ b/otherlibs/unix/truncate.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/umask.c b/otherlibs/unix/umask.c index e5581fb2b..f7a8e4807 100644 --- a/otherlibs/unix/umask.c +++ b/otherlibs/unix/umask.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/unix.c b/otherlibs/unix/unix.c index 848b650e5..2f79f906f 100644 --- a/otherlibs/unix/unix.c +++ b/otherlibs/unix/unix.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include <memory.h> diff --git a/otherlibs/unix/unix.h b/otherlibs/unix/unix.h index 1c419fca8..5a26a7c3d 100644 --- a/otherlibs/unix/unix.h +++ b/otherlibs/unix/unix.h @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #define Nothing ((value) 0) #ifndef NULL diff --git a/otherlibs/unix/unix.ml b/otherlibs/unix/unix.ml index b17baefdb..9440f79a1 100644 --- a/otherlibs/unix/unix.ml +++ b/otherlibs/unix/unix.ml @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + type error = ENOERR | EPERM diff --git a/otherlibs/unix/unix.mli b/otherlibs/unix/unix.mli index e48976aee..3b48a8d41 100644 --- a/otherlibs/unix/unix.mli +++ b/otherlibs/unix/unix.mli @@ -1,3 +1,16 @@ +(***********************************************************************) +(* *) +(* Caml Special Light *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Automatique. Distributed only by permission. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + (* Interface to the Unix system *) (*** Error report *) diff --git a/otherlibs/unix/unlink.c b/otherlibs/unix/unlink.c index 67684f473..ce112529a 100644 --- a/otherlibs/unix/unlink.c +++ b/otherlibs/unix/unlink.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/utimes.c b/otherlibs/unix/utimes.c index 2c481829e..71f433160 100644 --- a/otherlibs/unix/utimes.c +++ b/otherlibs/unix/utimes.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" diff --git a/otherlibs/unix/wait.c b/otherlibs/unix/wait.c index 1f41da9f3..12579ddac 100644 --- a/otherlibs/unix/wait.c +++ b/otherlibs/unix/wait.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include <memory.h> diff --git a/otherlibs/unix/waitpid.c b/otherlibs/unix/waitpid.c index 9761a3852..934bfc7c2 100644 --- a/otherlibs/unix/waitpid.c +++ b/otherlibs/unix/waitpid.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include <alloc.h> #include <memory.h> diff --git a/otherlibs/unix/write.c b/otherlibs/unix/write.c index acb6f3331..99ab72131 100644 --- a/otherlibs/unix/write.c +++ b/otherlibs/unix/write.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + #include <mlvalues.h> #include "unix.h" |