diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 1998-02-26 12:46:34 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 1998-02-26 12:46:34 +0000 |
commit | ab3b118780e542dd7b72ea88afe5c96769cc04c5 (patch) | |
tree | d9f0c82f9ce771512e0311e1ccba2b746c82c9fc | |
parent | b5ae8a0a0ae5b27ee77779ef43607a9edc5086ac (diff) |
MAJ
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1876 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | INSTALL | 5 | ||||
-rw-r--r-- | README | 2 |
2 files changed, 1 insertions, 6 deletions
@@ -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). @@ -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, |