From ce326fe6e4147bdc38d23ce2e6aa55d5a3f186dd Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Thu, 4 Jan 1996 12:48:44 +0000 Subject: [PATCH] MAJ avant release 1.13. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@582 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 --- Changes | 6 +++--- INSTALL | 11 +---------- LICENSE | 4 ++-- README | 14 +++++++------- 4 files changed, 13 insertions(+), 22 deletions(-) diff --git a/Changes b/Changes index 54b2072cb..ceebd69a9 100644 --- a/Changes +++ b/Changes @@ -3,8 +3,8 @@ Release 1.13: * Pattern-matching compilation revised to factor out accesses inside matched structures. -* Callbacks and signals now supported in cslopt (what a terrible -hack). Signals are only detected at allocation points, though. +* Callbacks and signals now supported in cslopt. +Signals are only detected at allocation points, though. Added callback functions with 2 and 3 arguments. * More explicit error messages when a native-code program aborts due @@ -21,7 +21,7 @@ emulation on V7 processors is abysmal. Release 1.12: -* Fix an embarrassing bug with references to floats. +* Fixed an embarrassing bug with references to floats. Release 1.11: diff --git a/INSTALL b/INSTALL index e063e9fdf..aa6f3af52 100644 --- a/INSTALL +++ b/INSTALL @@ -107,7 +107,7 @@ pinpoint the problem. COMMON PROBLEMS: * The Makefiles use the "include" directive, which is not supported by -older versions of make. Use GNU make instead. +all versions of make. Use GNU make instead. * The Makefiles assume that make execute commands by calling /bin/sh. They won't work if /bin/csh is called instead. You may have to unset the SHELL @@ -128,17 +128,8 @@ gcc. Be sure to add the -U__GNUC__ option in $(BYTECCCOMPOPTS). MACHINE-SPECIFIC HINTS: -* On SparcStations 1, 1+, 2 (and other models with Sparc version 7 -processors) under SunOS 4.1.2: programs using integer division or -integer modulus crash on a segmentation fault when compiled with -cslopt. The same programs work fine under SunOS 4.1.1, 4.1.3 and -4.1.4, so it looks very much like a kernel bug in the -emulation of the sdiv instruction. Consider an upgrade to 4.1.3 or -higher. - * On HP 9000/700 machines under HP/UX 9. Some versions of cc are unable to compile correctly the runtime system (wrong code is generated for (x - y) where x is a pointer and y an integer). Fix: use gcc. - diff --git a/LICENSE b/LICENSE index ff1c4688e..6b6ad8bbb 100644 --- a/LICENSE +++ b/LICENSE @@ -1,6 +1,6 @@ LEGAL NOTICE -Software: Caml Special Light, version 1.10 of November 1995, +Software: Caml Special Light, version 1.13 of January 1996, hereinafter referred to as "the software". The software has been designed and produced by Xavier Leroy and Damien @@ -8,7 +8,7 @@ Doligez, research workers for the Institut National de Recherche en Informatique et en Automatique (INRIA) - Domaine de Voluceau - Rocquencourt - 78153 Le Chesnay Cedex - France. -INRIA holds all ownership rights to Caml Special Light version 1.06. +INRIA holds all ownership rights to Caml Special Light. The software has been registered at Agence pour la Protection des Programmes (APP). diff --git a/README b/README index 352ae658c..92299f145 100644 --- a/README +++ b/README @@ -37,10 +37,10 @@ little work. This distribution has been tested on the following platforms: - DecStation 3000/300, OSF/1 2.0, cc and gcc 2.5.8 - SparcStation 10, SunOS 4.1.3, gcc 2.5.8 + DecStation 3000/300, OSF/1 2.0, cc and gcc 2.7.1 + SparcStation 10, SunOS 4.1.3, gcc 2.7.1 PC 486 DX2/66, Linux 1.2.13, gcc 2.5.8 - DecStation 5000/200, Ultrix 4.1, cc and gcc 2.4.5 + DecStation 5000/200, Ultrix 4.1, cc and gcc 2.7.1 HP 9000/712, NextStep 3.2, cc CONTENTS: @@ -114,11 +114,11 @@ If you wish to subscribe to this list, please send a message caml-list-request@pauillac.inria.fr Archives of the list are available on the World Wide Web at URL -http://pauillac.inria.fr/csl/. +http://pauillac.inria.fr/caml/. -The Usenet news group comp.lang.ml also contains discussions about -the ML family of programming languages, including Caml. The newsgroup -is moderated. +The Usenet news groups comp.lang.ml and comp.lang.functional +also contains discussions about the ML family of programming languages, +including Caml. BUG REPORTS AND USER FEEDBACK: