diff options
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/compile.ml | 2 | ||||
| -rw-r--r-- | driver/compile.mli | 2 | ||||
| -rw-r--r-- | driver/errors.ml | 2 | ||||
| -rw-r--r-- | driver/errors.mli | 2 | ||||
| -rw-r--r-- | driver/main.ml | 2 | ||||
| -rw-r--r-- | driver/main.mli | 2 | ||||
| -rw-r--r-- | driver/main_args.ml | 2 | ||||
| -rw-r--r-- | driver/main_args.mli | 2 | ||||
| -rw-r--r-- | driver/ocamlcomp.sh.in | 12 | ||||
| -rw-r--r-- | driver/optcompile.ml | 2 | ||||
| -rw-r--r-- | driver/optcompile.mli | 2 | ||||
| -rw-r--r-- | driver/opterrors.ml | 2 | ||||
| -rw-r--r-- | driver/opterrors.mli | 2 | ||||
| -rw-r--r-- | driver/optmain.ml | 2 | ||||
| -rw-r--r-- | driver/optmain.mli | 2 | ||||
| -rw-r--r-- | driver/pparse.ml | 2 | ||||
| -rw-r--r-- | driver/pparse.mli | 2 |
17 files changed, 28 insertions, 16 deletions
diff --git a/driver/compile.ml b/driver/compile.ml index 4e2d8566e..33a198ed8 100644 --- a/driver/compile.ml +++ b/driver/compile.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/driver/compile.mli b/driver/compile.mli index 507d61bbd..779239a8c 100644 --- a/driver/compile.mli +++ b/driver/compile.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/driver/errors.ml b/driver/errors.ml index 22dd1fc6a..9400e9ebc 100644 --- a/driver/errors.ml +++ b/driver/errors.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/driver/errors.mli b/driver/errors.mli index ac203a53e..9f7020d08 100644 --- a/driver/errors.mli +++ b/driver/errors.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/driver/main.ml b/driver/main.ml index e8f8021c9..a2246f75f 100644 --- a/driver/main.ml +++ b/driver/main.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/driver/main.mli b/driver/main.mli index d175a3ca2..b949bb0fe 100644 --- a/driver/main.mli +++ b/driver/main.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Damien Doligez, projet Moscova, INRIA Rocquencourt *) (* *) diff --git a/driver/main_args.ml b/driver/main_args.ml index ca6258d4b..4a7136b29 100644 --- a/driver/main_args.ml +++ b/driver/main_args.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Damien Doligez, projet Para, INRIA Rocquencourt *) (* *) diff --git a/driver/main_args.mli b/driver/main_args.mli index 3abe626e8..2c1a965f2 100644 --- a/driver/main_args.mli +++ b/driver/main_args.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Damien Doligez, projet Para, INRIA Rocquencourt *) (* *) diff --git a/driver/ocamlcomp.sh.in b/driver/ocamlcomp.sh.in index 2aeb2de20..fc0a8e113 100644 --- a/driver/ocamlcomp.sh.in +++ b/driver/ocamlcomp.sh.in @@ -1,5 +1,17 @@ #!/bin/sh +######################################################################### +# # +# OCaml # +# # +# Jacques Garrigue, Kyoto University RIMS # +# # +# Copyright 2002 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. # +# # +######################################################################### + topdir=`dirname $0` exec @compiler@ -nostdlib -I $topdir/stdlib "$@" diff --git a/driver/optcompile.ml b/driver/optcompile.ml index 29afc628d..ada7d9f71 100644 --- a/driver/optcompile.ml +++ b/driver/optcompile.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/driver/optcompile.mli b/driver/optcompile.mli index 507d61bbd..779239a8c 100644 --- a/driver/optcompile.mli +++ b/driver/optcompile.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/driver/opterrors.ml b/driver/opterrors.ml index 581781997..f931990a4 100644 --- a/driver/opterrors.ml +++ b/driver/opterrors.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/driver/opterrors.mli b/driver/opterrors.mli index d09dc733b..94966741b 100644 --- a/driver/opterrors.mli +++ b/driver/opterrors.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/driver/optmain.ml b/driver/optmain.ml index d285bc535..6184d513f 100644 --- a/driver/optmain.ml +++ b/driver/optmain.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/driver/optmain.mli b/driver/optmain.mli index 628d2d398..701508af2 100644 --- a/driver/optmain.mli +++ b/driver/optmain.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Damien Doligez, projet Moscova, INRIA Rocquencourt *) (* *) diff --git a/driver/pparse.ml b/driver/pparse.ml index 0622ddad9..5d27beeb4 100644 --- a/driver/pparse.ml +++ b/driver/pparse.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Daniel de Rauglaudre, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/driver/pparse.mli b/driver/pparse.mli index 0ed039136..96c2594f1 100644 --- a/driver/pparse.mli +++ b/driver/pparse.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Daniel de Rauglaudre, projet Cristal, INRIA Rocquencourt *) (* *) |