summaryrefslogtreecommitdiffstats
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rw-r--r--tools/Makefile2
-rw-r--r--tools/Makefile.nt2
-rw-r--r--tools/Makefile.shared2
-rw-r--r--tools/addlabels.ml13
-rw-r--r--tools/checkstack.c5
-rw-r--r--tools/cleanup-header13
-rw-r--r--tools/cvt_emit.mll2
-rw-r--r--tools/depend.ml2
-rw-r--r--tools/depend.mli2
-rw-r--r--tools/dumpobj.ml2
-rw-r--r--tools/lexer299.mll2
-rw-r--r--tools/lexer301.mll2
-rw-r--r--tools/magic2
-rwxr-xr-xtools/make-package-macosx14
-rw-r--r--tools/objinfo.ml4
-rw-r--r--tools/objinfo_helper.c4
-rwxr-xr-xtools/ocaml-objcopy-macosx2
-rw-r--r--tools/ocaml299to3.ml2
-rw-r--r--tools/ocamlcp.ml2
-rw-r--r--tools/ocamldep.ml2
-rw-r--r--tools/ocamlmklib.mlp2
-rw-r--r--tools/ocamlmktop.ml2
-rw-r--r--tools/ocamlmktop.tpl2
-rw-r--r--tools/ocamlprof.ml2
-rwxr-xr-xtools/ocamlsize12
-rw-r--r--tools/primreq.ml2
-rw-r--r--tools/profiling.ml2
-rw-r--r--tools/profiling.mli4
-rw-r--r--tools/scrapelabels.ml2
-rwxr-xr-xtools/setignore12
30 files changed, 86 insertions, 37 deletions
diff --git a/tools/Makefile b/tools/Makefile
index bad14c7e5..754af2a04 100644
--- a/tools/Makefile
+++ b/tools/Makefile
@@ -1,6 +1,6 @@
#########################################################################
# #
-# Objective Caml #
+# OCaml #
# #
# Xavier Leroy, projet Cristal, INRIA Rocquencourt #
# #
diff --git a/tools/Makefile.nt b/tools/Makefile.nt
index b90c0c4f6..7331ed06e 100644
--- a/tools/Makefile.nt
+++ b/tools/Makefile.nt
@@ -1,6 +1,6 @@
#########################################################################
# #
-# Objective Caml #
+# OCaml #
# #
# Xavier Leroy, projet Cristal, INRIA Rocquencourt #
# #
diff --git a/tools/Makefile.shared b/tools/Makefile.shared
index 32049eab1..31cbb6a08 100644
--- a/tools/Makefile.shared
+++ b/tools/Makefile.shared
@@ -1,6 +1,6 @@
#########################################################################
# #
-# Objective Caml #
+# OCaml #
# #
# Xavier Leroy, projet Cristal, INRIA Rocquencourt #
# #
diff --git a/tools/addlabels.ml b/tools/addlabels.ml
index 6a297b9e8..db8ecdc9a 100644
--- a/tools/addlabels.ml
+++ b/tools/addlabels.ml
@@ -1,3 +1,16 @@
+(***********************************************************************)
+(* *)
+(* OCaml *)
+(* *)
+(* Jacques Garrigue, Kyoto University RIMS *)
+(* *)
+(* Copyright 2001 Institut National de Recherche en Informatique et *)
+(* en Automatique and Kyoto University. All rights reserved. *)
+(* This file is distributed under the terms of the Q Public License *)
+(* version 1.0. *)
+(* *)
+(***********************************************************************)
+
(* $Id$ *)
open StdLabels
diff --git a/tools/checkstack.c b/tools/checkstack.c
index fc760945f..9289c678c 100644
--- a/tools/checkstack.c
+++ b/tools/checkstack.c
@@ -1,13 +1,12 @@
/***********************************************************************/
/* */
-/* Objective Caml */
+/* OCaml */
/* */
/* Damien Doligez, projet Moscova, INRIA Rocquencourt */
/* */
/* Copyright 2002 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. */
+/* under the terms of the Q Public License version 1.0. */
/* */
/***********************************************************************/
diff --git a/tools/cleanup-header b/tools/cleanup-header
index 6c320fb39..bc64f2e92 100644
--- a/tools/cleanup-header
+++ b/tools/cleanup-header
@@ -1,4 +1,17 @@
#!/bin/sed -f
+
+#######################################################################
+# #
+# OCaml #
+# #
+# Xavier Leroy, projet Cristal, INRIA Rocquencourt #
+# #
+# 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. #
+# #
+#######################################################################
+
# Remove private parts from runtime include files, before installation
# in /usr/local/lib/ocaml/caml
diff --git a/tools/cvt_emit.mll b/tools/cvt_emit.mll
index 3e28ae972..eabd1baf1 100644
--- a/tools/cvt_emit.mll
+++ b/tools/cvt_emit.mll
@@ -1,6 +1,6 @@
(***********************************************************************)
(* *)
-(* Objective Caml *)
+(* OCaml *)
(* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *)
diff --git a/tools/depend.ml b/tools/depend.ml
index 4a0da760b..2a8fc21d8 100644
--- a/tools/depend.ml
+++ b/tools/depend.ml
@@ -1,6 +1,6 @@
(***********************************************************************)
(* *)
-(* Objective Caml *)
+(* OCaml *)
(* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *)
diff --git a/tools/depend.mli b/tools/depend.mli
index a13870610..7c6d0c01d 100644
--- a/tools/depend.mli
+++ b/tools/depend.mli
@@ -1,6 +1,6 @@
(***********************************************************************)
(* *)
-(* Objective Caml *)
+(* OCaml *)
(* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *)
diff --git a/tools/dumpobj.ml b/tools/dumpobj.ml
index 2a054ee68..18f8bf82e 100644
--- a/tools/dumpobj.ml
+++ b/tools/dumpobj.ml
@@ -1,6 +1,6 @@
(***********************************************************************)
(* *)
-(* Objective Caml *)
+(* OCaml *)
(* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *)
diff --git a/tools/lexer299.mll b/tools/lexer299.mll
index 9a244721d..38241af0a 100644
--- a/tools/lexer299.mll
+++ b/tools/lexer299.mll
@@ -1,6 +1,6 @@
(***********************************************************************)
(* *)
-(* Objective Caml *)
+(* OCaml *)
(* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *)
diff --git a/tools/lexer301.mll b/tools/lexer301.mll
index daec549e7..4548de57e 100644
--- a/tools/lexer301.mll
+++ b/tools/lexer301.mll
@@ -1,6 +1,6 @@
(***********************************************************************)
(* *)
-(* Objective Caml *)
+(* OCaml *)
(* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *)
diff --git a/tools/magic b/tools/magic
index 7468066e0..089f169a1 100644
--- a/tools/magic
+++ b/tools/magic
@@ -1,7 +1,7 @@
# Here are some definitions that can be added to the /usr/share/magic
# database so that the file(1) command recognizes OCaml compiled files.
# Contributed by Sven Luther.
-0 string Caml1999 Objective Caml
+0 string Caml1999 OCaml
>8 string X bytecode executable
>8 string I interface data (.cmi)
>8 string O bytecode object data (.cmo)
diff --git a/tools/make-package-macosx b/tools/make-package-macosx
index ebdf0eba2..222df8221 100755
--- a/tools/make-package-macosx
+++ b/tools/make-package-macosx
@@ -2,7 +2,7 @@
#########################################################################
# #
-# Objective Caml #
+# OCaml #
# #
# Damien Doligez, projet Moscova, INRIA Rocquencourt #
# #
@@ -30,9 +30,9 @@ cat >Description.plist <<EOF
<key>IFPkgDescriptionDeleteWarning</key>
<string></string>
<key>IFPkgDescriptionDescription</key>
- <string>The Objective Caml compiler and tools</string>
+ <string>The OCaml compiler and tools</string>
<key>IFPkgDescriptionTitle</key>
- <string>Objective Caml</string>
+ <string>OCaml</string>
<key>IFPkgDescriptionVersion</key>
<string>${VERSION}</string>
</dict>
@@ -46,11 +46,11 @@ cat >Info.plist <<EOF
<plist version="1.0">
<dict>
<key>CFBundleGetInfoString</key>
- <string>Objective Caml ${VERSION}</string>
+ <string>OCaml ${VERSION}</string>
<key>CFBundleIdentifier</key>
<string>fr.inria.ocaml</string>
<key>CFBundleName</key>
- <string>Objective Caml</string>
+ <string>OCaml</string>
<key>CFBundleShortVersionString</key>
<string>${VERSION}</string>
<key>IFMajorVersion</key>
@@ -85,7 +85,7 @@ mkdir -p resources
# stop here -> |
cat >resources/ReadMe.txt <<EOF
-This package installs Objective Caml version ${VERSION}.
+This package installs OCaml version ${VERSION}.
You need Mac OS X 10.5.x (Leopard), with the
XCode tools installed (v3.1.1 or later), and
optionally X11.
@@ -109,7 +109,7 @@ size=`expr $size + 8192`
hdiutil create -sectors $size ocaml-rw.dmg
name=`hdid -nomount ocaml-rw.dmg | grep Apple_HFS | cut -d ' ' -f 1`
-volname="Objective Caml ${VERSION}"
+volname="OCaml ${VERSION}"
newfs_hfs -v "$volname" $name
hdiutil detach $name
diff --git a/tools/objinfo.ml b/tools/objinfo.ml
index e9eb40313..dedda3143 100644
--- a/tools/objinfo.ml
+++ b/tools/objinfo.ml
@@ -1,13 +1,13 @@
(***********************************************************************)
(* *)
-(* Objective Caml *)
+(* OCaml *)
(* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* Mehdi Dogguy, PPS laboratory, University Paris Diderot *)
(* *)
(* Copyright 1996 Institut National de Recherche en Informatique et *)
(* en Automatique. Modifications Copyright 2010 Mehdi Dogguy, *)
-(* used and distributed as part of Objective Caml by permission from *)
+(* used and distributed as part of OCaml by permission from *)
(* the author. This file is distributed under the terms of the *)
(* Q Public License version 1.0. *)
(* *)
diff --git a/tools/objinfo_helper.c b/tools/objinfo_helper.c
index 464720c29..689cdf750 100644
--- a/tools/objinfo_helper.c
+++ b/tools/objinfo_helper.c
@@ -1,11 +1,11 @@
/***********************************************************************/
/* */
-/* Objective Caml */
+/* OCaml */
/* */
/* Mehdi Dogguy, PPS laboratory, University Paris Diderot */
/* */
/* Copyright 2010 Mehdi Dogguy. Used and distributed as part of */
-/* Objective Caml by permission from the author. This file is */
+/* OCaml by permission from the author. This file is */
/* distributed under the terms of the Q Public License version 1.0. */
/***********************************************************************/
diff --git a/tools/ocaml-objcopy-macosx b/tools/ocaml-objcopy-macosx
index cb2f703b4..b4584a073 100755
--- a/tools/ocaml-objcopy-macosx
+++ b/tools/ocaml-objcopy-macosx
@@ -2,7 +2,7 @@
#########################################################################
# #
-# Objective Caml #
+# OCaml #
# #
# Damien Doligez, projet Cristal, INRIA Rocquencourt #
# #
diff --git a/tools/ocaml299to3.ml b/tools/ocaml299to3.ml
index ad016f64d..fb66c7616 100644
--- a/tools/ocaml299to3.ml
+++ b/tools/ocaml299to3.ml
@@ -1,6 +1,6 @@
(***********************************************************************)
(* *)
-(* Objective Caml *)
+(* OCaml *)
(* *)
(* Jacques Garrigue, Kyoto University RIMS *)
(* *)
diff --git a/tools/ocamlcp.ml b/tools/ocamlcp.ml
index 0218a14fb..87c8eeca1 100644
--- a/tools/ocamlcp.ml
+++ b/tools/ocamlcp.ml
@@ -1,6 +1,6 @@
(***********************************************************************)
(* *)
-(* Objective Caml *)
+(* OCaml *)
(* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *)
diff --git a/tools/ocamldep.ml b/tools/ocamldep.ml
index 569728d27..1e8b3b860 100644
--- a/tools/ocamldep.ml
+++ b/tools/ocamldep.ml
@@ -1,6 +1,6 @@
(***********************************************************************)
(* *)
-(* Objective Caml *)
+(* OCaml *)
(* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *)
diff --git a/tools/ocamlmklib.mlp b/tools/ocamlmklib.mlp
index 2e2edd024..5beaae321 100644
--- a/tools/ocamlmklib.mlp
+++ b/tools/ocamlmklib.mlp
@@ -1,6 +1,6 @@
(***********************************************************************)
(* *)
-(* Objective Caml *)
+(* OCaml *)
(* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *)
diff --git a/tools/ocamlmktop.ml b/tools/ocamlmktop.ml
index 3d353a8f5..0b4a8b092 100644
--- a/tools/ocamlmktop.ml
+++ b/tools/ocamlmktop.ml
@@ -1,6 +1,6 @@
(***********************************************************************)
(* *)
-(* Objective Caml *)
+(* OCaml *)
(* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *)
diff --git a/tools/ocamlmktop.tpl b/tools/ocamlmktop.tpl
index 477f7387c..0f44da8ca 100644
--- a/tools/ocamlmktop.tpl
+++ b/tools/ocamlmktop.tpl
@@ -1,7 +1,7 @@
#!/bin/sh
#########################################################################
# #
-# Objective Caml #
+# OCaml #
# #
# Damien Doligez, projet Para, INRIA Rocquencourt #
# #
diff --git a/tools/ocamlprof.ml b/tools/ocamlprof.ml
index f58712ec5..c1ed927e4 100644
--- a/tools/ocamlprof.ml
+++ b/tools/ocamlprof.ml
@@ -1,6 +1,6 @@
(***********************************************************************)
(* *)
-(* Objective Caml *)
+(* OCaml *)
(* *)
(* Damien Doligez and Francois Rouaix, INRIA Rocquencourt *)
(* Ported to Caml Special Light by John Malecki *)
diff --git a/tools/ocamlsize b/tools/ocamlsize
index 659543d59..7b419ceba 100755
--- a/tools/ocamlsize
+++ b/tools/ocamlsize
@@ -1,5 +1,17 @@
#!/usr/bin/perl
+#######################################################################
+# #
+# OCaml #
+# #
+# Xavier Leroy, projet Cristal, INRIA Rocquencourt #
+# #
+# 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. #
+# #
+#######################################################################
+
foreach $f (@ARGV) {
open(FILE, $f) || die("Cannot open $f");
seek(FILE, -16, 2);
diff --git a/tools/primreq.ml b/tools/primreq.ml
index dcace11ba..c1764f5df 100644
--- a/tools/primreq.ml
+++ b/tools/primreq.ml
@@ -1,6 +1,6 @@
(***********************************************************************)
(* *)
-(* Objective Caml *)
+(* OCaml *)
(* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *)
diff --git a/tools/profiling.ml b/tools/profiling.ml
index 9c6d9dd02..06c976109 100644
--- a/tools/profiling.ml
+++ b/tools/profiling.ml
@@ -1,6 +1,6 @@
(***********************************************************************)
(* *)
-(* Objective Caml *)
+(* OCaml *)
(* *)
(* Damien Doligez and Francois Rouaix, INRIA Rocquencourt *)
(* Ported to Caml Special Light by John Malecki and Xavier Leroy *)
diff --git a/tools/profiling.mli b/tools/profiling.mli
index ca8486f43..61be2be76 100644
--- a/tools/profiling.mli
+++ b/tools/profiling.mli
@@ -1,9 +1,9 @@
(***********************************************************************)
(* *)
-(* Objective Caml *)
+(* OCaml *)
(* *)
(* Damien Doligez and Francois Rouaix, INRIA Rocquencourt *)
-(* Ported to Objective Caml by John Malecki and Xavier Leroy *)
+(* Ported to OCaml by John Malecki and Xavier Leroy *)
(* *)
(* Copyright 1996 Institut National de Recherche en Informatique et *)
(* en Automatique. All rights reserved. This file is distributed *)
diff --git a/tools/scrapelabels.ml b/tools/scrapelabels.ml
index dc43e97b7..3d8ab032c 100644
--- a/tools/scrapelabels.ml
+++ b/tools/scrapelabels.ml
@@ -1,6 +1,6 @@
(***********************************************************************)
(* *)
-(* Objective Caml *)
+(* OCaml *)
(* *)
(* Jacques Garrigue, Kyoto University RIMS *)
(* *)
diff --git a/tools/setignore b/tools/setignore
index c99a77b82..708ed26cc 100755
--- a/tools/setignore
+++ b/tools/setignore
@@ -1,5 +1,17 @@
#!/bin/sh
+#########################################################################
+# #
+# OCaml #
+# #
+# Damien Doligez, projet Gallium, INRIA Rocquencourt #
+# #
+# Copyright 2011 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. #
+# #
+#########################################################################
+
(
cat <<EOF
*.o
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-20 04:00:30 +0000