summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1998-02-26 12:46:34 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1998-02-26 12:46:34 +0000
commitab3b118780e542dd7b72ea88afe5c96769cc04c5 (patch)
treed9f0c82f9ce771512e0311e1ccba2b746c82c9fc
parentb5ae8a0a0ae5b27ee77779ef43607a9edc5086ac (diff)
MAJ
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1876 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--INSTALL5
-rw-r--r--README2
2 files changed, 1 insertions, 6 deletions
diff --git a/INSTALL b/INSTALL
index 307342515..b8367065e 100644
--- a/INSTALL
+++ b/INSTALL
@@ -212,11 +212,6 @@ on some Intel x86 platforms (e.g. Linux RedHat 4.1 and 4.2).
If this causes a problem, the solution is to downgrade to 2.7.2, or
upgrade to 2.7.2.2 or above; both work all right.
-* gcc 2.6.0 has been reported to generate incorrect code for the
-runtime system in -O mode. Upgrade to a newer version.
-
-MACHINE-SPECIFIC HINTS:
-
* 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).
diff --git a/README b/README
index b51dc4338..89f5033e0 100644
--- a/README
+++ b/README
@@ -27,7 +27,7 @@ compiler currently runs on the following platforms:
DecStation 3100 and 5000 under Ultrix 4
HP PA-RISC processors: HP 9000/700 under HPUX 9 and NextStep
PowerPC processors: IBM RS6000 and PowerPC workstations under AIX 3.2,
- PowerMacintosh under MkLinux
+ PowerMacintosh under MkLinux and LinuxPPC
Motorola 680x0 processors: Sun 3 under SunOS
Other operating systems for the processors above have not been tested,