diff options
Diffstat (limited to 'ocamlbuild')
| -rw-r--r-- | ocamlbuild/Makefile | 2 | ||||
| -rw-r--r-- | ocamlbuild/_tags | 12 | ||||
| -rw-r--r-- | ocamlbuild/exit_codes.ml | 11 | ||||
| -rw-r--r-- | ocamlbuild/exit_codes.mli | 11 | ||||
| -rw-r--r-- | ocamlbuild/man/ocamlbuild.1 | 15 | ||||
| -rw-r--r-- | ocamlbuild/manual/Makefile | 11 | ||||
| -rw-r--r-- | ocamlbuild/manual/manual.tex | 11 | ||||
| -rw-r--r-- | ocamlbuild/ocamlbuild-presentation.rslide | 12 | ||||
| -rw-r--r-- | ocamlbuild/ocamlbuild_plugin.mli | 11 | ||||
| -rw-r--r-- | ocamlbuild/ocamlbuild_where.ml | 11 | ||||
| -rwxr-xr-x | ocamlbuild/start.sh | 2 |
11 files changed, 105 insertions, 4 deletions
diff --git a/ocamlbuild/Makefile b/ocamlbuild/Makefile index 0f1903369..e4ee877eb 100644 --- a/ocamlbuild/Makefile +++ b/ocamlbuild/Makefile @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt # # # diff --git a/ocamlbuild/_tags b/ocamlbuild/_tags index 617d6a72f..cd271d16f 100644 --- a/ocamlbuild/_tags +++ b/ocamlbuild/_tags @@ -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. # +# # +######################################################################### + # OCamlbuild tags file true: debug <*.ml> or <*.mli>: warn_L, warn_R, warn_Z, annot diff --git a/ocamlbuild/exit_codes.ml b/ocamlbuild/exit_codes.ml index 19cb4f02f..71c9f06f2 100644 --- a/ocamlbuild/exit_codes.ml +++ b/ocamlbuild/exit_codes.ml @@ -1,3 +1,14 @@ +(***********************************************************************) +(* 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 rc_ok = 0 let rc_usage = 1 let rc_failure = 2 diff --git a/ocamlbuild/exit_codes.mli b/ocamlbuild/exit_codes.mli index acbc0ede3..a83a300b6 100644 --- a/ocamlbuild/exit_codes.mli +++ b/ocamlbuild/exit_codes.mli @@ -1,3 +1,14 @@ +(***********************************************************************) +(* 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. *) +(* *) +(***********************************************************************) + val rc_ok : int val rc_usage : int val rc_failure : int diff --git a/ocamlbuild/man/ocamlbuild.1 b/ocamlbuild/man/ocamlbuild.1 index 58a33740b..dab9e941d 100644 --- a/ocamlbuild/man/ocamlbuild.1 +++ b/ocamlbuild/man/ocamlbuild.1 @@ -1,7 +1,18 @@ +.\"***********************************************************************) +.\"* 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. *) +.\"* *) +.\"***********************************************************************) +.\" .TH OCAMLBUILD 1 .SH NAME -ocamlbuild \- The Objective Caml project compilation tool +ocamlbuild \- The OCaml project compilation tool .SH SYNOPSIS @@ -250,4 +261,4 @@ manual, .BR ocaml (1), .BR make (1). .br -.I The Objective Caml user's manual, chapter "Batch compilation". +.I The OCaml user's manual, chapter "Batch compilation". diff --git a/ocamlbuild/manual/Makefile b/ocamlbuild/manual/Makefile index 055d42e71..595f730ee 100644 --- a/ocamlbuild/manual/Makefile +++ b/ocamlbuild/manual/Makefile @@ -1,3 +1,14 @@ +####################################################################### +# 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. # +# # +####################################################################### + # Makefile all: manual.pdf manual.html diff --git a/ocamlbuild/manual/manual.tex b/ocamlbuild/manual/manual.tex index 62d900450..01d671eb7 100644 --- a/ocamlbuild/manual/manual.tex +++ b/ocamlbuild/manual/manual.tex @@ -1,4 +1,15 @@ % -*- LaTeX -*- +%(***********************************************************************) +%(* 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. *) +%(* *) +%(***********************************************************************) + %(*** preamble \documentclass[9pt]{article} \usepackage[utf8]{inputenc} diff --git a/ocamlbuild/ocamlbuild-presentation.rslide b/ocamlbuild/ocamlbuild-presentation.rslide index 30ba657b3..8f17da0bc 100644 --- a/ocamlbuild/ocamlbuild-presentation.rslide +++ b/ocamlbuild/ocamlbuild-presentation.rslide @@ -1,3 +1,15 @@ +######################################################################### +# # +# OCaml # +# # +# 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. # +# # +######################################################################### + # Works with rslide revision 8 # http://gallium.inria.fr/~pouillar/rslide/rslide documentclass :beamer, :t, :compress, :red diff --git a/ocamlbuild/ocamlbuild_plugin.mli b/ocamlbuild/ocamlbuild_plugin.mli index 8e642f31a..0844b4d7c 100644 --- a/ocamlbuild/ocamlbuild_plugin.mli +++ b/ocamlbuild/ocamlbuild_plugin.mli @@ -1,3 +1,14 @@ +(***********************************************************************) +(* 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. *) +(* *) +(***********************************************************************) + include Ocamlbuild_pack.Signatures.PLUGIN with module Pathname = Ocamlbuild_pack.Pathname and module Outcome = Ocamlbuild_pack.My_std.Outcome diff --git a/ocamlbuild/ocamlbuild_where.ml b/ocamlbuild/ocamlbuild_where.ml index 14fcde5d7..d65b41edc 100644 --- a/ocamlbuild/ocamlbuild_where.ml +++ b/ocamlbuild/ocamlbuild_where.ml @@ -1,3 +1,14 @@ +(***********************************************************************) +(* 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 bindir = ref Ocamlbuild_Myocamlbuild_config.bindir;; let libdir = ref begin Filename.concat diff --git a/ocamlbuild/start.sh b/ocamlbuild/start.sh index 20b7b7656..7386cbd3e 100755 --- a/ocamlbuild/start.sh +++ b/ocamlbuild/start.sh @@ -2,7 +2,7 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Nicolas Pouillard, projet Gallium, INRIA Rocquencourt # # # |