diff options
98 files changed, 153 insertions, 0 deletions
diff --git a/ocamlbuild/bool.ml b/ocamlbuild/bool.ml index d31944c1c..56dec3b04 100644 --- a/ocamlbuild/bool.ml +++ b/ocamlbuild/bool.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/bool.mli b/ocamlbuild/bool.mli index 59ead55a4..8ebbd4407 100644 --- a/ocamlbuild/bool.mli +++ b/ocamlbuild/bool.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/command.ml b/ocamlbuild/command.ml index 1ce80c974..9e43c5f3c 100644 --- a/ocamlbuild/command.ml +++ b/ocamlbuild/command.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/command.mli b/ocamlbuild/command.mli index f54b8e8ac..18547a459 100644 --- a/ocamlbuild/command.mli +++ b/ocamlbuild/command.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/configuration.ml b/ocamlbuild/configuration.ml index 7a4f2f4fb..ffdd0392b 100644 --- a/ocamlbuild/configuration.ml +++ b/ocamlbuild/configuration.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/configuration.mli b/ocamlbuild/configuration.mli index 745dcc269..7dbb12a08 100644 --- a/ocamlbuild/configuration.mli +++ b/ocamlbuild/configuration.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/digest_cache.ml b/ocamlbuild/digest_cache.ml index 5f624afcc..319e7d066 100644 --- a/ocamlbuild/digest_cache.ml +++ b/ocamlbuild/digest_cache.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/digest_cache.mli b/ocamlbuild/digest_cache.mli index 7fb389eb4..d10627a25 100644 --- a/ocamlbuild/digest_cache.mli +++ b/ocamlbuild/digest_cache.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/discard_printf.ml b/ocamlbuild/discard_printf.ml index b48b43c25..8adc83e8c 100644 --- a/ocamlbuild/discard_printf.ml +++ b/ocamlbuild/discard_printf.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/discard_printf.mli b/ocamlbuild/discard_printf.mli index 255f5d1aa..a3d2a0121 100644 --- a/ocamlbuild/discard_printf.mli +++ b/ocamlbuild/discard_printf.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/display.ml b/ocamlbuild/display.ml index 11586662f..e35e27498 100644 --- a/ocamlbuild/display.ml +++ b/ocamlbuild/display.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/display.mli b/ocamlbuild/display.mli index fd0b066d2..4dc399b17 100644 --- a/ocamlbuild/display.mli +++ b/ocamlbuild/display.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/examples/example1/hello.ml b/ocamlbuild/examples/example1/hello.ml index c85cb66b8..f21b6ae13 100644 --- a/ocamlbuild/examples/example1/hello.ml +++ b/ocamlbuild/examples/example1/hello.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* ocamlbuild *) +(* *) +(* Nicolas Pouillard, Berke Durak, 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. *) +(* *) +(***********************************************************************) + let _ = Printf.printf "Hello, %s ! My name is %s\n" (if Array.length Sys.argv > 1 then Sys.argv.(1) else "stranger") diff --git a/ocamlbuild/examples/example2/greet.ml b/ocamlbuild/examples/example2/greet.ml index ec8088916..84f1e28f2 100644 --- a/ocamlbuild/examples/example2/greet.ml +++ b/ocamlbuild/examples/example2/greet.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* ocamlbuild *) +(* *) +(* Nicolas Pouillard, Berke Durak, 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. *) +(* *) +(***********************************************************************) + type how = Nicely | Badly;; let greet how who = diff --git a/ocamlbuild/examples/example2/hello.ml b/ocamlbuild/examples/example2/hello.ml index b48806a3d..4dee0a703 100644 --- a/ocamlbuild/examples/example2/hello.ml +++ b/ocamlbuild/examples/example2/hello.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* ocamlbuild *) +(* *) +(* Nicolas Pouillard, Berke Durak, 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. *) +(* *) +(***********************************************************************) + open Greet let _ = diff --git a/ocamlbuild/examples/example3/epoch.ml b/ocamlbuild/examples/example3/epoch.ml index ad95a0394..0d235d163 100644 --- a/ocamlbuild/examples/example3/epoch.ml +++ b/ocamlbuild/examples/example3/epoch.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* ocamlbuild *) +(* *) +(* Nicolas Pouillard, Berke Durak, 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. *) +(* *) +(***********************************************************************) + let _ = let s = Num.num_of_string (Printf.sprintf "%.0f" (Unix.gettimeofday ())) in let ps = Num.mult_num (Num.num_of_string "1000000000000") s in diff --git a/ocamlbuild/examples/example3/make.sh b/ocamlbuild/examples/example3/make.sh index 3588a713f..e64152e11 100755 --- a/ocamlbuild/examples/example3/make.sh +++ b/ocamlbuild/examples/example3/make.sh @@ -1,5 +1,17 @@ #!/bin/sh +######################################################################### +# # +# 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. # +# # +######################################################################### + set -e TARGET=epoch diff --git a/ocamlbuild/exit_codes.ml b/ocamlbuild/exit_codes.ml index 71c9f06f2..10a3ac998 100644 --- a/ocamlbuild/exit_codes.ml +++ b/ocamlbuild/exit_codes.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/exit_codes.mli b/ocamlbuild/exit_codes.mli index a83a300b6..cfbc3e253 100644 --- a/ocamlbuild/exit_codes.mli +++ b/ocamlbuild/exit_codes.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/fda.ml b/ocamlbuild/fda.ml index d359f7819..8877e0c61 100644 --- a/ocamlbuild/fda.ml +++ b/ocamlbuild/fda.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/fda.mli b/ocamlbuild/fda.mli index c86d68572..40103f99d 100644 --- a/ocamlbuild/fda.mli +++ b/ocamlbuild/fda.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/findlib.ml b/ocamlbuild/findlib.ml index b5ef87810..06819f354 100644 --- a/ocamlbuild/findlib.ml +++ b/ocamlbuild/findlib.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/findlib.mli b/ocamlbuild/findlib.mli index 41275844c..8bb29a80f 100644 --- a/ocamlbuild/findlib.mli +++ b/ocamlbuild/findlib.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/flags.ml b/ocamlbuild/flags.ml index 0423ec43a..9999f835c 100644 --- a/ocamlbuild/flags.ml +++ b/ocamlbuild/flags.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/flags.mli b/ocamlbuild/flags.mli index 5e0e637df..13c5436a7 100644 --- a/ocamlbuild/flags.mli +++ b/ocamlbuild/flags.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/glob.ml b/ocamlbuild/glob.ml index 7cb6127fe..605cebb8d 100644 --- a/ocamlbuild/glob.ml +++ b/ocamlbuild/glob.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/glob.mli b/ocamlbuild/glob.mli index f047c5b6d..b13a6fc2d 100644 --- a/ocamlbuild/glob.mli +++ b/ocamlbuild/glob.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/glob_ast.ml b/ocamlbuild/glob_ast.ml index a4efaeddb..435033ada 100644 --- a/ocamlbuild/glob_ast.ml +++ b/ocamlbuild/glob_ast.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/glob_ast.mli b/ocamlbuild/glob_ast.mli index 9c7786245..b6f7b282d 100644 --- a/ocamlbuild/glob_ast.mli +++ b/ocamlbuild/glob_ast.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/glob_lexer.mli b/ocamlbuild/glob_lexer.mli index 245870eca..724c237cd 100644 --- a/ocamlbuild/glob_lexer.mli +++ b/ocamlbuild/glob_lexer.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/glob_lexer.mll b/ocamlbuild/glob_lexer.mll index 05d199d6f..5bc35c18c 100644 --- a/ocamlbuild/glob_lexer.mll +++ b/ocamlbuild/glob_lexer.mll @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/hooks.ml b/ocamlbuild/hooks.ml index e7fd50d50..4dfcf292c 100644 --- a/ocamlbuild/hooks.ml +++ b/ocamlbuild/hooks.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/hooks.mli b/ocamlbuild/hooks.mli index aced084dd..92f9a0e7f 100644 --- a/ocamlbuild/hooks.mli +++ b/ocamlbuild/hooks.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/hygiene.ml b/ocamlbuild/hygiene.ml index 33c01ed13..9a52cd947 100644 --- a/ocamlbuild/hygiene.ml +++ b/ocamlbuild/hygiene.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/hygiene.mli b/ocamlbuild/hygiene.mli index 334203820..1dd55f8a5 100644 --- a/ocamlbuild/hygiene.mli +++ b/ocamlbuild/hygiene.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/lexers.mli b/ocamlbuild/lexers.mli index bc5de4cfb..d962d5cb0 100644 --- a/ocamlbuild/lexers.mli +++ b/ocamlbuild/lexers.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/lexers.mll b/ocamlbuild/lexers.mll index 2206f862c..45029b356 100644 --- a/ocamlbuild/lexers.mll +++ b/ocamlbuild/lexers.mll @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/log.ml b/ocamlbuild/log.ml index 2fd2b2b1c..380c9a59a 100644 --- a/ocamlbuild/log.ml +++ b/ocamlbuild/log.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/log.mli b/ocamlbuild/log.mli index 8f4167bfe..a414608a6 100644 --- a/ocamlbuild/log.mli +++ b/ocamlbuild/log.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/main.ml b/ocamlbuild/main.ml index 3b9bd8927..fcda4516c 100644 --- a/ocamlbuild/main.ml +++ b/ocamlbuild/main.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/main.mli b/ocamlbuild/main.mli index c401be7d6..d9e781f8c 100644 --- a/ocamlbuild/main.mli +++ b/ocamlbuild/main.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/man/ocamlbuild.1 b/ocamlbuild/man/ocamlbuild.1 index 918c59810..1f0c6855c 100644 --- a/ocamlbuild/man/ocamlbuild.1 +++ b/ocamlbuild/man/ocamlbuild.1 @@ -1,4 +1,5 @@ .\"***********************************************************************) +.\"* *) .\"* ocamlbuild *) .\"* *) .\"* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/misc/opentracer.ml b/ocamlbuild/misc/opentracer.ml index 38a13502b..f6dcc1f37 100644 --- a/ocamlbuild/misc/opentracer.ml +++ b/ocamlbuild/misc/opentracer.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/my_std.ml b/ocamlbuild/my_std.ml index a7839d059..caebe6aca 100644 --- a/ocamlbuild/my_std.ml +++ b/ocamlbuild/my_std.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/my_std.mli b/ocamlbuild/my_std.mli index f2847db35..403c4e961 100644 --- a/ocamlbuild/my_std.mli +++ b/ocamlbuild/my_std.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/my_unix.ml b/ocamlbuild/my_unix.ml index a54f05bf2..43692d321 100644 --- a/ocamlbuild/my_unix.ml +++ b/ocamlbuild/my_unix.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/my_unix.mli b/ocamlbuild/my_unix.mli index b1acd3a62..c7ee6e81c 100644 --- a/ocamlbuild/my_unix.mli +++ b/ocamlbuild/my_unix.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocaml_arch.ml b/ocamlbuild/ocaml_arch.ml index 5563dddd2..cb5b7802f 100644 --- a/ocamlbuild/ocaml_arch.ml +++ b/ocamlbuild/ocaml_arch.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocaml_arch.mli b/ocamlbuild/ocaml_arch.mli index ffdc4eddc..6739e8ff3 100644 --- a/ocamlbuild/ocaml_arch.mli +++ b/ocamlbuild/ocaml_arch.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocaml_compiler.ml b/ocamlbuild/ocaml_compiler.ml index 6a3b9ba6b..8e65f00d2 100644 --- a/ocamlbuild/ocaml_compiler.ml +++ b/ocamlbuild/ocaml_compiler.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocaml_compiler.mli b/ocamlbuild/ocaml_compiler.mli index 608f03341..667191af2 100644 --- a/ocamlbuild/ocaml_compiler.mli +++ b/ocamlbuild/ocaml_compiler.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocaml_dependencies.ml b/ocamlbuild/ocaml_dependencies.ml index c6c8efeb9..de2c11fab 100644 --- a/ocamlbuild/ocaml_dependencies.ml +++ b/ocamlbuild/ocaml_dependencies.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocaml_dependencies.mli b/ocamlbuild/ocaml_dependencies.mli index 5c1ebfe66..b9e7812b7 100644 --- a/ocamlbuild/ocaml_dependencies.mli +++ b/ocamlbuild/ocaml_dependencies.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocaml_specific.ml b/ocamlbuild/ocaml_specific.ml index 05343de13..429a94c72 100644 --- a/ocamlbuild/ocaml_specific.ml +++ b/ocamlbuild/ocaml_specific.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocaml_specific.mli b/ocamlbuild/ocaml_specific.mli index 42e512c74..54cd7fac1 100644 --- a/ocamlbuild/ocaml_specific.mli +++ b/ocamlbuild/ocaml_specific.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocaml_tools.ml b/ocamlbuild/ocaml_tools.ml index f68aff42a..b5875f954 100644 --- a/ocamlbuild/ocaml_tools.ml +++ b/ocamlbuild/ocaml_tools.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocaml_tools.mli b/ocamlbuild/ocaml_tools.mli index 542573de1..38d36e3a8 100644 --- a/ocamlbuild/ocaml_tools.mli +++ b/ocamlbuild/ocaml_tools.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocaml_utils.ml b/ocamlbuild/ocaml_utils.ml index 7726825c1..bc2ddfb44 100644 --- a/ocamlbuild/ocaml_utils.ml +++ b/ocamlbuild/ocaml_utils.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocaml_utils.mli b/ocamlbuild/ocaml_utils.mli index 259a527f5..5154a1ac6 100644 --- a/ocamlbuild/ocaml_utils.mli +++ b/ocamlbuild/ocaml_utils.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocamlbuild.ml b/ocamlbuild/ocamlbuild.ml index d3b825187..ce0f56f4d 100644 --- a/ocamlbuild/ocamlbuild.ml +++ b/ocamlbuild/ocamlbuild.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocamlbuild.mli b/ocamlbuild/ocamlbuild.mli index 7e5aa0bf4..83cab501a 100644 --- a/ocamlbuild/ocamlbuild.mli +++ b/ocamlbuild/ocamlbuild.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocamlbuild_executor.ml b/ocamlbuild/ocamlbuild_executor.ml index 9798e052d..53fcad120 100644 --- a/ocamlbuild/ocamlbuild_executor.ml +++ b/ocamlbuild/ocamlbuild_executor.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocamlbuild_executor.mli b/ocamlbuild/ocamlbuild_executor.mli index fc25badc4..063b91eed 100644 --- a/ocamlbuild/ocamlbuild_executor.mli +++ b/ocamlbuild/ocamlbuild_executor.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocamlbuild_plugin.ml b/ocamlbuild/ocamlbuild_plugin.ml index ccbc07984..9f0de1be8 100644 --- a/ocamlbuild/ocamlbuild_plugin.ml +++ b/ocamlbuild/ocamlbuild_plugin.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocamlbuild_plugin.mli b/ocamlbuild/ocamlbuild_plugin.mli index 0844b4d7c..f94f325f8 100644 --- a/ocamlbuild/ocamlbuild_plugin.mli +++ b/ocamlbuild/ocamlbuild_plugin.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocamlbuild_unix_plugin.ml b/ocamlbuild/ocamlbuild_unix_plugin.ml index cb2f0101a..9966c4dc0 100644 --- a/ocamlbuild/ocamlbuild_unix_plugin.ml +++ b/ocamlbuild/ocamlbuild_unix_plugin.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocamlbuild_unix_plugin.mli b/ocamlbuild/ocamlbuild_unix_plugin.mli index 24269e5a8..ecc4f62d0 100644 --- a/ocamlbuild/ocamlbuild_unix_plugin.mli +++ b/ocamlbuild/ocamlbuild_unix_plugin.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocamlbuild_where.ml b/ocamlbuild/ocamlbuild_where.ml index d65b41edc..a05230a51 100644 --- a/ocamlbuild/ocamlbuild_where.ml +++ b/ocamlbuild/ocamlbuild_where.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocamlbuild_where.mli b/ocamlbuild/ocamlbuild_where.mli index eb4c0727b..6fa56787e 100644 --- a/ocamlbuild/ocamlbuild_where.mli +++ b/ocamlbuild/ocamlbuild_where.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocamlbuildlight.ml b/ocamlbuild/ocamlbuildlight.ml index 7fabd81dc..f82268759 100644 --- a/ocamlbuild/ocamlbuildlight.ml +++ b/ocamlbuild/ocamlbuildlight.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocamlbuildlight.mli b/ocamlbuild/ocamlbuildlight.mli index 38ffd9796..9f4d063d8 100644 --- a/ocamlbuild/ocamlbuildlight.mli +++ b/ocamlbuild/ocamlbuildlight.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/options.ml b/ocamlbuild/options.ml index 1be4b6360..f7b2e1168 100644 --- a/ocamlbuild/options.ml +++ b/ocamlbuild/options.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/options.mli b/ocamlbuild/options.mli index 7e07748bd..7fe5607c4 100644 --- a/ocamlbuild/options.mli +++ b/ocamlbuild/options.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/param_tags.ml b/ocamlbuild/param_tags.ml index 02001dedb..2e21ed602 100644 --- a/ocamlbuild/param_tags.ml +++ b/ocamlbuild/param_tags.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/param_tags.mli b/ocamlbuild/param_tags.mli index a0047af16..bc18abd55 100644 --- a/ocamlbuild/param_tags.mli +++ b/ocamlbuild/param_tags.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/pathname.ml b/ocamlbuild/pathname.ml index d535488d6..7852bf4b2 100644 --- a/ocamlbuild/pathname.ml +++ b/ocamlbuild/pathname.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/pathname.mli b/ocamlbuild/pathname.mli index 1ba9badc5..4f77e6a42 100644 --- a/ocamlbuild/pathname.mli +++ b/ocamlbuild/pathname.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/plugin.ml b/ocamlbuild/plugin.ml index 4180755be..586b1ced1 100644 --- a/ocamlbuild/plugin.ml +++ b/ocamlbuild/plugin.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/plugin.mli b/ocamlbuild/plugin.mli index 863de8dfc..1f822d6dc 100644 --- a/ocamlbuild/plugin.mli +++ b/ocamlbuild/plugin.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ppcache.ml b/ocamlbuild/ppcache.ml index 1b576004f..2682f3e1a 100644 --- a/ocamlbuild/ppcache.ml +++ b/ocamlbuild/ppcache.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ppcache.mli b/ocamlbuild/ppcache.mli index d59015f57..35f3614b4 100644 --- a/ocamlbuild/ppcache.mli +++ b/ocamlbuild/ppcache.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/report.ml b/ocamlbuild/report.ml index e9c5d5030..439a270fe 100644 --- a/ocamlbuild/report.ml +++ b/ocamlbuild/report.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/report.mli b/ocamlbuild/report.mli index 16785d701..134485584 100644 --- a/ocamlbuild/report.mli +++ b/ocamlbuild/report.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/resource.ml b/ocamlbuild/resource.ml index ed90d1cff..2ef42487e 100644 --- a/ocamlbuild/resource.ml +++ b/ocamlbuild/resource.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/resource.mli b/ocamlbuild/resource.mli index 4822768b5..0ec15d36e 100644 --- a/ocamlbuild/resource.mli +++ b/ocamlbuild/resource.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/rule.ml b/ocamlbuild/rule.ml index 8352f6ae5..ca1a39ddd 100644 --- a/ocamlbuild/rule.ml +++ b/ocamlbuild/rule.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/rule.mli b/ocamlbuild/rule.mli index 16af0f6fe..0acb125c9 100644 --- a/ocamlbuild/rule.mli +++ b/ocamlbuild/rule.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/shell.ml b/ocamlbuild/shell.ml index 3fbeb81aa..244699e19 100644 --- a/ocamlbuild/shell.ml +++ b/ocamlbuild/shell.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/shell.mli b/ocamlbuild/shell.mli index 2d867b032..b5abd85d1 100644 --- a/ocamlbuild/shell.mli +++ b/ocamlbuild/shell.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/signatures.mli b/ocamlbuild/signatures.mli index 3b6c44eca..02d46261c 100644 --- a/ocamlbuild/signatures.mli +++ b/ocamlbuild/signatures.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/slurp.ml b/ocamlbuild/slurp.ml index e807ff7fd..d6c2846ad 100644 --- a/ocamlbuild/slurp.ml +++ b/ocamlbuild/slurp.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/slurp.mli b/ocamlbuild/slurp.mli index a3a141d8e..45d34fc7c 100644 --- a/ocamlbuild/slurp.mli +++ b/ocamlbuild/slurp.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/solver.ml b/ocamlbuild/solver.ml index 94b3d930e..aaaa36b08 100644 --- a/ocamlbuild/solver.ml +++ b/ocamlbuild/solver.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/solver.mli b/ocamlbuild/solver.mli index b2ec49525..5f47a6520 100644 --- a/ocamlbuild/solver.mli +++ b/ocamlbuild/solver.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/tags.ml b/ocamlbuild/tags.ml index 811657acc..7f103b791 100644 --- a/ocamlbuild/tags.ml +++ b/ocamlbuild/tags.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/tags.mli b/ocamlbuild/tags.mli index dadf9afab..1fd1285b8 100644 --- a/ocamlbuild/tags.mli +++ b/ocamlbuild/tags.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/tools.ml b/ocamlbuild/tools.ml index d72278e7c..ce28c9709 100644 --- a/ocamlbuild/tools.ml +++ b/ocamlbuild/tools.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/tools.mli b/ocamlbuild/tools.mli index 974ff1adb..9c2763f9a 100644 --- a/ocamlbuild/tools.mli +++ b/ocamlbuild/tools.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) |