diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1999-11-17 18:59:06 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1999-11-17 18:59:06 +0000 |
| commit | cc0f32b05439bb7018e8ad62a54d6371b01aab9f (patch) | |
| tree | 11e614c740672ce84f806b42a6630d192f057bd8 /otherlibs | |
| parent | f07e6fe1c7d8b37c2b00e0a47146285789f1e526 (diff) | |
Changement de la licence
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs')
224 files changed, 748 insertions, 199 deletions
diff --git a/otherlibs/db/Makefile b/otherlibs/db/Makefile index bff7a5813..4331732d5 100644 --- a/otherlibs/db/Makefile +++ b/otherlibs/db/Makefile @@ -1,3 +1,17 @@ +######################################################################### +# # +# Objective Caml # +# # +# Xavier Leroy, projet Cristal, INRIA Rocquencourt # +# # +# 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. # +# # +######################################################################### + +# $Id$ + # Makefile for the ndbm library include ../../config/Makefile diff --git a/otherlibs/db/db.ml b/otherlibs/db/db.ml index 5a96f34f3..7bb9c5e23 100644 --- a/otherlibs/db/db.ml +++ b/otherlibs/db/db.ml @@ -5,7 +5,8 @@ (* Francois Rouaix, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/db/db.mli b/otherlibs/db/db.mli index a1d954369..9c85db38e 100644 --- a/otherlibs/db/db.mli +++ b/otherlibs/db/db.mli @@ -5,7 +5,8 @@ (* Francois Rouaix, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/db/dbstubs.c b/otherlibs/db/dbstubs.c index 1481d808d..585d410b6 100644 --- a/otherlibs/db/dbstubs.c +++ b/otherlibs/db/dbstubs.c @@ -5,7 +5,8 @@ /* Francois Rouaix, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/db/dbstubs.h b/otherlibs/db/dbstubs.h index 4ef44b6ab..0dcad3ae6 100644 --- a/otherlibs/db/dbstubs.h +++ b/otherlibs/db/dbstubs.h @@ -5,7 +5,8 @@ /* Francois Rouaix, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/dbm/Makefile b/otherlibs/dbm/Makefile index 48bee64f0..4cfefd1c9 100644 --- a/otherlibs/dbm/Makefile +++ b/otherlibs/dbm/Makefile @@ -1,3 +1,17 @@ +######################################################################### +# # +# Objective Caml # +# # +# Xavier Leroy, projet Cristal, INRIA Rocquencourt # +# # +# 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. # +# # +######################################################################### + +# $Id$ + # Makefile for the ndbm library include ../../config/Makefile diff --git a/otherlibs/dbm/cldbm.c b/otherlibs/dbm/cldbm.c index dcf21c4b5..fa25899af 100644 --- a/otherlibs/dbm/cldbm.c +++ b/otherlibs/dbm/cldbm.c @@ -5,7 +5,8 @@ /* Francois Rouaix, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/dbm/dbm.ml b/otherlibs/dbm/dbm.ml index e8372a916..abfabf6ee 100644 --- a/otherlibs/dbm/dbm.ml +++ b/otherlibs/dbm/dbm.ml @@ -5,7 +5,8 @@ (* Francois Rouaix, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/dbm/dbm.mli b/otherlibs/dbm/dbm.mli index b90d39278..2667b3057 100644 --- a/otherlibs/dbm/dbm.mli +++ b/otherlibs/dbm/dbm.mli @@ -5,7 +5,8 @@ (* Francois Rouaix, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/dynlink/Makefile b/otherlibs/dynlink/Makefile index 90770b82e..0d5245235 100644 --- a/otherlibs/dynlink/Makefile +++ b/otherlibs/dynlink/Makefile @@ -1,3 +1,17 @@ +######################################################################### +# # +# Objective Caml # +# # +# Xavier Leroy, projet Cristal, INRIA Rocquencourt # +# # +# 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. # +# # +######################################################################### + +# $Id$ + # Makefile for the dynamic link library include ../../config/Makefile diff --git a/otherlibs/dynlink/Makefile.Mac b/otherlibs/dynlink/Makefile.Mac index 5f1f79a86..2d0c7f51e 100644 --- a/otherlibs/dynlink/Makefile.Mac +++ b/otherlibs/dynlink/Makefile.Mac @@ -1,3 +1,17 @@ +######################################################################### +# # +# Objective Caml # +# # +# Damien Doligez, projet Para, INRIA Rocquencourt # +# # +# 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. # +# # +######################################################################### + +# $Id$ + # Makefile for the dynamic link library CAMLC = :::boot:ocamlrun :::boot:ocamlc diff --git a/otherlibs/dynlink/Makefile.nt b/otherlibs/dynlink/Makefile.nt index 3b8838bde..fd2640fe2 100644 --- a/otherlibs/dynlink/Makefile.nt +++ b/otherlibs/dynlink/Makefile.nt @@ -1,3 +1,17 @@ +######################################################################### +# # +# Objective Caml # +# # +# Xavier Leroy, projet Cristal, INRIA Rocquencourt # +# # +# 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. # +# # +######################################################################### + +# $Id$ + # Makefile for the dynamic link library !include ..\..\config\Makefile.nt diff --git a/otherlibs/dynlink/dynlink.ml b/otherlibs/dynlink/dynlink.ml index 0ccf3e8f6..263bf0a69 100644 --- a/otherlibs/dynlink/dynlink.ml +++ b/otherlibs/dynlink/dynlink.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/dynlink/dynlink.mli b/otherlibs/dynlink/dynlink.mli index 751785793..7bac5da02 100644 --- a/otherlibs/dynlink/dynlink.mli +++ b/otherlibs/dynlink/dynlink.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/dynlink/extract_crc.ml b/otherlibs/dynlink/extract_crc.ml index ec119bd45..b6b033748 100644 --- a/otherlibs/dynlink/extract_crc.ml +++ b/otherlibs/dynlink/extract_crc.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/graph/Makefile b/otherlibs/graph/Makefile index 370f72184..0c28a5b4e 100644 --- a/otherlibs/graph/Makefile +++ b/otherlibs/graph/Makefile @@ -1,3 +1,17 @@ +######################################################################### +# # +# Objective Caml # +# # +# Xavier Leroy, projet Cristal, INRIA Rocquencourt # +# # +# 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. # +# # +######################################################################### + +# $Id$ + # Makefile for the portable graphics library include ../../config/Makefile diff --git a/otherlibs/graph/Makefile.Mac b/otherlibs/graph/Makefile.Mac index d5b97c01d..162dc2e9e 100644 --- a/otherlibs/graph/Makefile.Mac +++ b/otherlibs/graph/Makefile.Mac @@ -1,3 +1,17 @@ +######################################################################### +# # +# Objective Caml # +# # +# Damien Doligez, projet Para, INRIA Rocquencourt # +# # +# 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. # +# # +######################################################################### + +# $Id$ + CAMLC = :::boot:ocamlrun :::boot:ocamlc -I :::stdlib: all Ä graphics.cmi graphics.cma diff --git a/otherlibs/graph/Makefile.nt b/otherlibs/graph/Makefile.nt index eedf1dbac..8578b0974 100644 --- a/otherlibs/graph/Makefile.nt +++ b/otherlibs/graph/Makefile.nt @@ -1,3 +1,17 @@ +######################################################################### +# # +# Objective Caml # +# # +# Xavier Leroy, projet Cristal, INRIA Rocquencourt # +# # +# 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. # +# # +######################################################################### + +# $Id$ + # Makefile for the portable graphics library !include ..\..\config\Makefile.nt diff --git a/otherlibs/graph/color.c b/otherlibs/graph/color.c index c2f569738..4dee537a9 100644 --- a/otherlibs/graph/color.c +++ b/otherlibs/graph/color.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/graph/draw.c b/otherlibs/graph/draw.c index c28bbf624..72a9bb65b 100644 --- a/otherlibs/graph/draw.c +++ b/otherlibs/graph/draw.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/graph/dump_img.c b/otherlibs/graph/dump_img.c index 998a334a1..a4e31689c 100644 --- a/otherlibs/graph/dump_img.c +++ b/otherlibs/graph/dump_img.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/graph/events.c b/otherlibs/graph/events.c index a5bf169e0..fda768661 100644 --- a/otherlibs/graph/events.c +++ b/otherlibs/graph/events.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/graph/fill.c b/otherlibs/graph/fill.c index aa4ac48e9..50b6d32e9 100644 --- a/otherlibs/graph/fill.c +++ b/otherlibs/graph/fill.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/graph/graphics.ml b/otherlibs/graph/graphics.ml index 1de4120dc..35ae7faec 100644 --- a/otherlibs/graph/graphics.ml +++ b/otherlibs/graph/graphics.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/graph/graphics.mli b/otherlibs/graph/graphics.mli index 5968bd690..578774e98 100644 --- a/otherlibs/graph/graphics.mli +++ b/otherlibs/graph/graphics.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/graph/image.c b/otherlibs/graph/image.c index db1dd7fee..6e07847af 100644 --- a/otherlibs/graph/image.c +++ b/otherlibs/graph/image.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/graph/image.h b/otherlibs/graph/image.h index c6f84aa3d..0c6175c30 100644 --- a/otherlibs/graph/image.h +++ b/otherlibs/graph/image.h @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/graph/libgraph.h b/otherlibs/graph/libgraph.h index ac8a50bd5..59cac28fc 100644 --- a/otherlibs/graph/libgraph.h +++ b/otherlibs/graph/libgraph.h @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/graph/make_img.c b/otherlibs/graph/make_img.c index fdd601cba..33cb61e72 100644 --- a/otherlibs/graph/make_img.c +++ b/otherlibs/graph/make_img.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/graph/open.c b/otherlibs/graph/open.c index 22812a6d5..d222198ac 100644 --- a/otherlibs/graph/open.c +++ b/otherlibs/graph/open.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/graph/point_col.c b/otherlibs/graph/point_col.c index 18326b06d..7d869142e 100644 --- a/otherlibs/graph/point_col.c +++ b/otherlibs/graph/point_col.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/graph/sound.c b/otherlibs/graph/sound.c index 3b42f96ba..81ed82d18 100644 --- a/otherlibs/graph/sound.c +++ b/otherlibs/graph/sound.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/graph/text.c b/otherlibs/graph/text.c index 1efd60629..3f2032a12 100644 --- a/otherlibs/graph/text.c +++ b/otherlibs/graph/text.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/num/Makefile b/otherlibs/num/Makefile index dd083ffe0..7d48e3729 100644 --- a/otherlibs/num/Makefile +++ b/otherlibs/num/Makefile @@ -1,3 +1,17 @@ +######################################################################### +# # +# Objective Caml # +# # +# Xavier Leroy, projet Cristal, INRIA Rocquencourt # +# # +# 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. # +# # +######################################################################### + +# $Id$ + # Makefile for the "num" (exact rational arithmetic) library include ../../config/Makefile diff --git a/otherlibs/num/Makefile.Mac b/otherlibs/num/Makefile.Mac index 6b44521d4..aebb8e137 100644 --- a/otherlibs/num/Makefile.Mac +++ b/otherlibs/num/Makefile.Mac @@ -1,3 +1,17 @@ +######################################################################### +# # +# Objective Caml # +# # +# Damien Doligez, projet Para, INRIA Rocquencourt # +# # +# 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. # +# # +######################################################################### + +# $Id$ + # Makefile for the "num" (exact rational arithmetic) library # Compilation options diff --git a/otherlibs/num/Makefile.nt b/otherlibs/num/Makefile.nt index ce097191b..8613a553e 100644 --- a/otherlibs/num/Makefile.nt +++ b/otherlibs/num/Makefile.nt @@ -1,3 +1,17 @@ +######################################################################### +# # +# Objective Caml # +# # +# Xavier Leroy, projet Cristal, INRIA Rocquencourt # +# # +# 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. # +# # +######################################################################### + +# $Id$ + # Makefile for the "num" (exact rational arithmetic) library !include ..\..\config\Makefile.nt diff --git a/otherlibs/num/arith_flags.ml b/otherlibs/num/arith_flags.ml index 6383b0b5d..f09e4e6bd 100644 --- a/otherlibs/num/arith_flags.ml +++ b/otherlibs/num/arith_flags.ml @@ -5,7 +5,8 @@ (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/num/arith_flags.mli b/otherlibs/num/arith_flags.mli index eadb0a584..053341d87 100644 --- a/otherlibs/num/arith_flags.mli +++ b/otherlibs/num/arith_flags.mli @@ -5,7 +5,8 @@ (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/num/arith_status.ml b/otherlibs/num/arith_status.ml index a57a26c8e..7e783acbb 100644 --- a/otherlibs/num/arith_status.ml +++ b/otherlibs/num/arith_status.ml @@ -5,7 +5,8 @@ (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/num/arith_status.mli b/otherlibs/num/arith_status.mli index bc45510d5..41c15f962 100644 --- a/otherlibs/num/arith_status.mli +++ b/otherlibs/num/arith_status.mli @@ -5,7 +5,8 @@ (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/num/big_int.ml b/otherlibs/num/big_int.ml index f83f90527..c2ce62564 100644 --- a/otherlibs/num/big_int.ml +++ b/otherlibs/num/big_int.ml @@ -5,7 +5,8 @@ (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/num/big_int.mli b/otherlibs/num/big_int.mli index 98699c381..598bddd0f 100644 --- a/otherlibs/num/big_int.mli +++ b/otherlibs/num/big_int.mli @@ -5,7 +5,8 @@ (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/num/int_misc.ml b/otherlibs/num/int_misc.ml index 5e8a8170f..573965872 100644 --- a/otherlibs/num/int_misc.ml +++ b/otherlibs/num/int_misc.ml @@ -5,7 +5,8 @@ (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/num/int_misc.mli b/otherlibs/num/int_misc.mli index ce7a2797d..ec243a188 100644 --- a/otherlibs/num/int_misc.mli +++ b/otherlibs/num/int_misc.mli @@ -5,7 +5,8 @@ (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/num/nat.h b/otherlibs/num/nat.h index aa62debd5..a54f4c13c 100644 --- a/otherlibs/num/nat.h +++ b/otherlibs/num/nat.h @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1999 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/num/nat.ml b/otherlibs/num/nat.ml index 1a4ceec59..cacdbeb7b 100644 --- a/otherlibs/num/nat.ml +++ b/otherlibs/num/nat.ml @@ -5,7 +5,8 @@ (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/num/nat.mli b/otherlibs/num/nat.mli index 47178581a..e90c18c07 100644 --- a/otherlibs/num/nat.mli +++ b/otherlibs/num/nat.mli @@ -5,7 +5,8 @@ (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/num/nat_stubs.c b/otherlibs/num/nat_stubs.c index a703d0ba2..3cd8b14a3 100644 --- a/otherlibs/num/nat_stubs.c +++ b/otherlibs/num/nat_stubs.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/num/num.ml b/otherlibs/num/num.ml index 037456063..95c9a7021 100644 --- a/otherlibs/num/num.ml +++ b/otherlibs/num/num.ml @@ -5,7 +5,8 @@ (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/num/num.mli b/otherlibs/num/num.mli index 6a6cf014b..41aad00d8 100644 --- a/otherlibs/num/num.mli +++ b/otherlibs/num/num.mli @@ -5,7 +5,8 @@ (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/num/ratio.ml b/otherlibs/num/ratio.ml index d97f22073..1621254cc 100644 --- a/otherlibs/num/ratio.ml +++ b/otherlibs/num/ratio.ml @@ -5,7 +5,8 @@ (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/num/ratio.mli b/otherlibs/num/ratio.mli index 5524268b0..d80f3c517 100644 --- a/otherlibs/num/ratio.mli +++ b/otherlibs/num/ratio.mli @@ -5,7 +5,8 @@ (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/num/string_misc.ml b/otherlibs/num/string_misc.ml index 13fb3139b..3a519024c 100644 --- a/otherlibs/num/string_misc.ml +++ b/otherlibs/num/string_misc.ml @@ -5,7 +5,8 @@ (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/num/string_misc.mli b/otherlibs/num/string_misc.mli index 9385ee5f8..99b3b37c0 100644 --- a/otherlibs/num/string_misc.mli +++ b/otherlibs/num/string_misc.mli @@ -5,7 +5,8 @@ (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/num/test/Makefile b/otherlibs/num/test/Makefile index 8f6f4444c..3134ed143 100644 --- a/otherlibs/num/test/Makefile +++ b/otherlibs/num/test/Makefile @@ -1,3 +1,17 @@ +######################################################################### +# # +# Objective Caml # +# # +# Xavier Leroy, projet Cristal, INRIA Rocquencourt # +# # +# 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. # +# # +######################################################################### + +# $Id$ + CAMLC=../../../boot/ocamlrun ../../../ocamlc -I ../../../stdlib CAMLOPT=../../../boot/ocamlrun ../../../ocamlopt -I ../../../stdlib diff --git a/otherlibs/num/test/Makefile.Mac b/otherlibs/num/test/Makefile.Mac index a3e21c04b..72b96fd21 100644 --- a/otherlibs/num/test/Makefile.Mac +++ b/otherlibs/num/test/Makefile.Mac @@ -1,3 +1,17 @@ +######################################################################### +# # +# Objective Caml # +# # +# Damien Doligez, projet Para, INRIA Rocquencourt # +# # +# 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. # +# # +######################################################################### + +# $Id$ + CAMLC = ::::boot:ocamlrun ::::ocamlc -I ::::stdlib: CAMLOPT = ::::boot:ocamlrun ::::ocamlopt -I ::::stdlib: diff --git a/otherlibs/num/test/Makefile.nt b/otherlibs/num/test/Makefile.nt index 0c1cb4948..407f1b108 100644 --- a/otherlibs/num/test/Makefile.nt +++ b/otherlibs/num/test/Makefile.nt @@ -1,3 +1,17 @@ +######################################################################### +# # +# Objective Caml # +# # +# Xavier Leroy, projet Cristal, INRIA Rocquencourt # +# # +# 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. # +# # +######################################################################### + +# $Id$ + CAMLC=..\..\..\boot\ocamlrun ..\..\..\ocamlc -I ..\..\..\stdlib CAMLOPT=..\..\..\boot\ocamlrun ..\..\..\ocamlopt -I ..\..\..\stdlib diff --git a/otherlibs/str/Makefile b/otherlibs/str/Makefile index 7f6001ecb..bb623a7f4 100644 --- a/otherlibs/str/Makefile +++ b/otherlibs/str/Makefile @@ -1,3 +1,17 @@ +######################################################################### +# # +# Objective Caml # +# # +# Xavier Leroy, projet Cristal, INRIA Rocquencourt # +# # +# 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. # +# # +######################################################################### + +# $Id$ + # Makefile for the str library include ../../config/Makefile diff --git a/otherlibs/str/Makefile.Mac b/otherlibs/str/Makefile.Mac index 06bb6b560..6f4bb1f98 100644 --- a/otherlibs/str/Makefile.Mac +++ b/otherlibs/str/Makefile.Mac @@ -1,3 +1,17 @@ +######################################################################### +# # +# Objective Caml # +# # +# Damien Doligez, projet Para, INRIA Rocquencourt # +# # +# 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. # +# # +######################################################################### + +# $Id$ + # Makefile for the str library # Compilation options diff --git a/otherlibs/str/Makefile.nt b/otherlibs/str/Makefile.nt index e535058da..137a9013a 100644 --- a/otherlibs/str/Makefile.nt +++ b/otherlibs/str/Makefile.nt @@ -1,3 +1,17 @@ +######################################################################### +# # +# Objective Caml # +# # +# Xavier Leroy, projet Cristal, INRIA Rocquencourt # +# # +# 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. # +# # +######################################################################### + +# $Id$ + # Makefile for the str library !include ..\..\config\Makefile.nt diff --git a/otherlibs/str/str.ml b/otherlibs/str/str.ml index d99c8678b..18e7b6621 100644 --- a/otherlibs/str/str.ml +++ b/otherlibs/str/str.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/str/str.mli b/otherlibs/str/str.mli index f7f47a323..73eabf969 100644 --- a/otherlibs/str/str.mli +++ b/otherlibs/str/str.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/systhreads/Makefile b/otherlibs/systhreads/Makefile index 432fc580c..2f3d8dfe0 100644 --- a/otherlibs/systhreads/Makefile +++ b/otherlibs/systhreads/Makefile @@ -1,3 +1,17 @@ +######################################################################### +# # +# Objective Caml # +# # +# Xavier Leroy, projet Cristal, INRIA Rocquencourt # +# # +# 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. # +# # +######################################################################### + +# $Id$ + include ../../config/Makefile CAMLC=../../boot/ocamlrun ../../boot/ocamlc -I ../../stdlib -I ../unix diff --git a/otherlibs/systhreads/Makefile.nt b/otherlibs/systhreads/Makefile.nt index fe1de4f11..27f79a2a7 100644 --- a/otherlibs/systhreads/Makefile.nt +++ b/otherlibs/systhreads/Makefile.nt @@ -1,3 +1,17 @@ +######################################################################### +# # +# Objective Caml # +# # +# Xavier Leroy, projet Cristal, INRIA Rocquencourt # +# # +# 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. # +# # +######################################################################### + +# $Id$ + include ../../config/Makefile.nt # Compilation options diff --git a/otherlibs/systhreads/Tests/Makefile b/otherlibs/systhreads/Tests/Makefile index b70b83c4e..b1260d026 100644 --- a/otherlibs/systhreads/Tests/Makefile +++ b/otherlibs/systhreads/Tests/Makefile @@ -1,3 +1,17 @@ +######################################################################### +# # +# Objective Caml # +# # +# Xavier Leroy, projet Cristal, INRIA Rocquencourt # +# # +# 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. # +# # +######################################################################### + +# $Id$ + PROGS=test1.byt test2.byt test3.byt test4.byt test5.byt test6.byt \ test7.byt test8.byt test9.byt testA.byt sieve.byt \ testio.byt testsocket.byt testwait.byt testsignal.byt testsignal2.byt \ diff --git a/otherlibs/systhreads/Tests/Makefile.nt b/otherlibs/systhreads/Tests/Makefile.nt index a1d231e32..4b134c5c6 100644 --- a/otherlibs/systhreads/Tests/Makefile.nt +++ b/otherlibs/systhreads/Tests/Makefile.nt @@ -1,3 +1,17 @@ +######################################################################### +# # +# Objective Caml # +# # +# Xavier Leroy, projet Cristal, INRIA Rocquencourt # +# # +# 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. # +# # +######################################################################### + +# $Id$ + PROGS=test1.byt test2.byt test3.byt test4.byt test5.byt test6.byt \ test7.byt test8.byt test9.byt testA.byt sieve.byt \ testio.byt testsocket.byt testwait.byt testsignal.byt testsignal2.byt diff --git a/otherlibs/systhreads/condition.ml b/otherlibs/systhreads/condition.ml index 1f531c855..d690ed1ad 100644 --- a/otherlibs/systhreads/condition.ml +++ b/otherlibs/systhreads/condition.ml @@ -5,7 +5,8 @@ (* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1995 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/systhreads/condition.mli b/otherlibs/systhreads/condition.mli index 35110ddbc..007d024b7 100644 --- a/otherlibs/systhreads/condition.mli +++ b/otherlibs/systhreads/condition.mli @@ -5,7 +5,8 @@ (* Xavier Leroy and Damien Doligez, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/systhreads/event.ml b/otherlibs/systhreads/event.ml index 844e5d994..21f0999ef 100644 --- a/otherlibs/systhreads/event.ml +++ b/otherlibs/systhreads/event.ml @@ -5,7 +5,8 @@ (* David Nowak and Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/systhreads/event.mli b/otherlibs/systhreads/event.mli index 030b8d9fb..ede7f9bc4 100644 --- a/otherlibs/systhreads/event.mli +++ b/otherlibs/systhreads/event.mli @@ -5,7 +5,8 @@ (* David Nowak and Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/systhreads/mutex.ml b/otherlibs/systhreads/mutex.ml index 85ad39d81..e2947c063 100644 --- a/otherlibs/systhreads/mutex.ml +++ b/otherlibs/systhreads/mutex.ml @@ -5,7 +5,8 @@ (* Xavier Leroy and Pascal Cuoq, INRIA Rocquencourt *) (* *) (* Copyright 1995 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/systhreads/mutex.mli b/otherlibs/systhreads/mutex.mli index 823bfc54a..784733249 100644 --- a/otherlibs/systhreads/mutex.mli +++ b/otherlibs/systhreads/mutex.mli @@ -5,7 +5,8 @@ (* Xavier Leroy and Pascal Cuoq, INRIA Rocquencourt *) (* *) (* Copyright 1995 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/systhreads/posix.c b/otherlibs/systhreads/posix.c index f0827af70..5f3c56d0f 100644 --- a/otherlibs/systhreads/posix.c +++ b/otherlibs/systhreads/posix.c @@ -5,7 +5,8 @@ /* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */ /* */ /* Copyright 1995 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/systhreads/thread.mli b/otherlibs/systhreads/thread.mli index b2bc57caf..ce8b43590 100644 --- a/otherlibs/systhreads/thread.mli +++ b/otherlibs/systhreads/thread.mli @@ -5,7 +5,8 @@ (* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1995 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/systhreads/threadUnix.ml b/otherlibs/systhreads/threadUnix.ml index 97395d265..2d1fe2709 100644 --- a/otherlibs/systhreads/threadUnix.ml +++ b/otherlibs/systhreads/threadUnix.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/systhreads/threadUnix.mli b/otherlibs/systhreads/threadUnix.mli index 71d10e4f3..a3075e502 100644 --- a/otherlibs/systhreads/threadUnix.mli +++ b/otherlibs/systhreads/threadUnix.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/systhreads/thread_posix.ml b/otherlibs/systhreads/thread_posix.ml index 87f55628c..b4bbcf709 100644 --- a/otherlibs/systhreads/thread_posix.ml +++ b/otherlibs/systhreads/thread_posix.ml @@ -5,7 +5,8 @@ (* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/systhreads/thread_win32.ml b/otherlibs/systhreads/thread_win32.ml index dffb34120..94e9eb39c 100644 --- a/otherlibs/systhreads/thread_win32.ml +++ b/otherlibs/systhreads/thread_win32.ml @@ -5,7 +5,8 @@ (* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1995 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/systhreads/win32.c b/otherlibs/systhreads/win32.c index e908a8485..0b88e0e49 100644 --- a/otherlibs/systhreads/win32.c +++ b/otherlibs/systhreads/win32.c @@ -5,7 +5,8 @@ /* Xavier Leroy and Pascal Cuoq, INRIA Rocquencourt */ /* */ /* Copyright 1995 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/threads/Makefile b/otherlibs/threads/Makefile index 742e82d0f..d2fdb7f81 100644 --- a/otherlibs/threads/Makefile +++ b/otherlibs/threads/Makefile @@ -1,3 +1,17 @@ +######################################################################### +# # +# Objective Caml # +# # +# Xavier Leroy, projet Cristal, INRIA Rocquencourt # +# # +# 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. # +# # +######################################################################### + +# $Id$ + include ../../config/Makefile CC=$(BYTECC) diff --git a/otherlibs/threads/Tests/Makefile b/otherlibs/threads/Tests/Makefile index fb30878ce..b59eb9286 100644 --- a/otherlibs/threads/Tests/Makefile +++ b/otherlibs/threads/Tests/Makefile @@ -1,3 +1,17 @@ +######################################################################### +# # +# Objective Caml # +# # +# Xavier Leroy, projet Cristal, INRIA Rocquencourt # +# # +# 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. # +# # +######################################################################### + +# $Id$ + PROGS=test1.byt test2.byt test3.byt test4.byt test5.byt test6.byt \ test7.byt test8.byt test9.byt testA.byt sieve.byt \ testio.byt testsocket.byt testwait.byt testsignal.byt testsignal2.byt \ diff --git a/otherlibs/threads/condition.ml b/otherlibs/threads/condition.ml index b0c9d21a2..9faaced4c 100644 --- a/otherlibs/threads/condition.ml +++ b/otherlibs/threads/condition.ml @@ -5,7 +5,8 @@ (* Xavier Leroy and Damien Doligez, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/threads/condition.mli b/otherlibs/threads/condition.mli index 35110ddbc..007d024b7 100644 --- a/otherlibs/threads/condition.mli +++ b/otherlibs/threads/condition.mli @@ -5,7 +5,8 @@ (* Xavier Leroy and Damien Doligez, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/threads/event.ml b/otherlibs/threads/event.ml index 844e5d994..21f0999ef 100644 --- a/otherlibs/threads/event.ml +++ b/otherlibs/threads/event.ml @@ -5,7 +5,8 @@ (* David Nowak and Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/threads/event.mli b/otherlibs/threads/event.mli index 030b8d9fb..ede7f9bc4 100644 --- a/otherlibs/threads/event.mli +++ b/otherlibs/threads/event.mli @@ -5,7 +5,8 @@ (* David Nowak and Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/threads/mutex.ml b/otherlibs/threads/mutex.ml index d5412ba81..b3d47ab50 100644 --- a/otherlibs/threads/mutex.ml +++ b/otherlibs/threads/mutex.ml @@ -5,7 +5,8 @@ (* Xavier Leroy and Damien Doligez, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/threads/mutex.mli b/otherlibs/threads/mutex.mli index 49bee12fa..ca75d8f89 100644 --- a/otherlibs/threads/mutex.mli +++ b/otherlibs/threads/mutex.mli @@ -5,7 +5,8 @@ (* Xavier Leroy and Damien Doligez, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/threads/pervasives.ml b/otherlibs/threads/pervasives.ml index a78b0f08f..a7c08883a 100644 --- a/otherlibs/threads/pervasives.ml +++ b/otherlibs/threads/pervasives.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/threads/scheduler.c b/otherlibs/threads/scheduler.c index 8ccb1cd3a..b576a6ddc 100644 --- a/otherlibs/threads/scheduler.c +++ b/otherlibs/threads/scheduler.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/threads/thread.ml b/otherlibs/threads/thread.ml index a33fd98d2..beab6f52f 100644 --- a/otherlibs/threads/thread.ml +++ b/otherlibs/threads/thread.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/threads/thread.mli b/otherlibs/threads/thread.mli index 79476344f..e9838c28e 100644 --- a/otherlibs/threads/thread.mli +++ b/otherlibs/threads/thread.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/threads/threadUnix.ml b/otherlibs/threads/threadUnix.ml index 67695cda2..3fc51ac37 100644 --- a/otherlibs/threads/threadUnix.ml +++ b/otherlibs/threads/threadUnix.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/threads/threadUnix.mli b/otherlibs/threads/threadUnix.mli index 3da7fb3f1..ab09603c0 100644 --- a/otherlibs/threads/threadUnix.mli +++ b/otherlibs/threads/threadUnix.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/unix/Makefile b/otherlibs/unix/Makefile index ed085512d..9cccaebf3 100644 --- a/otherlibs/unix/Makefile +++ b/otherlibs/unix/Makefile @@ -1,3 +1,17 @@ +######################################################################### +# # +# Objective Caml # +# # +# Xavier Leroy, projet Cristal, INRIA Rocquencourt # +# # +# 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. # +# # +######################################################################### + +# $Id$ + # Makefile for the Unix interface library include ../../config/Makefile diff --git a/otherlibs/unix/accept.c b/otherlibs/unix/accept.c index d41eba262..e3a54d2ef 100644 --- a/otherlibs/unix/accept.c +++ b/otherlibs/unix/accept.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/access.c b/otherlibs/unix/access.c index d53d83eb3..99432235e 100644 --- a/otherlibs/unix/access.c +++ b/otherlibs/unix/access.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/addrofstr.c b/otherlibs/unix/addrofstr.c index 1af25f475..23871836e 100644 --- a/otherlibs/unix/addrofstr.c +++ b/otherlibs/unix/addrofstr.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/alarm.c b/otherlibs/unix/alarm.c index c9224313f..c52a4074f 100644 --- a/otherlibs/unix/alarm.c +++ b/otherlibs/unix/alarm.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/bind.c b/otherlibs/unix/bind.c index 74b5b5bdd..73716411a 100644 --- a/otherlibs/unix/bind.c +++ b/otherlibs/unix/bind.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/chdir.c b/otherlibs/unix/chdir.c index 7dc1ba41d..63c92c03a 100644 --- a/otherlibs/unix/chdir.c +++ b/otherlibs/unix/chdir.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/chmod.c b/otherlibs/unix/chmod.c index c73c8892d..de13f4a42 100644 --- a/otherlibs/unix/chmod.c +++ b/otherlibs/unix/chmod.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/chown.c b/otherlibs/unix/chown.c index 9023bc079..90034fa72 100644 --- a/otherlibs/unix/chown.c +++ b/otherlibs/unix/chown.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/chroot.c b/otherlibs/unix/chroot.c index 444a56dc1..5432789e3 100644 --- a/otherlibs/unix/chroot.c +++ b/otherlibs/unix/chroot.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/close.c b/otherlibs/unix/close.c index eb4d9d87b..0e2caae07 100644 --- a/otherlibs/unix/close.c +++ b/otherlibs/unix/close.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/closedir.c b/otherlibs/unix/closedir.c index 9a722b445..d44ba896a 100644 --- a/otherlibs/unix/closedir.c +++ b/otherlibs/unix/closedir.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/connect.c b/otherlibs/unix/connect.c index 74eb7188f..4b80d1bad 100644 --- a/otherlibs/unix/connect.c +++ b/otherlibs/unix/connect.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/cst2constr.c b/otherlibs/unix/cst2constr.c index 59df66a93..6a0149091 100644 --- a/otherlibs/unix/cst2constr.c +++ b/otherlibs/unix/cst2constr.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/cst2constr.h b/otherlibs/unix/cst2constr.h index a9fc39c7c..8e7c84ee7 100644 --- a/otherlibs/unix/cst2constr.h +++ b/otherlibs/unix/cst2constr.h @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/cstringv.c b/otherlibs/unix/cstringv.c index a85c8a3e2..d95e4bc26 100644 --- a/otherlibs/unix/cstringv.c +++ b/otherlibs/unix/cstringv.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/dup.c b/otherlibs/unix/dup.c index dfb9ec897..d4af26f5b 100644 --- a/otherlibs/unix/dup.c +++ b/otherlibs/unix/dup.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/dup2.c b/otherlibs/unix/dup2.c index a46c2b8d2..e7cecf835 100644 --- a/otherlibs/unix/dup2.c +++ b/otherlibs/unix/dup2.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/envir.c b/otherlibs/unix/envir.c index a45ecc00c..b5bdcbfcf 100644 --- a/otherlibs/unix/envir.c +++ b/otherlibs/unix/envir.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/errmsg.c b/otherlibs/unix/errmsg.c index d6aff93bd..cf1930ff8 100644 --- a/otherlibs/unix/errmsg.c +++ b/otherlibs/unix/errmsg.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/execv.c b/otherlibs/unix/execv.c index 5acb9bd41..d7e3ddb44 100644 --- a/otherlibs/unix/execv.c +++ b/otherlibs/unix/execv.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/execve.c b/otherlibs/unix/execve.c index c02a19a24..ba8873288 100644 --- a/otherlibs/unix/execve.c +++ b/otherlibs/unix/execve.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/execvp.c b/otherlibs/unix/execvp.c index 6a8298427..36f7284c5 100644 --- a/otherlibs/unix/execvp.c +++ b/otherlibs/unix/execvp.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/exit.c b/otherlibs/unix/exit.c index aeb82c01f..247ef611f 100644 --- a/otherlibs/unix/exit.c +++ b/otherlibs/unix/exit.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/fchmod.c b/otherlibs/unix/fchmod.c index 9f5ddc675..e41357b33 100644 --- a/otherlibs/unix/fchmod.c +++ b/otherlibs/unix/fchmod.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/fchown.c b/otherlibs/unix/fchown.c index ef5df88b6..caef5fd64 100644 --- a/otherlibs/unix/fchown.c +++ b/otherlibs/unix/fchown.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/fcntl.c b/otherlibs/unix/fcntl.c index e50662f01..259431fc2 100644 --- a/otherlibs/unix/fcntl.c +++ b/otherlibs/unix/fcntl.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/fork.c b/otherlibs/unix/fork.c index 91cd25467..5d1017ca1 100644 --- a/otherlibs/unix/fork.c +++ b/otherlibs/unix/fork.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/ftruncate.c b/otherlibs/unix/ftruncate.c index 4821e0e6b..7dbc957dd 100644 --- a/otherlibs/unix/ftruncate.c +++ b/otherlibs/unix/ftruncate.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/getcwd.c b/otherlibs/unix/getcwd.c index fbc1e43cd..2d1c1156c 100644 --- a/otherlibs/unix/getcwd.c +++ b/otherlibs/unix/getcwd.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/getegid.c b/otherlibs/unix/getegid.c index 19c4125cf..f0864c95c 100644 --- a/otherlibs/unix/getegid.c +++ b/otherlibs/unix/getegid.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/geteuid.c b/otherlibs/unix/geteuid.c index e5b6b4d93..a018c9d0a 100644 --- a/otherlibs/unix/geteuid.c +++ b/otherlibs/unix/geteuid.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/getgid.c b/otherlibs/unix/getgid.c index 8b23a59c4..06526f1de 100644 --- a/otherlibs/unix/getgid.c +++ b/otherlibs/unix/getgid.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/getgr.c b/otherlibs/unix/getgr.c index 80e09982b..e148babcf 100644 --- a/otherlibs/unix/getgr.c +++ b/otherlibs/unix/getgr.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/getgroups.c b/otherlibs/unix/getgroups.c index 741acbcf3..6ce250d5a 100644 --- a/otherlibs/unix/getgroups.c +++ b/otherlibs/unix/getgroups.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/gethost.c b/otherlibs/unix/gethost.c index ef7df6c1a..70ee4f143 100644 --- a/otherlibs/unix/gethost.c +++ b/otherlibs/unix/gethost.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/gethostname.c b/otherlibs/unix/gethostname.c index a755e4749..1513bfaba 100644 --- a/otherlibs/unix/gethostname.c +++ b/otherlibs/unix/gethostname.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/getlogin.c b/otherlibs/unix/getlogin.c index d5d4870d7..18c734221 100644 --- a/otherlibs/unix/getlogin.c +++ b/otherlibs/unix/getlogin.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/getpeername.c b/otherlibs/unix/getpeername.c index 0b3624622..7dfc549a1 100644 --- a/otherlibs/unix/getpeername.c +++ b/otherlibs/unix/getpeername.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/getpid.c b/otherlibs/unix/getpid.c index f8b7d238f..df3946038 100644 --- a/otherlibs/unix/getpid.c +++ b/otherlibs/unix/getpid.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/getppid.c b/otherlibs/unix/getppid.c index 8207e7551..af5ca3e0d 100644 --- a/otherlibs/unix/getppid.c +++ b/otherlibs/unix/getppid.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/getproto.c b/otherlibs/unix/getproto.c index 01045df18..0f18e0e45 100644 --- a/otherlibs/unix/getproto.c +++ b/otherlibs/unix/getproto.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/getpw.c b/otherlibs/unix/getpw.c index f5766c67c..6585cfc17 100644 --- a/otherlibs/unix/getpw.c +++ b/otherlibs/unix/getpw.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/getserv.c b/otherlibs/unix/getserv.c index 6cb976ac1..4b0d68f45 100644 --- a/otherlibs/unix/getserv.c +++ b/otherlibs/unix/getserv.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/getsockname.c b/otherlibs/unix/getsockname.c index 0275a1240..3a9cf96df 100644 --- a/otherlibs/unix/getsockname.c +++ b/otherlibs/unix/getsockname.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/gettimeofday.c b/otherlibs/unix/gettimeofday.c index 4fbc8fc1d..5c50855b6 100644 --- a/otherlibs/unix/gettimeofday.c +++ b/otherlibs/unix/gettimeofday.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/getuid.c b/otherlibs/unix/getuid.c index 19d98e570..39387f5f7 100644 --- a/otherlibs/unix/getuid.c +++ b/otherlibs/unix/getuid.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/gmtime.c b/otherlibs/unix/gmtime.c index b7c8b28a2..475736be9 100644 --- a/otherlibs/unix/gmtime.c +++ b/otherlibs/unix/gmtime.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/itimer.c b/otherlibs/unix/itimer.c index b6b2945bb..472510f0d 100644 --- a/otherlibs/unix/itimer.c +++ b/otherlibs/unix/itimer.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/kill.c b/otherlibs/unix/kill.c index 3e6983b84..264f9c76e 100644 --- a/otherlibs/unix/kill.c +++ b/otherlibs/unix/kill.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/link.c b/otherlibs/unix/link.c index e8fe69932..9afe116e4 100644 --- a/otherlibs/unix/link.c +++ b/otherlibs/unix/link.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/listen.c b/otherlibs/unix/listen.c index 9992625a3..39c846995 100644 --- a/otherlibs/unix/listen.c +++ b/otherlibs/unix/listen.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/lockf.c b/otherlibs/unix/lockf.c index 0b1f34b7e..88536feb2 100644 --- a/otherlibs/unix/lockf.c +++ b/otherlibs/unix/lockf.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/lseek.c b/otherlibs/unix/lseek.c index ffb1d0b81..fc0a3b7fb 100644 --- a/otherlibs/unix/lseek.c +++ b/otherlibs/unix/lseek.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/mkdir.c b/otherlibs/unix/mkdir.c index 937883786..3630b2ee4 100644 --- a/otherlibs/unix/mkdir.c +++ b/otherlibs/unix/mkdir.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/mkfifo.c b/otherlibs/unix/mkfifo.c index 1be28bf5c..36a812029 100644 --- a/otherlibs/unix/mkfifo.c +++ b/otherlibs/unix/mkfifo.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/nice.c b/otherlibs/unix/nice.c index d89ea2a71..6f38d8213 100644 --- a/otherlibs/unix/nice.c +++ b/otherlibs/unix/nice.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/open.c b/otherlibs/unix/open.c index eef6a8761..b15198412 100644 --- a/otherlibs/unix/open.c +++ b/otherlibs/unix/open.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/opendir.c b/otherlibs/unix/opendir.c index 552c38c34..567acdac1 100644 --- a/otherlibs/unix/opendir.c +++ b/otherlibs/unix/opendir.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/pipe.c b/otherlibs/unix/pipe.c index 4c1e97ce7..c9dae68d2 100644 --- a/otherlibs/unix/pipe.c +++ b/otherlibs/unix/pipe.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/putenv.c b/otherlibs/unix/putenv.c index 5b2bcd2a7..bb9462c55 100644 --- a/otherlibs/unix/putenv.c +++ b/otherlibs/unix/putenv.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1998 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/read.c b/otherlibs/unix/read.c index cbcae9d02..9efb9ccf8 100644 --- a/otherlibs/unix/read.c +++ b/otherlibs/unix/read.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/readdir.c b/otherlibs/unix/readdir.c index 098886165..6c059d8bc 100644 --- a/otherlibs/unix/readdir.c +++ b/otherlibs/unix/readdir.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/readlink.c b/otherlibs/unix/readlink.c index 7cef8988f..4bccff407 100644 --- a/otherlibs/unix/readlink.c +++ b/otherlibs/unix/readlink.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/rename.c b/otherlibs/unix/rename.c index 35c3fade3..727c901d5 100644 --- a/otherlibs/unix/rename.c +++ b/otherlibs/unix/rename.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/rewinddir.c b/otherlibs/unix/rewinddir.c index 2d2942e25..38488f2ca 100644 --- a/otherlibs/unix/rewinddir.c +++ b/otherlibs/unix/rewinddir.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/rmdir.c b/otherlibs/unix/rmdir.c index d5b01748d..e08dcfcf2 100644 --- a/otherlibs/unix/rmdir.c +++ b/otherlibs/unix/rmdir.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/select.c b/otherlibs/unix/select.c index 9ae187ee0..a0f600c5b 100644 --- a/otherlibs/unix/select.c +++ b/otherlibs/unix/select.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/sendrecv.c b/otherlibs/unix/sendrecv.c index a4c6386a7..5d40d8c5c 100644 --- a/otherlibs/unix/sendrecv.c +++ b/otherlibs/unix/sendrecv.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/setgid.c b/otherlibs/unix/setgid.c index 596a01d33..f37b57629 100644 --- a/otherlibs/unix/setgid.c +++ b/otherlibs/unix/setgid.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/setsid.c b/otherlibs/unix/setsid.c index b1d1f41dc..c75893ac3 100644 --- a/otherlibs/unix/setsid.c +++ b/otherlibs/unix/setsid.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1997 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/setuid.c b/otherlibs/unix/setuid.c index b7a28204f..7c613f04b 100644 --- a/otherlibs/unix/setuid.c +++ b/otherlibs/unix/setuid.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/shutdown.c b/otherlibs/unix/shutdown.c index 0117f7947..7004752a9 100644 --- a/otherlibs/unix/shutdown.c +++ b/otherlibs/unix/shutdown.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/signals.c b/otherlibs/unix/signals.c index ecb1a133e..1a075d312 100644 --- a/otherlibs/unix/signals.c +++ b/otherlibs/unix/signals.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1998 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/sleep.c b/otherlibs/unix/sleep.c index 3ba68c2c7..69b317a05 100644 --- a/otherlibs/unix/sleep.c +++ b/otherlibs/unix/sleep.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/socket.c b/otherlibs/unix/socket.c index 4539ecc0a..4b678595c 100644 --- a/otherlibs/unix/socket.c +++ b/otherlibs/unix/socket.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/socketaddr.c b/otherlibs/unix/socketaddr.c index 8c53ca0ca..e9feff0fb 100644 --- a/otherlibs/unix/socketaddr.c +++ b/otherlibs/unix/socketaddr.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/socketaddr.h b/otherlibs/unix/socketaddr.h index 8b4486167..ab5a32cfc 100644 --- a/otherlibs/unix/socketaddr.h +++ b/otherlibs/unix/socketaddr.h @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/socketpair.c b/otherlibs/unix/socketpair.c index 2a54d4a42..6976d146f 100644 --- a/otherlibs/unix/socketpair.c +++ b/otherlibs/unix/socketpair.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/sockopt.c b/otherlibs/unix/sockopt.c index d358b2261..93786d6bb 100644 --- a/otherlibs/unix/sockopt.c +++ b/otherlibs/unix/sockopt.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/stat.c b/otherlibs/unix/stat.c index 6b69465c3..12b36e098 100644 --- a/otherlibs/unix/stat.c +++ b/otherlibs/unix/stat.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/strofaddr.c b/otherlibs/unix/strofaddr.c index 25d45a830..4bbc206a9 100644 --- a/otherlibs/unix/strofaddr.c +++ b/otherlibs/unix/strofaddr.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/symlink.c b/otherlibs/unix/symlink.c index 9a2e1fe44..c0314c48c 100644 --- a/otherlibs/unix/symlink.c +++ b/otherlibs/unix/symlink.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/termios.c b/otherlibs/unix/termios.c index 636e12a82..00138e029 100644 --- a/otherlibs/unix/termios.c +++ b/otherlibs/unix/termios.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/time.c b/otherlibs/unix/time.c index 43c204c1c..936b96b69 100644 --- a/otherlibs/unix/time.c +++ b/otherlibs/unix/time.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/times.c b/otherlibs/unix/times.c index 01e125031..fc0c4c432 100644 --- a/otherlibs/unix/times.c +++ b/otherlibs/unix/times.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/truncate.c b/otherlibs/unix/truncate.c index f84ac4e1c..b05f65c84 100644 --- a/otherlibs/unix/truncate.c +++ b/otherlibs/unix/truncate.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/umask.c b/otherlibs/unix/umask.c index 3d177c6dc..1833e4c52 100644 --- a/otherlibs/unix/umask.c +++ b/otherlibs/unix/umask.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/unix.ml b/otherlibs/unix/unix.ml index 61a08de22..8f979a4b4 100644 --- a/otherlibs/unix/unix.ml +++ b/otherlibs/unix/unix.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/unix/unix.mli b/otherlibs/unix/unix.mli index 8ede09552..ce4153507 100644 --- a/otherlibs/unix/unix.mli +++ b/otherlibs/unix/unix.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/unix/unixsupport.c b/otherlibs/unix/unixsupport.c index 6d4bae6d7..a55b8e80e 100644 --- a/otherlibs/unix/unixsupport.c +++ b/otherlibs/unix/unixsupport.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/unixsupport.h b/otherlibs/unix/unixsupport.h index 557383619..dde49f35b 100644 --- a/otherlibs/unix/unixsupport.h +++ b/otherlibs/unix/unixsupport.h @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/unlink.c b/otherlibs/unix/unlink.c index 9017ecd86..44234181e 100644 --- a/otherlibs/unix/unlink.c +++ b/otherlibs/unix/unlink.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/utimes.c b/otherlibs/unix/utimes.c index 336b09b55..97d8958ff 100644 --- a/otherlibs/unix/utimes.c +++ b/otherlibs/unix/utimes.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/wait.c b/otherlibs/unix/wait.c index 3acbbdff7..e38eba5e8 100644 --- a/otherlibs/unix/wait.c +++ b/otherlibs/unix/wait.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/unix/write.c b/otherlibs/unix/write.c index 7bd9d11f9..e154f80b6 100644 --- a/otherlibs/unix/write.c +++ b/otherlibs/unix/write.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/Makefile.nt b/otherlibs/win32unix/Makefile.nt index 7b10ae015..f56d1dc98 100644 --- a/otherlibs/win32unix/Makefile.nt +++ b/otherlibs/win32unix/Makefile.nt @@ -1,3 +1,17 @@ +######################################################################### +# # +# Objective Caml # +# # +# Xavier Leroy, projet Cristal, INRIA Rocquencourt # +# # +# 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. # +# # +######################################################################### + +# $Id$ + !include ../../config/Makefile.nt # Compilation options diff --git a/otherlibs/win32unix/accept.c b/otherlibs/win32unix/accept.c index 1c45ade0c..0ef5d4d6c 100644 --- a/otherlibs/win32unix/accept.c +++ b/otherlibs/win32unix/accept.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/bind.c b/otherlibs/win32unix/bind.c index 43137fcb9..a4f45b1e9 100644 --- a/otherlibs/win32unix/bind.c +++ b/otherlibs/win32unix/bind.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/channels.c b/otherlibs/win32unix/channels.c index a91149ab4..4cd27a768 100644 --- a/otherlibs/win32unix/channels.c +++ b/otherlibs/win32unix/channels.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/close.c b/otherlibs/win32unix/close.c index dfc5a1f52..192f5570f 100644 --- a/otherlibs/win32unix/close.c +++ b/otherlibs/win32unix/close.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/close_on.c b/otherlibs/win32unix/close_on.c index a09399b1e..56ba4e878 100644 --- a/otherlibs/win32unix/close_on.c +++ b/otherlibs/win32unix/close_on.c @@ -5,7 +5,8 @@ /* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/connect.c b/otherlibs/win32unix/connect.c index c8a523de9..24380582b 100644 --- a/otherlibs/win32unix/connect.c +++ b/otherlibs/win32unix/connect.c @@ -5,7 +5,8 @@ /* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/createprocess.c b/otherlibs/win32unix/createprocess.c index ff07ba83e..006dec7b7 100644 --- a/otherlibs/win32unix/createprocess.c +++ b/otherlibs/win32unix/createprocess.c @@ -5,7 +5,8 @@ /* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/dup.c b/otherlibs/win32unix/dup.c index b7767513e..9a00cb762 100644 --- a/otherlibs/win32unix/dup.c +++ b/otherlibs/win32unix/dup.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/dup2.c b/otherlibs/win32unix/dup2.c index d14083c0b..64e7fab5a 100644 --- a/otherlibs/win32unix/dup2.c +++ b/otherlibs/win32unix/dup2.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/getpeername.c b/otherlibs/win32unix/getpeername.c index 708bd4722..bcdb80135 100644 --- a/otherlibs/win32unix/getpeername.c +++ b/otherlibs/win32unix/getpeername.c @@ -5,7 +5,8 @@ /* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/getpid.c b/otherlibs/win32unix/getpid.c index e3b586190..1248fbcb6 100644 --- a/otherlibs/win32unix/getpid.c +++ b/otherlibs/win32unix/getpid.c @@ -5,7 +5,8 @@ /* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/getsockname.c b/otherlibs/win32unix/getsockname.c index cf18ebf57..51b3a9f58 100644 --- a/otherlibs/win32unix/getsockname.c +++ b/otherlibs/win32unix/getsockname.c @@ -5,7 +5,8 @@ /* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/gettimeofday.c b/otherlibs/win32unix/gettimeofday.c index ea5b45ae7..dd6f66283 100644 --- a/otherlibs/win32unix/gettimeofday.c +++ b/otherlibs/win32unix/gettimeofday.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/listen.c b/otherlibs/win32unix/listen.c index 281f85652..e0086d52c 100644 --- a/otherlibs/win32unix/listen.c +++ b/otherlibs/win32unix/listen.c @@ -5,7 +5,8 @@ /* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/lseek.c b/otherlibs/win32unix/lseek.c index befd87ab2..0d3e9ee20 100644 --- a/otherlibs/win32unix/lseek.c +++ b/otherlibs/win32unix/lseek.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/mkdir.c b/otherlibs/win32unix/mkdir.c index b6eb215d7..c869b0076 100644 --- a/otherlibs/win32unix/mkdir.c +++ b/otherlibs/win32unix/mkdir.c @@ -5,7 +5,8 @@ /* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/open.c b/otherlibs/win32unix/open.c index b908ca0a5..45c58f2f4 100644 --- a/otherlibs/win32unix/open.c +++ b/otherlibs/win32unix/open.c @@ -5,7 +5,8 @@ /* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/pipe.c b/otherlibs/win32unix/pipe.c index 0cba882f8..160dfeed9 100644 --- a/otherlibs/win32unix/pipe.c +++ b/otherlibs/win32unix/pipe.c @@ -5,7 +5,8 @@ /* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/read.c b/otherlibs/win32unix/read.c index dd8aa74e2..f9f0e0f8a 100644 --- a/otherlibs/win32unix/read.c +++ b/otherlibs/win32unix/read.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/select.c b/otherlibs/win32unix/select.c index dae268f0c..12f6e1b9e 100644 --- a/otherlibs/win32unix/select.c +++ b/otherlibs/win32unix/select.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/sendrecv.c b/otherlibs/win32unix/sendrecv.c index b8edd1e1b..abee5942e 100644 --- a/otherlibs/win32unix/sendrecv.c +++ b/otherlibs/win32unix/sendrecv.c @@ -5,7 +5,8 @@ /* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/shutdown.c b/otherlibs/win32unix/shutdown.c index 3ee26e0e2..4de4b4675 100644 --- a/otherlibs/win32unix/shutdown.c +++ b/otherlibs/win32unix/shutdown.c @@ -5,7 +5,8 @@ /* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/sleep.c b/otherlibs/win32unix/sleep.c index 36a3549f7..767ec2763 100644 --- a/otherlibs/win32unix/sleep.c +++ b/otherlibs/win32unix/sleep.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/socket.c b/otherlibs/win32unix/socket.c index a69867cfd..bb17f5811 100644 --- a/otherlibs/win32unix/socket.c +++ b/otherlibs/win32unix/socket.c @@ -5,7 +5,8 @@ /* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/socketaddr.h b/otherlibs/win32unix/socketaddr.h index c4454aa5a..d210bb204 100644 --- a/otherlibs/win32unix/socketaddr.h +++ b/otherlibs/win32unix/socketaddr.h @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/sockopt.c b/otherlibs/win32unix/sockopt.c index 723c68b00..79ec7122f 100644 --- a/otherlibs/win32unix/sockopt.c +++ b/otherlibs/win32unix/sockopt.c @@ -5,7 +5,8 @@ /* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/startup.c b/otherlibs/win32unix/startup.c index c5eec18e2..4c8fbc204 100644 --- a/otherlibs/win32unix/startup.c +++ b/otherlibs/win32unix/startup.c @@ -5,7 +5,8 @@ /* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/system.c b/otherlibs/win32unix/system.c index 3eae3e28f..fe453dcf9 100644 --- a/otherlibs/win32unix/system.c +++ b/otherlibs/win32unix/system.c @@ -5,7 +5,8 @@ /* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/unix.ml b/otherlibs/win32unix/unix.ml index 493446711..4bacb36cb 100644 --- a/otherlibs/win32unix/unix.ml +++ b/otherlibs/win32unix/unix.ml @@ -5,7 +5,8 @@ (* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the GNU Library General Public License. *) (* *) (***********************************************************************) diff --git a/otherlibs/win32unix/unixsupport.c b/otherlibs/win32unix/unixsupport.c index 2d1cfd5f2..fa957d4de 100644 --- a/otherlibs/win32unix/unixsupport.c +++ b/otherlibs/win32unix/unixsupport.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/unixsupport.h b/otherlibs/win32unix/unixsupport.h index 650deb19f..fa0ff54b4 100644 --- a/otherlibs/win32unix/unixsupport.h +++ b/otherlibs/win32unix/unixsupport.h @@ -5,7 +5,8 @@ /* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/windir.c b/otherlibs/win32unix/windir.c index 5c1761ec8..8a384764d 100644 --- a/otherlibs/win32unix/windir.c +++ b/otherlibs/win32unix/windir.c @@ -5,7 +5,8 @@ /* Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/winwait.c b/otherlibs/win32unix/winwait.c index 5fe51f90f..7f61fd3d6 100644 --- a/otherlibs/win32unix/winwait.c +++ b/otherlibs/win32unix/winwait.c @@ -5,7 +5,8 @@ /* Pascal Cuoq and Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ diff --git a/otherlibs/win32unix/write.c b/otherlibs/win32unix/write.c index bf79c0e0c..ed09e2b74 100644 --- a/otherlibs/win32unix/write.c +++ b/otherlibs/win32unix/write.c @@ -5,7 +5,8 @@ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ |