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 dd083ffe02..7d48e37298 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 6b44521d42..aebb8e1371 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 ce097191b1..8613a553e5 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 6383b0b5dc..f09e4e6bdb 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 eadb0a584c..053341d878 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 a57a26c8e1..7e783acbbd 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 bc45510d52..41c15f9621 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 f83f905279..c2ce625640 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 98699c3811..598bddd0f6 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 5e8a8170fc..5739658723 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 ce7a2797dd..ec243a188b 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 aa62debd58..a54f4c13c8 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 1a4ceec597..cacdbeb7b6 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 47178581a9..e90c18c077 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 a703d0ba2a..3cd8b14a37 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 0374560636..95c9a70216 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 6a6cf014be..41aad00d87 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 d97f220733..1621254cce 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 5524268b04..d80f3c5176 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 13fb3139bd..3a519024ce 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 9385ee5f83..99b3b37c0f 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 8f6f4444c3..3134ed143f 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 a3e21c04b7..72b96fd218 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 0c1cb49486..407f1b1088 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 |