diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2012-08-02 08:17:59 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2012-08-02 08:17:59 +0000 |
| commit | 6be05dae42f9275dc3b3153aea15f8387a239a33 (patch) | |
| tree | 3e793cc82da54923d8cfe392576b30a0de87a726 | |
| parent | 3f52e9dfb3561c570cc916eea0e48b762ad97e0c (diff) | |
add some missing copyright headers
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12814 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
26 files changed, 323 insertions, 1 deletions
diff --git a/build/camlp4-bootstrap-recipe.txt b/build/camlp4-bootstrap-recipe.txt index 120603801..3be131994 100644 --- a/build/camlp4-bootstrap-recipe.txt +++ b/build/camlp4-bootstrap-recipe.txt @@ -1,3 +1,15 @@ +######################################################################### +# # +# OCaml # +# # +# Nicolas Pouillard, projet Gallium, INRIA Rocquencourt # +# # +# Copyright 2010 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. # +# # +######################################################################### + === Initial setup === make clean ./build/distclean.sh diff --git a/build/new-build-system b/build/new-build-system index 690ea4ad1..acd7125d2 100644 --- a/build/new-build-system +++ b/build/new-build-system @@ -1,3 +1,15 @@ +######################################################################### +# # +# OCaml # +# # +# Nicolas Pouillard, projet Gallium, INRIA Rocquencourt # +# # +# Copyright 2007 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. # +# # +######################################################################### + _tags # Defines tags to setup exceptions myocamlbuild.ml # Contains all needed rules that are differents boot/ocamldep diff --git a/config/auto-aux/tryassemble b/config/auto-aux/tryassemble index 7cd5582c8..06b9b27c8 100644 --- a/config/auto-aux/tryassemble +++ b/config/auto-aux/tryassemble @@ -1,4 +1,18 @@ #!/bin/sh + +######################################################################### +# # +# OCaml # +# # +# Xavier Leroy, projet Cristal, INRIA Rocquencourt # +# # +# Copyright 2012 Institut National de Recherche en Informatique et # +# en Automatique. All rights reserved. This file is distributed # +# under the terms of the GNU Library General Public License, with # +# the special exception on linking described in file ../../LICENSE. # +# # +######################################################################### + if test "$verbose" = yes; then echo "tryassemble: $aspp -o tst $*" >&2 $aspp -o tst $* || exit 100 diff --git a/emacs/caml-font.el b/emacs/caml-font.el index d0eeb5c83..0f35655b1 100644 --- a/emacs/caml-font.el +++ b/emacs/caml-font.el @@ -1,3 +1,15 @@ +;(***********************************************************************) +;(* *) +;(* OCaml *) +;(* *) +;(* Jacques Garrigue, Ian T Zimmerman, Damien Doligez *) +;(* *) +;(* Copyright 1997 Institut National de Recherche en Informatique et *) +;(* en Automatique. All rights reserved. This file is distributed *) +;(* under the terms of the GNU General Public License. *) +;(* *) +;(***********************************************************************) + ;; caml-font: font-lock support for OCaml files ;; now with perfect parsing of comments and strings diff --git a/ocamldoc/generators/odoc_literate.ml b/ocamldoc/generators/odoc_literate.ml index 6a1e0783e..c0234c1f0 100644 --- a/ocamldoc/generators/odoc_literate.ml +++ b/ocamldoc/generators/odoc_literate.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* OCamldoc *) (* *) (* Maxence Guesdon, projet Cristal, INRIA Rocquencourt *) diff --git a/ocamldoc/generators/odoc_todo.ml b/ocamldoc/generators/odoc_todo.ml index 626236cf1..0b4abc5aa 100644 --- a/ocamldoc/generators/odoc_todo.ml +++ b/ocamldoc/generators/odoc_todo.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* OCamldoc *) (* *) (* Maxence Guesdon, projet Cristal, INRIA Rocquencourt *) diff --git a/otherlibs/labltk/camltk/Makefile.gen.nt b/otherlibs/labltk/camltk/Makefile.gen.nt index 046b87823..4feb527f0 100644 --- a/otherlibs/labltk/camltk/Makefile.gen.nt +++ b/otherlibs/labltk/camltk/Makefile.gen.nt @@ -1 +1,17 @@ +####################################################################### +# # +# MLTk, Tcl/Tk interface of OCaml # +# # +# Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis # +# projet Cristal, INRIA Rocquencourt # +# Jacques Garrigue, Kyoto University RIMS # +# # +# Copyright 2002 Institut National de Recherche en Informatique et # +# en Automatique and Kyoto University. All rights reserved. # +# This file is distributed under the terms of the GNU Library # +# General Public License, with the special exception on linking # +# described in file LICENSE found in the OCaml source tree. # +# # +####################################################################### + include Makefile.gen diff --git a/otherlibs/labltk/camltk/Makefile.nt b/otherlibs/labltk/camltk/Makefile.nt index 2b0b5ab53..74203f039 100644 --- a/otherlibs/labltk/camltk/Makefile.nt +++ b/otherlibs/labltk/camltk/Makefile.nt @@ -1 +1,17 @@ +####################################################################### +# # +# MLTk, Tcl/Tk interface of OCaml # +# # +# Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis # +# projet Cristal, INRIA Rocquencourt # +# Jacques Garrigue, Kyoto University RIMS # +# # +# Copyright 2002 Institut National de Recherche en Informatique et # +# en Automatique and Kyoto University. All rights reserved. # +# This file is distributed under the terms of the GNU Library # +# General Public License, with the special exception on linking # +# described in file LICENSE found in the OCaml source tree. # +# # +####################################################################### + include Makefile diff --git a/otherlibs/labltk/compiler/Makefile.nt b/otherlibs/labltk/compiler/Makefile.nt index 2b0b5ab53..74203f039 100644 --- a/otherlibs/labltk/compiler/Makefile.nt +++ b/otherlibs/labltk/compiler/Makefile.nt @@ -1 +1,17 @@ +####################################################################### +# # +# MLTk, Tcl/Tk interface of OCaml # +# # +# Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis # +# projet Cristal, INRIA Rocquencourt # +# Jacques Garrigue, Kyoto University RIMS # +# # +# Copyright 2002 Institut National de Recherche en Informatique et # +# en Automatique and Kyoto University. All rights reserved. # +# This file is distributed under the terms of the GNU Library # +# General Public License, with the special exception on linking # +# described in file LICENSE found in the OCaml source tree. # +# # +####################################################################### + include Makefile diff --git a/otherlibs/labltk/examples_camltk/Makefile b/otherlibs/labltk/examples_camltk/Makefile index 52de5cd05..6eb0d4305 100644 --- a/otherlibs/labltk/examples_camltk/Makefile +++ b/otherlibs/labltk/examples_camltk/Makefile @@ -1,3 +1,19 @@ +####################################################################### +# # +# MLTk, Tcl/Tk interface of OCaml # +# # +# Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis # +# projet Cristal, INRIA Rocquencourt # +# Jacques Garrigue, Kyoto University RIMS # +# # +# Copyright 2002 Institut National de Recherche en Informatique et # +# en Automatique and Kyoto University. All rights reserved. # +# This file is distributed under the terms of the GNU Library # +# General Public License, with the special exception on linking # +# described in file LICENSE found in the OCaml source tree. # +# # +####################################################################### + include ../support/Makefile.common # We are using the non-installed library ! diff --git a/otherlibs/labltk/examples_camltk/Makefile.nt b/otherlibs/labltk/examples_camltk/Makefile.nt index bc6589ca5..d84c978cb 100644 --- a/otherlibs/labltk/examples_camltk/Makefile.nt +++ b/otherlibs/labltk/examples_camltk/Makefile.nt @@ -1,3 +1,19 @@ +####################################################################### +# # +# MLTk, Tcl/Tk interface of OCaml # +# # +# Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis # +# projet Cristal, INRIA Rocquencourt # +# Jacques Garrigue, Kyoto University RIMS # +# # +# Copyright 2002 Institut National de Recherche en Informatique et # +# en Automatique and Kyoto University. All rights reserved. # +# This file is distributed under the terms of the GNU Library # +# General Public License, with the special exception on linking # +# described in file LICENSE found in the OCaml source tree. # +# # +####################################################################### + include ../support/Makefile.common # We are using the non-installed library ! diff --git a/otherlibs/labltk/examples_labltk/Makefile b/otherlibs/labltk/examples_labltk/Makefile index 3fa02632b..ed5f4da77 100644 --- a/otherlibs/labltk/examples_labltk/Makefile +++ b/otherlibs/labltk/examples_labltk/Makefile @@ -1,3 +1,19 @@ +####################################################################### +# # +# MLTk, Tcl/Tk interface of OCaml # +# # +# Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis # +# projet Cristal, INRIA Rocquencourt # +# Jacques Garrigue, Kyoto University RIMS # +# # +# Copyright 2002 Institut National de Recherche en Informatique et # +# en Automatique and Kyoto University. All rights reserved. # +# This file is distributed under the terms of the GNU Library # +# General Public License, with the special exception on linking # +# described in file LICENSE found in the OCaml source tree. # +# # +####################################################################### + include ../support/Makefile.common COMPFLAGS=-I ../lib -I ../labltk -I ../support -I $(OTHERS)/unix -w s -dllpath ../support diff --git a/otherlibs/labltk/examples_labltk/Makefile.nt b/otherlibs/labltk/examples_labltk/Makefile.nt index bd10e09dc..f3a127b62 100644 --- a/otherlibs/labltk/examples_labltk/Makefile.nt +++ b/otherlibs/labltk/examples_labltk/Makefile.nt @@ -1,3 +1,19 @@ +####################################################################### +# # +# MLTk, Tcl/Tk interface of OCaml # +# # +# Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis # +# projet Cristal, INRIA Rocquencourt # +# Jacques Garrigue, Kyoto University RIMS # +# # +# Copyright 2002 Institut National de Recherche en Informatique et # +# en Automatique and Kyoto University. All rights reserved. # +# This file is distributed under the terms of the GNU Library # +# General Public License, with the special exception on linking # +# described in file LICENSE found in the OCaml source tree. # +# # +####################################################################### + include ../support/Makefile.common # We are using the non-installed library ! diff --git a/otherlibs/labltk/examples_labltk/hello.tcl b/otherlibs/labltk/examples_labltk/hello.tcl index 84ceccd6d..6791d2e23 100755 --- a/otherlibs/labltk/examples_labltk/hello.tcl +++ b/otherlibs/labltk/examples_labltk/hello.tcl @@ -1,5 +1,21 @@ #!/usr/bin/wish +####################################################################### +# # +# MLTk, Tcl/Tk interface of OCaml # +# # +# Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis # +# projet Cristal, INRIA Rocquencourt # +# Jacques Garrigue, Kyoto University RIMS # +# # +# Copyright 2002 Institut National de Recherche en Informatique et # +# en Automatique and Kyoto University. All rights reserved. # +# This file is distributed under the terms of the GNU Library # +# General Public License, with the special exception on linking # +# described in file LICENSE found in the OCaml source tree. # +# # +####################################################################### + button .hello -text "Hello, TclTk!" pack .hello diff --git a/otherlibs/labltk/frx/Makefile.nt b/otherlibs/labltk/frx/Makefile.nt index 2b0b5ab53..74203f039 100644 --- a/otherlibs/labltk/frx/Makefile.nt +++ b/otherlibs/labltk/frx/Makefile.nt @@ -1 +1,17 @@ +####################################################################### +# # +# MLTk, Tcl/Tk interface of OCaml # +# # +# Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis # +# projet Cristal, INRIA Rocquencourt # +# Jacques Garrigue, Kyoto University RIMS # +# # +# Copyright 2002 Institut National de Recherche en Informatique et # +# en Automatique and Kyoto University. All rights reserved. # +# This file is distributed under the terms of the GNU Library # +# General Public License, with the special exception on linking # +# described in file LICENSE found in the OCaml source tree. # +# # +####################################################################### + include Makefile diff --git a/otherlibs/labltk/jpf/Makefile.nt b/otherlibs/labltk/jpf/Makefile.nt index 2b0b5ab53..74203f039 100644 --- a/otherlibs/labltk/jpf/Makefile.nt +++ b/otherlibs/labltk/jpf/Makefile.nt @@ -1 +1,17 @@ +####################################################################### +# # +# MLTk, Tcl/Tk interface of OCaml # +# # +# Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis # +# projet Cristal, INRIA Rocquencourt # +# Jacques Garrigue, Kyoto University RIMS # +# # +# Copyright 2002 Institut National de Recherche en Informatique et # +# en Automatique and Kyoto University. All rights reserved. # +# This file is distributed under the terms of the GNU Library # +# General Public License, with the special exception on linking # +# described in file LICENSE found in the OCaml source tree. # +# # +####################################################################### + include Makefile diff --git a/otherlibs/labltk/labltk/Makefile.gen.nt b/otherlibs/labltk/labltk/Makefile.gen.nt index 046b87823..4feb527f0 100644 --- a/otherlibs/labltk/labltk/Makefile.gen.nt +++ b/otherlibs/labltk/labltk/Makefile.gen.nt @@ -1 +1,17 @@ +####################################################################### +# # +# MLTk, Tcl/Tk interface of OCaml # +# # +# Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis # +# projet Cristal, INRIA Rocquencourt # +# Jacques Garrigue, Kyoto University RIMS # +# # +# Copyright 2002 Institut National de Recherche en Informatique et # +# en Automatique and Kyoto University. All rights reserved. # +# This file is distributed under the terms of the GNU Library # +# General Public License, with the special exception on linking # +# described in file LICENSE found in the OCaml source tree. # +# # +####################################################################### + include Makefile.gen diff --git a/otherlibs/labltk/labltk/Makefile.nt b/otherlibs/labltk/labltk/Makefile.nt index 2b0b5ab53..74203f039 100644 --- a/otherlibs/labltk/labltk/Makefile.nt +++ b/otherlibs/labltk/labltk/Makefile.nt @@ -1 +1,17 @@ +####################################################################### +# # +# MLTk, Tcl/Tk interface of OCaml # +# # +# Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis # +# projet Cristal, INRIA Rocquencourt # +# Jacques Garrigue, Kyoto University RIMS # +# # +# Copyright 2002 Institut National de Recherche en Informatique et # +# en Automatique and Kyoto University. All rights reserved. # +# This file is distributed under the terms of the GNU Library # +# General Public License, with the special exception on linking # +# described in file LICENSE found in the OCaml source tree. # +# # +####################################################################### + include Makefile diff --git a/otherlibs/labltk/lib/Makefile.nt b/otherlibs/labltk/lib/Makefile.nt index 2b0b5ab53..74203f039 100644 --- a/otherlibs/labltk/lib/Makefile.nt +++ b/otherlibs/labltk/lib/Makefile.nt @@ -1 +1,17 @@ +####################################################################### +# # +# MLTk, Tcl/Tk interface of OCaml # +# # +# Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis # +# projet Cristal, INRIA Rocquencourt # +# Jacques Garrigue, Kyoto University RIMS # +# # +# Copyright 2002 Institut National de Recherche en Informatique et # +# en Automatique and Kyoto University. All rights reserved. # +# This file is distributed under the terms of the GNU Library # +# General Public License, with the special exception on linking # +# described in file LICENSE found in the OCaml source tree. # +# # +####################################################################### + include Makefile diff --git a/otherlibs/labltk/support/Makefile.nt b/otherlibs/labltk/support/Makefile.nt index 2b0b5ab53..74203f039 100644 --- a/otherlibs/labltk/support/Makefile.nt +++ b/otherlibs/labltk/support/Makefile.nt @@ -1 +1,17 @@ +####################################################################### +# # +# MLTk, Tcl/Tk interface of OCaml # +# # +# Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis # +# projet Cristal, INRIA Rocquencourt # +# Jacques Garrigue, Kyoto University RIMS # +# # +# Copyright 2002 Institut National de Recherche en Informatique et # +# en Automatique and Kyoto University. All rights reserved. # +# This file is distributed under the terms of the GNU Library # +# General Public License, with the special exception on linking # +# described in file LICENSE found in the OCaml source tree. # +# # +####################################################################### + include Makefile diff --git a/testsuite/external/Patcher.sh b/testsuite/external/Patcher.sh index 493751914..57597d081 100755 --- a/testsuite/external/Patcher.sh +++ b/testsuite/external/Patcher.sh @@ -1,5 +1,17 @@ #!/bin/sh +######################################################################### +# # +# OCaml # +# # +# Damien Doligez, projet Gallium, INRIA Rocquencourt # +# # +# Copyright 2012 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. # +# # +######################################################################### + # usage: # Patcher.sh <directory> [<patchfile>] diff --git a/testsuite/external/TODO.txt b/testsuite/external/TODO.txt index cbee03389..bbd010a24 100644 --- a/testsuite/external/TODO.txt +++ b/testsuite/external/TODO.txt @@ -17,4 +17,3 @@ Haxe: missing a source archive of released version... # clean:: # rm -rf ${HAXE} haxe # all: haxe - diff --git a/testsuite/tests/tool-ocamldoc/odoc_test.ml b/testsuite/tests/tool-ocamldoc/odoc_test.ml index 69f71eb6b..3600d6547 100644 --- a/testsuite/tests/tool-ocamldoc/odoc_test.ml +++ b/testsuite/tests/tool-ocamldoc/odoc_test.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* OCamldoc *) (* *) (* Maxence Guesdon, projet Cristal, INRIA Rocquencourt *) diff --git a/tools/make-opcodes b/tools/make-opcodes index c8f573c68..7cc7c5aa8 100644 --- a/tools/make-opcodes +++ b/tools/make-opcodes @@ -1,2 +1,14 @@ +######################################################################### +# # +# OCaml # +# # +# Xavier Leroy, projet Cristal, INRIA Rocquencourt # +# # +# Copyright 1995 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. # +# # +######################################################################### + $1=="enum" {n=0; next; } {for (i = 1; i <= NF; i++) {printf("let op%s = %d\n", $i, n++);}} diff --git a/typing/typedtreeMap.ml b/typing/typedtreeMap.ml index 567080796..27fd8acf7 100644 --- a/typing/typedtreeMap.ml +++ b/typing/typedtreeMap.ml @@ -1,3 +1,14 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Fabrice Le Fessant, INRIA Saclay *) +(* *) +(* Copyright 2012 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. *) +(* *) +(***********************************************************************) open Typedtree diff --git a/typing/typedtreeMap.mli b/typing/typedtreeMap.mli index 2e377c898..0248f023a 100644 --- a/typing/typedtreeMap.mli +++ b/typing/typedtreeMap.mli @@ -1,3 +1,14 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Fabrice Le Fessant, INRIA Saclay *) +(* *) +(* Copyright 2012 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. *) +(* *) +(***********************************************************************) open Typedtree |