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 /test | |
| parent | f07e6fe1c7d8b37c2b00e0a47146285789f1e526 (diff) | |
| download | ocaml-cc0f32b05439bb7018e8ad62a54d6371b01aab9f.tar.gz | |
Changement de la licence
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'test')
37 files changed, 146 insertions, 31 deletions
diff --git a/test/KB/equations.ml b/test/KB/equations.ml index 1491eb200c..a7ea9a03b6 100644 --- a/test/KB/equations.ml +++ b/test/KB/equations.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 Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/test/KB/equations.mli b/test/KB/equations.mli index 7da75808d6..45d790260f 100644 --- a/test/KB/equations.mli +++ b/test/KB/equations.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 Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/test/KB/kb.ml b/test/KB/kb.ml index 329c0b5915..590f4cd5d0 100644 --- a/test/KB/kb.ml +++ b/test/KB/kb.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 Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/test/KB/kb.mli b/test/KB/kb.mli index c80771ab67..59b60e4ea2 100644 --- a/test/KB/kb.mli +++ b/test/KB/kb.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 Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/test/KB/kbmain.ml b/test/KB/kbmain.ml index 13332cccb6..63ebf4b8f3 100644 --- a/test/KB/kbmain.ml +++ b/test/KB/kbmain.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 Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/test/KB/orderings.ml b/test/KB/orderings.ml index 762d5849bf..11a776ba7c 100644 --- a/test/KB/orderings.ml +++ b/test/KB/orderings.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 Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/test/KB/orderings.mli b/test/KB/orderings.mli index 678ffd5ba0..d7abfd5645 100644 --- a/test/KB/orderings.mli +++ b/test/KB/orderings.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 Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/test/KB/terms.ml b/test/KB/terms.ml index 9f9acffbc6..dba7000646 100644 --- a/test/KB/terms.ml +++ b/test/KB/terms.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 Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/test/KB/terms.mli b/test/KB/terms.mli index 302c3801ac..7d22e9cb00 100644 --- a/test/KB/terms.mli +++ b/test/KB/terms.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 Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/test/Lex/gram_aux.ml b/test/Lex/gram_aux.ml index 17eb892c07..b84d8588a6 100644 --- a/test/Lex/gram_aux.ml +++ b/test/Lex/gram_aux.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 Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/test/Lex/grammar.mly b/test/Lex/grammar.mly index e0d9890622..8c1e4db943 100644 --- a/test/Lex/grammar.mly +++ b/test/Lex/grammar.mly @@ -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 Q Public License version 1.0. */ /* */ /***********************************************************************/ diff --git a/test/Lex/lexgen.ml b/test/Lex/lexgen.ml index cf0d85d074..006664e182 100644 --- a/test/Lex/lexgen.ml +++ b/test/Lex/lexgen.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 Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/test/Lex/main.ml b/test/Lex/main.ml index 1e8a7e81e5..6382401e2b 100644 --- a/test/Lex/main.ml +++ b/test/Lex/main.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 Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/test/Lex/output.ml b/test/Lex/output.ml index 2a94efe0bc..1c3b1dc7b0 100644 --- a/test/Lex/output.ml +++ b/test/Lex/output.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 Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/test/Lex/scan_aux.ml b/test/Lex/scan_aux.ml index 1c2db88db6..c449b13a59 100644 --- a/test/Lex/scan_aux.ml +++ b/test/Lex/scan_aux.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 Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/test/Lex/scanner.mll b/test/Lex/scanner.mll index 4589e48629..131272fdd4 100644 --- a/test/Lex/scanner.mll +++ b/test/Lex/scanner.mll @@ -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 Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/test/Lex/syntax.ml b/test/Lex/syntax.ml index 40ced286c6..ff704cd2f0 100644 --- a/test/Lex/syntax.ml +++ b/test/Lex/syntax.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 Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/test/Lex/testmain.ml b/test/Lex/testmain.ml index 969890f3b0..96d10a4533 100644 --- a/test/Lex/testmain.ml +++ b/test/Lex/testmain.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 Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/test/Lex/testscanner.mll b/test/Lex/testscanner.mll index 3a88596ee0..3f1f0f34f4 100644 --- a/test/Lex/testscanner.mll +++ b/test/Lex/testscanner.mll @@ -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 Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/test/Makefile b/test/Makefile index fa03c0ff11..763c83cece 100644 --- a/test/Makefile +++ b/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 Q Public License version 1.0. # +# # +######################################################################### + +# $Id$ + include ../config/Makefile CAMLC=../boot/ocamlrun ../ocamlc diff --git a/test/Makefile.Mac b/test/Makefile.Mac index e419f7fbd8..0d21ad3382 100644 --- a/test/Makefile.Mac +++ b/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 Q Public License version 1.0. # +# # +######################################################################### + +# $Id$ + CAMLC = ::boot:ocamlrun ::ocamlc -I ::stdlib: -I :KB: -I :Lex: CAMLYACC = ::yacc:ocamlyacc CAMLLEX = ::boot:ocamlrun ::lex:ocamllex diff --git a/test/Makefile.nt b/test/Makefile.nt index 795cb1ff3f..b56f68a1e8 100644 --- a/test/Makefile.nt +++ b/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 Q Public License version 1.0. # +# # +######################################################################### + +# $Id$ + !include ..\config\Makefile.nt CAMLC=..\boot\ocamlrun ..\ocamlc diff --git a/test/Moretest/Makefile b/test/Moretest/Makefile index d7bcb7e8e6..89c048c224 100644 --- a/test/Moretest/Makefile +++ b/test/Moretest/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 Q Public License version 1.0. # +# # +######################################################################### + +# $Id$ + include ../../config/Makefile CAMLC=../../boot/ocamlrun ../../ocamlc -I ../../stdlib diff --git a/test/Moretest/Makefile.Mac b/test/Moretest/Makefile.Mac index 547d263f91..e35e98b7b0 100644 --- a/test/Moretest/Makefile.Mac +++ b/test/Moretest/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 Q Public License version 1.0. # +# # +######################################################################### + +# $Id$ + CAMLC = :::boot:ocamlrun :::ocamlc -I :::stdlib: CAMLDEP = :::boot:ocamlrun :::tools:ocamldep CAMLRUN = :::byterun:ocamlrun diff --git a/test/Moretest/sets.ml b/test/Moretest/sets.ml index 7d295823b4..9bc18c8a27 100644 --- a/test/Moretest/sets.ml +++ b/test/Moretest/sets.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 Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/test/alloc.ml b/test/alloc.ml index 37904de180..ea103e42af 100644 --- a/test/alloc.ml +++ b/test/alloc.ml @@ -5,7 +5,8 @@ (* Damien Doligez, projet Para, 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 Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/test/bdd.ml b/test/bdd.ml index 5d948423f3..195ddecefd 100644 --- a/test/bdd.ml +++ b/test/bdd.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 Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/test/boyer.ml b/test/boyer.ml index 2f93e0f4d7..09e25696bf 100644 --- a/test/boyer.ml +++ b/test/boyer.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 Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/test/fft.ml b/test/fft.ml index b298fd1b35..242c006719 100644 --- a/test/fft.ml +++ b/test/fft.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 Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/test/fib.ml b/test/fib.ml index ef7aa3bfce..d113be5f77 100644 --- a/test/fib.ml +++ b/test/fib.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 Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/test/nucleic.ml b/test/nucleic.ml index fc81d789d3..7a9dcc637b 100644 --- a/test/nucleic.ml +++ b/test/nucleic.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 Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/test/quicksort.ml b/test/quicksort.ml index 86b74c58b4..ea79bcebef 100644 --- a/test/quicksort.ml +++ b/test/quicksort.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 Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/test/sieve.ml b/test/sieve.ml index 22dc759bb1..63873a35cd 100644 --- a/test/sieve.ml +++ b/test/sieve.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 Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/test/soli.ml b/test/soli.ml index 80c2b86734..aba79b15b8 100644 --- a/test/soli.ml +++ b/test/soli.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 Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/test/takc.ml b/test/takc.ml index c561b8156d..b5fea09a1f 100644 --- a/test/takc.ml +++ b/test/takc.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 Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/test/taku.ml b/test/taku.ml index 95dab2ea7a..126b032899 100644 --- a/test/taku.ml +++ b/test/taku.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 Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/test/testinterp/Makefile.Mac b/test/testinterp/Makefile.Mac index 21811126ba..16e00fdf50 100644 --- a/test/testinterp/Makefile.Mac +++ b/test/testinterp/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 Q Public License version 1.0. # +# # +######################################################################### + +# $Id$ + start = 0 default Ä ocamlrun.ppc ocamlrun.68k |