diff options
Diffstat (limited to 'otherlibs/bigarray')
| -rw-r--r-- | otherlibs/bigarray/Makefile | 3 | ||||
| -rw-r--r-- | otherlibs/bigarray/Makefile.Mac | 3 | ||||
| -rw-r--r-- | otherlibs/bigarray/Makefile.nt | 3 | ||||
| -rw-r--r-- | otherlibs/bigarray/bigarray.h | 3 | ||||
| -rw-r--r-- | otherlibs/bigarray/bigarray.ml | 3 | ||||
| -rw-r--r-- | otherlibs/bigarray/bigarray.mli | 3 | ||||
| -rw-r--r-- | otherlibs/bigarray/bigarray_stubs.c | 3 | ||||
| -rw-r--r-- | otherlibs/bigarray/mmap_unix.c | 3 | ||||
| -rw-r--r-- | otherlibs/bigarray/mmap_win32.c | 3 |
9 files changed, 18 insertions, 9 deletions
diff --git a/otherlibs/bigarray/Makefile b/otherlibs/bigarray/Makefile index 46fb9f32d..71d69e47c 100644 --- a/otherlibs/bigarray/Makefile +++ b/otherlibs/bigarray/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/bigarray/Makefile.Mac b/otherlibs/bigarray/Makefile.Mac index 70575ade2..7f449f997 100644 --- a/otherlibs/bigarray/Makefile.Mac +++ b/otherlibs/bigarray/Makefile.Mac @@ -6,7 +6,8 @@ # # # Copyright 2000 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/bigarray/Makefile.nt b/otherlibs/bigarray/Makefile.nt index 9759dbf9e..17d84ed1a 100644 --- a/otherlibs/bigarray/Makefile.nt +++ b/otherlibs/bigarray/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/bigarray/bigarray.h b/otherlibs/bigarray/bigarray.h index 1d1cc8630..796a60338 100644 --- a/otherlibs/bigarray/bigarray.h +++ b/otherlibs/bigarray/bigarray.h @@ -6,7 +6,8 @@ /* */ /* Copyright 2000 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/bigarray/bigarray.ml b/otherlibs/bigarray/bigarray.ml index 2234b934f..c35cf03c7 100644 --- a/otherlibs/bigarray/bigarray.ml +++ b/otherlibs/bigarray/bigarray.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 2000 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/bigarray/bigarray.mli b/otherlibs/bigarray/bigarray.mli index 9439a78df..8a33de906 100644 --- a/otherlibs/bigarray/bigarray.mli +++ b/otherlibs/bigarray/bigarray.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 2000 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/bigarray/bigarray_stubs.c b/otherlibs/bigarray/bigarray_stubs.c index 38d8ab857..bfbd5f460 100644 --- a/otherlibs/bigarray/bigarray_stubs.c +++ b/otherlibs/bigarray/bigarray_stubs.c @@ -6,7 +6,8 @@ /* */ /* Copyright 2000 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/bigarray/mmap_unix.c b/otherlibs/bigarray/mmap_unix.c index 291563d78..e0f649f92 100644 --- a/otherlibs/bigarray/mmap_unix.c +++ b/otherlibs/bigarray/mmap_unix.c @@ -6,7 +6,8 @@ /* */ /* Copyright 2000 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/bigarray/mmap_win32.c b/otherlibs/bigarray/mmap_win32.c index d3186e73a..82735cb9e 100644 --- a/otherlibs/bigarray/mmap_win32.c +++ b/otherlibs/bigarray/mmap_win32.c @@ -6,7 +6,8 @@ /* */ /* Copyright 2000 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. */ /* */ /***********************************************************************/ |