summaryrefslogtreecommitdiffstats
path: root/asmrun
diff options
context:
space:
mode:
Diffstat (limited to 'asmrun')
-rw-r--r--asmrun/Makefile2
-rw-r--r--asmrun/Makefile.nt2
-rw-r--r--asmrun/alpha.S2
-rw-r--r--asmrun/amd64.S2
-rw-r--r--asmrun/amd64nt.asm24
-rw-r--r--asmrun/arm.S2
-rw-r--r--asmrun/backtrace.c2
-rw-r--r--asmrun/fail.c2
-rw-r--r--asmrun/hppa.S24
-rw-r--r--asmrun/i386.S2
-rw-r--r--asmrun/i386nt.asm24
-rw-r--r--asmrun/ia64.S5
-rw-r--r--asmrun/m68k.S2
-rw-r--r--asmrun/mips.s2
-rw-r--r--asmrun/natdynlink.c13
-rw-r--r--asmrun/power-aix.S24
-rw-r--r--asmrun/power-elf.S24
-rw-r--r--asmrun/power-rhapsody.S24
-rw-r--r--asmrun/roots.c2
-rw-r--r--asmrun/signals_asm.c2
-rw-r--r--asmrun/signals_osdep.h2
-rw-r--r--asmrun/sparc.S2
-rw-r--r--asmrun/stack.h2
-rw-r--r--asmrun/startup.c2
24 files changed, 104 insertions, 90 deletions
diff --git a/asmrun/Makefile b/asmrun/Makefile
index 81c0120a4..2ccfa880d 100644
--- a/asmrun/Makefile
+++ b/asmrun/Makefile
@@ -1,6 +1,6 @@
#########################################################################
# #
-# Objective Caml #
+# OCaml #
# #
# Xavier Leroy, projet Cristal, INRIA Rocquencourt #
# #
diff --git a/asmrun/Makefile.nt b/asmrun/Makefile.nt
index 75fe26141..67f94d658 100644
--- a/asmrun/Makefile.nt
+++ b/asmrun/Makefile.nt
@@ -1,6 +1,6 @@
#########################################################################
# #
-# Objective Caml #
+# OCaml #
# #
# Xavier Leroy, projet Cristal, INRIA Rocquencourt #
# #
diff --git a/asmrun/alpha.S b/asmrun/alpha.S
index c5251b73a..c726d4592 100644
--- a/asmrun/alpha.S
+++ b/asmrun/alpha.S
@@ -1,6 +1,6 @@
/***********************************************************************/
/* */
-/* Objective Caml */
+/* OCaml */
/* */
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
diff --git a/asmrun/amd64.S b/asmrun/amd64.S
index 645c2e616..b960ea802 100644
--- a/asmrun/amd64.S
+++ b/asmrun/amd64.S
@@ -1,6 +1,6 @@
/***********************************************************************/
/* */
-/* Objective Caml */
+/* OCaml */
/* */
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
diff --git a/asmrun/amd64nt.asm b/asmrun/amd64nt.asm
index 4c31bc873..2a38fd9f3 100644
--- a/asmrun/amd64nt.asm
+++ b/asmrun/amd64nt.asm
@@ -1,15 +1,15 @@
-;*********************************************************************
-;
-; Objective Caml
-;
-; Xavier Leroy, projet Gallium, INRIA Rocquencourt
-;
-; Copyright 2006 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.
-;
-;*********************************************************************
+;***********************************************************************
+;* *
+;* OCaml *
+;* *
+;* Xavier Leroy, projet Gallium, INRIA Rocquencourt *
+;* *
+;* Copyright 2006 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. *
+;* *
+;***********************************************************************
; $Id$
diff --git a/asmrun/arm.S b/asmrun/arm.S
index 8a47d182c..b7c64243a 100644
--- a/asmrun/arm.S
+++ b/asmrun/arm.S
@@ -1,6 +1,6 @@
/***********************************************************************/
/* */
-/* Objective Caml */
+/* OCaml */
/* */
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
diff --git a/asmrun/backtrace.c b/asmrun/backtrace.c
index 0825cade5..c9581dd27 100644
--- a/asmrun/backtrace.c
+++ b/asmrun/backtrace.c
@@ -1,6 +1,6 @@
/***********************************************************************/
/* */
-/* Objective Caml */
+/* OCaml */
/* */
/* Xavier Leroy, projet Gallium, INRIA Rocquencourt */
/* */
diff --git a/asmrun/fail.c b/asmrun/fail.c
index a1ec0fb07..45a4b8fa8 100644
--- a/asmrun/fail.c
+++ b/asmrun/fail.c
@@ -1,6 +1,6 @@
/***********************************************************************/
/* */
-/* Objective Caml */
+/* OCaml */
/* */
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
diff --git a/asmrun/hppa.S b/asmrun/hppa.S
index abdd4554b..1f367e827 100644
--- a/asmrun/hppa.S
+++ b/asmrun/hppa.S
@@ -1,15 +1,15 @@
-;*********************************************************************
-;* *
-;* Objective Caml *
-;* *
-;* Xavier Leroy, projet Cristal, INRIA Rocquencourt *
-;* *
-;* Copyright 1996 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. *
-;* *
-;*********************************************************************
+;***********************************************************************
+;* *
+;* OCaml *
+;* *
+;* Xavier Leroy, projet Cristal, INRIA Rocquencourt *
+;* *
+;* Copyright 1996 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. *
+;* *
+;***********************************************************************
; $Id$
diff --git a/asmrun/i386.S b/asmrun/i386.S
index 73ac46741..fc91d393f 100644
--- a/asmrun/i386.S
+++ b/asmrun/i386.S
@@ -1,6 +1,6 @@
/***********************************************************************/
/* */
-/* Objective Caml */
+/* OCaml */
/* */
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
diff --git a/asmrun/i386nt.asm b/asmrun/i386nt.asm
index 711449cfb..02c6ff564 100644
--- a/asmrun/i386nt.asm
+++ b/asmrun/i386nt.asm
@@ -1,15 +1,15 @@
-;*********************************************************************
-;
-; Objective Caml
-;
-; Xavier Leroy, projet Cristal, INRIA Rocquencourt
-;
-; Copyright 1996 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.
-;
-;*********************************************************************
+;***********************************************************************
+;* *
+;* OCaml *
+;* *
+;* Xavier Leroy, projet Cristal, INRIA Rocquencourt *
+;* *
+;* Copyright 1996 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. *
+;* *
+;***********************************************************************
; $Id$
diff --git a/asmrun/ia64.S b/asmrun/ia64.S
index d4296fa4a..4680aa932 100644
--- a/asmrun/ia64.S
+++ b/asmrun/ia64.S
@@ -1,12 +1,13 @@
/***********************************************************************/
/* */
-/* Objective Caml */
+/* OCaml */
/* */
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 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. */
+/* under the terms of the GNU Library General Public License, with */
+/* the special exception on linking described in file ../LICENSE. */
/* */
/***********************************************************************/
diff --git a/asmrun/m68k.S b/asmrun/m68k.S
index 559eacbeb..e456f3c35 100644
--- a/asmrun/m68k.S
+++ b/asmrun/m68k.S
@@ -1,6 +1,6 @@
|***********************************************************************
|* *
-|* Objective Caml *
+|* OCaml *
|* *
|* Xavier Leroy, projet Cristal, INRIA Rocquencourt *
|* *
diff --git a/asmrun/mips.s b/asmrun/mips.s
index 03fd62343..5f63c3f3f 100644
--- a/asmrun/mips.s
+++ b/asmrun/mips.s
@@ -1,6 +1,6 @@
/***********************************************************************/
/* */
-/* Objective Caml */
+/* OCaml */
/* */
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
diff --git a/asmrun/natdynlink.c b/asmrun/natdynlink.c
index 84cfb590c..9de81b018 100644
--- a/asmrun/natdynlink.c
+++ b/asmrun/natdynlink.c
@@ -1,3 +1,16 @@
+/***********************************************************************/
+/* */
+/* OCaml */
+/* */
+/* Alain Frisch, 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 GNU Library General Public License, with */
+/* the special exception on linking described in file ../LICENSE. */
+/* */
+/***********************************************************************/
+
#include "misc.h"
#include "mlvalues.h"
#include "memory.h"
diff --git a/asmrun/power-aix.S b/asmrun/power-aix.S
index d63cdae86..21e1c7e28 100644
--- a/asmrun/power-aix.S
+++ b/asmrun/power-aix.S
@@ -1,15 +1,15 @@
-#*********************************************************************
-#* *
-#* Objective Caml *
-#* *
-#* Xavier Leroy, projet Cristal, INRIA Rocquencourt *
-#* *
-#* Copyright 1996 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. *
-#* *
-#*********************************************************************
+#***********************************************************************
+#* *
+#* OCaml *
+#* *
+#* Xavier Leroy, projet Cristal, INRIA Rocquencourt *
+#* *
+#* Copyright 1996 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. *
+#* *
+#***********************************************************************
# $Id$
diff --git a/asmrun/power-elf.S b/asmrun/power-elf.S
index 968e3aeb8..34ef6cc21 100644
--- a/asmrun/power-elf.S
+++ b/asmrun/power-elf.S
@@ -1,15 +1,15 @@
-/*********************************************************************/
-/* */
-/* Objective Caml */
-/* */
-/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
-/* */
-/* Copyright 1996 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. */
-/* */
-/*********************************************************************/
+/***********************************************************************/
+/* */
+/* OCaml */
+/* */
+/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
+/* */
+/* Copyright 1996 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. */
+/* */
+/***********************************************************************/
/* $Id$ */
diff --git a/asmrun/power-rhapsody.S b/asmrun/power-rhapsody.S
index 765de9c8c..ab7f5384c 100644
--- a/asmrun/power-rhapsody.S
+++ b/asmrun/power-rhapsody.S
@@ -1,15 +1,15 @@
-/*********************************************************************/
-/* */
-/* Objective Caml */
-/* */
-/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
-/* */
-/* Copyright 1996 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. */
-/* */
-/*********************************************************************/
+/***********************************************************************/
+/* */
+/* OCaml */
+/* */
+/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
+/* */
+/* Copyright 1996 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. */
+/* */
+/***********************************************************************/
/* $Id$ */
diff --git a/asmrun/roots.c b/asmrun/roots.c
index cb75a099c..4a495e2c1 100644
--- a/asmrun/roots.c
+++ b/asmrun/roots.c
@@ -1,6 +1,6 @@
/***********************************************************************/
/* */
-/* Objective Caml */
+/* OCaml */
/* */
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
diff --git a/asmrun/signals_asm.c b/asmrun/signals_asm.c
index f8f542ada..5b3f9955e 100644
--- a/asmrun/signals_asm.c
+++ b/asmrun/signals_asm.c
@@ -1,6 +1,6 @@
/***********************************************************************/
/* */
-/* Objective Caml */
+/* OCaml */
/* */
/* Xavier Leroy, projet Gallium, INRIA Rocquencourt */
/* */
diff --git a/asmrun/signals_osdep.h b/asmrun/signals_osdep.h
index 76552e5ee..85e9b750a 100644
--- a/asmrun/signals_osdep.h
+++ b/asmrun/signals_osdep.h
@@ -1,6 +1,6 @@
/***********************************************************************/
/* */
-/* Objective Caml */
+/* OCaml */
/* */
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
diff --git a/asmrun/sparc.S b/asmrun/sparc.S
index 38d0be0c1..dd1e5844a 100644
--- a/asmrun/sparc.S
+++ b/asmrun/sparc.S
@@ -1,6 +1,6 @@
/***********************************************************************/
/* */
-/* Objective Caml */
+/* OCaml */
/* */
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
diff --git a/asmrun/stack.h b/asmrun/stack.h
index 62a33e71f..2609d391c 100644
--- a/asmrun/stack.h
+++ b/asmrun/stack.h
@@ -1,6 +1,6 @@
/***********************************************************************/
/* */
-/* Objective Caml */
+/* OCaml */
/* */
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
diff --git a/asmrun/startup.c b/asmrun/startup.c
index 8bfe76211..0f8ed10f7 100644
--- a/asmrun/startup.c
+++ b/asmrun/startup.c
@@ -1,6 +1,6 @@
/***********************************************************************/
/* */
-/* Objective Caml */
+/* OCaml */
/* */
/* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */
/* */