diff options
Diffstat (limited to 'otherlibs/num')
| -rw-r--r-- | otherlibs/num/Makefile | 14 | ||||
| -rw-r--r-- | otherlibs/num/Makefile.Mac | 14 | ||||
| -rw-r--r-- | otherlibs/num/Makefile.nt | 14 | ||||
| -rw-r--r-- | otherlibs/num/arith_flags.ml | 3 | ||||
| -rw-r--r-- | otherlibs/num/arith_flags.mli | 3 | ||||
| -rw-r--r-- | otherlibs/num/arith_status.ml | 3 | ||||
| -rw-r--r-- | otherlibs/num/arith_status.mli | 3 | ||||
| -rw-r--r-- | otherlibs/num/big_int.ml | 3 | ||||
| -rw-r--r-- | otherlibs/num/big_int.mli | 3 | ||||
| -rw-r--r-- | otherlibs/num/int_misc.ml | 3 | ||||
| -rw-r--r-- | otherlibs/num/int_misc.mli | 3 | ||||
| -rw-r--r-- | otherlibs/num/nat.h | 3 | ||||
| -rw-r--r-- | otherlibs/num/nat.ml | 3 | ||||
| -rw-r--r-- | otherlibs/num/nat.mli | 3 | ||||
| -rw-r--r-- | otherlibs/num/nat_stubs.c | 3 | ||||
| -rw-r--r-- | otherlibs/num/num.ml | 3 | ||||
| -rw-r--r-- | otherlibs/num/num.mli | 3 | ||||
| -rw-r--r-- | otherlibs/num/ratio.ml | 3 | ||||
| -rw-r--r-- | otherlibs/num/ratio.mli | 3 | ||||
| -rw-r--r-- | otherlibs/num/string_misc.ml | 3 | ||||
| -rw-r--r-- | otherlibs/num/string_misc.mli | 3 | ||||
| -rw-r--r-- | otherlibs/num/test/Makefile | 14 | ||||
| -rw-r--r-- | otherlibs/num/test/Makefile.Mac | 14 | ||||
| -rw-r--r-- | otherlibs/num/test/Makefile.nt | 14 |
24 files changed, 120 insertions, 18 deletions
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 |