summaryrefslogtreecommitdiffstats
path: root/otherlibs/num
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2001-12-07 13:41:02 +0000
committerXavier Leroy <xavier.leroy@inria.fr>2001-12-07 13:41:02 +0000
commit7501784c805833fd9e633d88b4aa80924976d82a (patch)
treeb2318bf34300332fb77e67d8902a004477c29870 /otherlibs/num
parent658e8f683a8e031e71d9ddb3ee7a182d771386a2 (diff)
MAJ en-tetes pour mentionner la 'special exception' sur la LGPL
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4144 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/num')
-rw-r--r--otherlibs/num/Makefile3
-rw-r--r--otherlibs/num/Makefile.Mac3
-rw-r--r--otherlibs/num/Makefile.nt3
-rw-r--r--otherlibs/num/arith_flags.ml3
-rw-r--r--otherlibs/num/arith_flags.mli3
-rw-r--r--otherlibs/num/arith_status.ml3
-rw-r--r--otherlibs/num/arith_status.mli3
-rw-r--r--otherlibs/num/big_int.ml3
-rw-r--r--otherlibs/num/big_int.mli3
-rw-r--r--otherlibs/num/int_misc.ml3
-rw-r--r--otherlibs/num/int_misc.mli3
-rw-r--r--otherlibs/num/nat.h3
-rw-r--r--otherlibs/num/nat.ml3
-rw-r--r--otherlibs/num/nat.mli3
-rw-r--r--otherlibs/num/nat_stubs.c3
-rw-r--r--otherlibs/num/num.ml3
-rw-r--r--otherlibs/num/num.mli3
-rw-r--r--otherlibs/num/ratio.ml3
-rw-r--r--otherlibs/num/ratio.mli3
-rw-r--r--otherlibs/num/string_misc.ml3
-rw-r--r--otherlibs/num/string_misc.mli3
-rw-r--r--otherlibs/num/test/Makefile3
-rw-r--r--otherlibs/num/test/Makefile.Mac3
-rw-r--r--otherlibs/num/test/Makefile.nt3
24 files changed, 48 insertions, 24 deletions
diff --git a/otherlibs/num/Makefile b/otherlibs/num/Makefile
index c64dfa582..4639a171d 100644
--- a/otherlibs/num/Makefile
+++ b/otherlibs/num/Makefile
@@ -6,7 +6,8 @@
# #
# Copyright 1999 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. #
+# under the terms of the GNU Library General Public License, with #
+# the special exception on linking described in file ../../LICENSE. #
# #
#########################################################################
diff --git a/otherlibs/num/Makefile.Mac b/otherlibs/num/Makefile.Mac
index b422a4521..cf8a53fed 100644
--- a/otherlibs/num/Makefile.Mac
+++ b/otherlibs/num/Makefile.Mac
@@ -6,7 +6,8 @@
# #
# Copyright 1999 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. #
+# under the terms of the GNU Library General Public License, with #
+# the special exception on linking described in file ../../LICENSE. #
# #
#########################################################################
diff --git a/otherlibs/num/Makefile.nt b/otherlibs/num/Makefile.nt
index 436637eba..67cf96044 100644
--- a/otherlibs/num/Makefile.nt
+++ b/otherlibs/num/Makefile.nt
@@ -6,7 +6,8 @@
# #
# Copyright 1999 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. #
+# under the terms of the GNU Library General Public License, with #
+# the special exception on linking described in file ../../LICENSE. #
# #
#########################################################################
diff --git a/otherlibs/num/arith_flags.ml b/otherlibs/num/arith_flags.ml
index f09e4e6bd..6192ba202 100644
--- a/otherlibs/num/arith_flags.ml
+++ b/otherlibs/num/arith_flags.ml
@@ -6,7 +6,8 @@
(* *)
(* 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. *)
+(* under the terms of the GNU Library General Public License, with *)
+(* the special exception on linking described in file ../../LICENSE. *)
(* *)
(***********************************************************************)
diff --git a/otherlibs/num/arith_flags.mli b/otherlibs/num/arith_flags.mli
index 053341d87..36160edb2 100644
--- a/otherlibs/num/arith_flags.mli
+++ b/otherlibs/num/arith_flags.mli
@@ -6,7 +6,8 @@
(* *)
(* 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. *)
+(* under the terms of the GNU Library General Public License, with *)
+(* the special exception on linking described in file ../../LICENSE. *)
(* *)
(***********************************************************************)
diff --git a/otherlibs/num/arith_status.ml b/otherlibs/num/arith_status.ml
index 7e783acbb..02affd92b 100644
--- a/otherlibs/num/arith_status.ml
+++ b/otherlibs/num/arith_status.ml
@@ -6,7 +6,8 @@
(* *)
(* 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. *)
+(* under the terms of the GNU Library General Public License, with *)
+(* the special exception on linking described in file ../../LICENSE. *)
(* *)
(***********************************************************************)
diff --git a/otherlibs/num/arith_status.mli b/otherlibs/num/arith_status.mli
index 13a3e12fd..ec339cc42 100644
--- a/otherlibs/num/arith_status.mli
+++ b/otherlibs/num/arith_status.mli
@@ -6,7 +6,8 @@
(* *)
(* 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. *)
+(* under the terms of the GNU Library General Public License, with *)
+(* the special exception on linking described in file ../../LICENSE. *)
(* *)
(***********************************************************************)
diff --git a/otherlibs/num/big_int.ml b/otherlibs/num/big_int.ml
index 7089b0763..7542f1f89 100644
--- a/otherlibs/num/big_int.ml
+++ b/otherlibs/num/big_int.ml
@@ -6,7 +6,8 @@
(* *)
(* 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. *)
+(* under the terms of the GNU Library General Public License, with *)
+(* the special exception on linking described in file ../../LICENSE. *)
(* *)
(***********************************************************************)
diff --git a/otherlibs/num/big_int.mli b/otherlibs/num/big_int.mli
index 715111709..a5bafcaa7 100644
--- a/otherlibs/num/big_int.mli
+++ b/otherlibs/num/big_int.mli
@@ -6,7 +6,8 @@
(* *)
(* 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. *)
+(* under the terms of the GNU Library General Public License, with *)
+(* the special exception on linking described in file ../../LICENSE. *)
(* *)
(***********************************************************************)
diff --git a/otherlibs/num/int_misc.ml b/otherlibs/num/int_misc.ml
index 573965872..b7eb4c67d 100644
--- a/otherlibs/num/int_misc.ml
+++ b/otherlibs/num/int_misc.ml
@@ -6,7 +6,8 @@
(* *)
(* 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. *)
+(* under the terms of the GNU Library General Public License, with *)
+(* the special exception on linking described in file ../../LICENSE. *)
(* *)
(***********************************************************************)
diff --git a/otherlibs/num/int_misc.mli b/otherlibs/num/int_misc.mli
index ec243a188..28bb335b8 100644
--- a/otherlibs/num/int_misc.mli
+++ b/otherlibs/num/int_misc.mli
@@ -6,7 +6,8 @@
(* *)
(* 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. *)
+(* under the terms of the GNU Library General Public License, with *)
+(* the special exception on linking described in file ../../LICENSE. *)
(* *)
(***********************************************************************)
diff --git a/otherlibs/num/nat.h b/otherlibs/num/nat.h
index ccd650a9f..076f80f8c 100644
--- a/otherlibs/num/nat.h
+++ b/otherlibs/num/nat.h
@@ -6,7 +6,8 @@
/* */
/* Copyright 1999 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. */
+/* under the terms of the GNU Library General Public License, with */
+/* the special exception on linking described in file ../../LICENSE. */
/* */
/***********************************************************************/
diff --git a/otherlibs/num/nat.ml b/otherlibs/num/nat.ml
index 61896537e..02f1b1b7a 100644
--- a/otherlibs/num/nat.ml
+++ b/otherlibs/num/nat.ml
@@ -6,7 +6,8 @@
(* *)
(* 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. *)
+(* under the terms of the GNU Library General Public License, with *)
+(* the special exception on linking described in file ../../LICENSE. *)
(* *)
(***********************************************************************)
diff --git a/otherlibs/num/nat.mli b/otherlibs/num/nat.mli
index 186153d3a..df52473c0 100644
--- a/otherlibs/num/nat.mli
+++ b/otherlibs/num/nat.mli
@@ -6,7 +6,8 @@
(* *)
(* 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. *)
+(* under the terms of the GNU Library General Public License, with *)
+(* the special exception on linking described in file ../../LICENSE. *)
(* *)
(***********************************************************************)
diff --git a/otherlibs/num/nat_stubs.c b/otherlibs/num/nat_stubs.c
index a9977ed07..30225a3a4 100644
--- a/otherlibs/num/nat_stubs.c
+++ b/otherlibs/num/nat_stubs.c
@@ -6,7 +6,8 @@
/* */
/* 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. */
+/* under the terms of the GNU Library General Public License, with */
+/* the special exception on linking described in file ../../LICENSE. */
/* */
/***********************************************************************/
diff --git a/otherlibs/num/num.ml b/otherlibs/num/num.ml
index ab281f87c..3d53aefdf 100644
--- a/otherlibs/num/num.ml
+++ b/otherlibs/num/num.ml
@@ -6,7 +6,8 @@
(* *)
(* 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. *)
+(* under the terms of the GNU Library General Public License, with *)
+(* the special exception on linking described in file ../../LICENSE. *)
(* *)
(***********************************************************************)
diff --git a/otherlibs/num/num.mli b/otherlibs/num/num.mli
index 9f60d613a..a9c9f815c 100644
--- a/otherlibs/num/num.mli
+++ b/otherlibs/num/num.mli
@@ -6,7 +6,8 @@
(* *)
(* 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. *)
+(* under the terms of the GNU Library General Public License, with *)
+(* the special exception on linking described in file ../../LICENSE. *)
(* *)
(***********************************************************************)
diff --git a/otherlibs/num/ratio.ml b/otherlibs/num/ratio.ml
index 7f6f7caa0..500236420 100644
--- a/otherlibs/num/ratio.ml
+++ b/otherlibs/num/ratio.ml
@@ -6,7 +6,8 @@
(* *)
(* 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. *)
+(* under the terms of the GNU Library General Public License, with *)
+(* the special exception on linking described in file ../../LICENSE. *)
(* *)
(***********************************************************************)
diff --git a/otherlibs/num/ratio.mli b/otherlibs/num/ratio.mli
index d80f3c517..64fc6b9cd 100644
--- a/otherlibs/num/ratio.mli
+++ b/otherlibs/num/ratio.mli
@@ -6,7 +6,8 @@
(* *)
(* 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. *)
+(* under the terms of the GNU Library General Public License, with *)
+(* the special exception on linking described in file ../../LICENSE. *)
(* *)
(***********************************************************************)
diff --git a/otherlibs/num/string_misc.ml b/otherlibs/num/string_misc.ml
index 3a519024c..b6e33b9b7 100644
--- a/otherlibs/num/string_misc.ml
+++ b/otherlibs/num/string_misc.ml
@@ -6,7 +6,8 @@
(* *)
(* 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. *)
+(* under the terms of the GNU Library General Public License, with *)
+(* the special exception on linking described in file ../../LICENSE. *)
(* *)
(***********************************************************************)
diff --git a/otherlibs/num/string_misc.mli b/otherlibs/num/string_misc.mli
index 99b3b37c0..ef89c91b8 100644
--- a/otherlibs/num/string_misc.mli
+++ b/otherlibs/num/string_misc.mli
@@ -6,7 +6,8 @@
(* *)
(* 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. *)
+(* under the terms of the GNU Library General Public License, with *)
+(* the special exception on linking described in file ../../LICENSE. *)
(* *)
(***********************************************************************)
diff --git a/otherlibs/num/test/Makefile b/otherlibs/num/test/Makefile
index 1f4479418..ddb85089f 100644
--- a/otherlibs/num/test/Makefile
+++ b/otherlibs/num/test/Makefile
@@ -6,7 +6,8 @@
# #
# Copyright 1999 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. #
+# under the terms of the GNU Library General Public License, with #
+# the special exception on linking described in file ../../../LICENSE.#
# #
#########################################################################
diff --git a/otherlibs/num/test/Makefile.Mac b/otherlibs/num/test/Makefile.Mac
index a0db6325b..3e01c7220 100644
--- a/otherlibs/num/test/Makefile.Mac
+++ b/otherlibs/num/test/Makefile.Mac
@@ -6,7 +6,8 @@
# #
# Copyright 1999 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. #
+# under the terms of the GNU Library General Public License, with #
+# the special exception on linking described in file ../../../LICENSE.#
# #
#########################################################################
diff --git a/otherlibs/num/test/Makefile.nt b/otherlibs/num/test/Makefile.nt
index ac45c0e37..9cca22b7d 100644
--- a/otherlibs/num/test/Makefile.nt
+++ b/otherlibs/num/test/Makefile.nt
@@ -6,7 +6,8 @@
# #
# Copyright 1999 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. #
+# under the terms of the GNU Library General Public License, with #
+# the special exception on linking described in file ../../../LICENSE.#
# #
#########################################################################
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-19 00:03:27 +0000