diff options
Diffstat (limited to 'test')
37 files changed, 146 insertions, 31 deletions
diff --git a/test/KB/equations.ml b/test/KB/equations.ml index 1491eb200..a7ea9a03b 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 7da75808d..45d790260 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 329c0b591..590f4cd5d 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 c80771ab6..59b60e4ea 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 13332cccb..63ebf4b8f 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 762d5849b..11a776ba7 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 678ffd5ba..d7abfd564 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 9f9acffbc..dba700064 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 302c3801a..7d22e9cb0 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 17eb892c0..b84d8588a 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 e0d989062..8c1e4db94 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 cf0d85d07..006664e18 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 1e8a7e81e..6382401e2 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 2a94efe0b..1c3b1dc7b 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 1c2db88db..c449b13a5 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 4589e4862..131272fdd 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 40ced286c..ff704cd2f 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 969890f3b..96d10a453 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 3a88596ee..3f1f0f34f 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 fa03c0ff1..763c83cec 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 e419f7fbd..0d21ad338 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 795cb1ff3..b56f68a1e 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 d7bcb7e8e..89c048c22 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 547d263f9..e35e98b7b 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 7d295823b..9bc18c8a2 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 37904de18..ea103e42a 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 5d948423f..195ddecef 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 2f93e0f4d..09e25696b 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 b298fd1b3..242c00671 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 ef7aa3bfc..d113be5f7 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 fc81d789d..7a9dcc637 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 86b74c58b..ea79bcebe 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 22dc759bb..63873a35c 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 80c2b8673..aba79b15b 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 c561b8156..b5fea09a1 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 95dab2ea7..126b03289 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 21811126b..16e00fdf5 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 |