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 /driver | |
| parent | 45eef064358cfe64a8f0c20087c8ea7b6600c615 (diff) | |
| download | ocaml-e4066357b1c6fc307634918f719fc7ac9b998c6c.tar.gz | |
Ajout des notices de copyright
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/compile.ml | 13 | ||||
| -rw-r--r-- | driver/compile.mli | 13 | ||||
| -rw-r--r-- | driver/errors.ml | 13 | ||||
| -rw-r--r-- | driver/errors.mli | 13 | ||||
| -rw-r--r-- | driver/main.ml | 13 | ||||
| -rw-r--r-- | driver/optcompile.ml | 13 | ||||
| -rw-r--r-- | driver/optcompile.mli | 13 | ||||
| -rw-r--r-- | driver/opterrors.ml | 13 | ||||
| -rw-r--r-- | driver/opterrors.mli | 13 | ||||
| -rw-r--r-- | driver/optmain.ml | 13 |
10 files changed, 130 insertions, 0 deletions
diff --git a/driver/compile.ml b/driver/compile.ml index 03205a66f0..0cf5b3ef40 100644 --- a/driver/compile.ml +++ b/driver/compile.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$ *) + (* The batch compiler *) open Misc diff --git a/driver/compile.mli b/driver/compile.mli index 0df7451f36..5dc85f2702 100644 --- a/driver/compile.mli +++ b/driver/compile.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$ *) + (* Compile a .ml or .mli file *) val interface: string -> unit diff --git a/driver/errors.ml b/driver/errors.ml index f17314ad2c..28d1846b83 100644 --- a/driver/errors.ml +++ b/driver/errors.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$ *) + (* Error report *) open Format diff --git a/driver/errors.mli b/driver/errors.mli index abe8636153..3c5747413c 100644 --- a/driver/errors.mli +++ b/driver/errors.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$ *) + (* Error report *) val report_error: exn -> unit diff --git a/driver/main.ml b/driver/main.ml index a63ae7eb1a..fd2858ab67 100644 --- a/driver/main.ml +++ b/driver/main.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$ *) + open Clflags let process_file name = diff --git a/driver/optcompile.ml b/driver/optcompile.ml index 94b6392f3c..69788b372b 100644 --- a/driver/optcompile.ml +++ b/driver/optcompile.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$ *) + (* The batch compiler *) open Misc diff --git a/driver/optcompile.mli b/driver/optcompile.mli index 0df7451f36..5dc85f2702 100644 --- a/driver/optcompile.mli +++ b/driver/optcompile.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$ *) + (* Compile a .ml or .mli file *) val interface: string -> unit diff --git a/driver/opterrors.ml b/driver/opterrors.ml index e0948bf329..23d15ae491 100644 --- a/driver/opterrors.ml +++ b/driver/opterrors.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$ *) + (* Error report *) open Format diff --git a/driver/opterrors.mli b/driver/opterrors.mli index abe8636153..3c5747413c 100644 --- a/driver/opterrors.mli +++ b/driver/opterrors.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$ *) + (* Error report *) val report_error: exn -> unit diff --git a/driver/optmain.ml b/driver/optmain.ml index 69508b7d1d..b5d5edc6e3 100644 --- a/driver/optmain.ml +++ b/driver/optmain.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$ *) + open Clflags let process_file name = |