diff options
| -rw-r--r-- | .depend | 4 | ||||
| -rw-r--r-- | INSTALL | 10 | ||||
| -rwxr-xr-x | configure | 6 |
3 files changed, 10 insertions, 10 deletions
@@ -435,11 +435,11 @@ asmcomp/compilenv.cmo: asmcomp/clambda.cmi utils/config.cmi typing/env.cmi \ asmcomp/compilenv.cmx: asmcomp/clambda.cmx utils/config.cmx typing/env.cmx \ typing/ident.cmx utils/misc.cmx asmcomp/compilenv.cmi asmcomp/emit.cmo: asmcomp/arch.cmo asmcomp/cmm.cmi asmcomp/compilenv.cmi \ - asmcomp/emitaux.cmi asmcomp/linearize.cmi parsing/location.cmi \ + utils/config.cmi asmcomp/emitaux.cmi asmcomp/linearize.cmi \ asmcomp/mach.cmi utils/misc.cmi utils/nativeint.cmi asmcomp/proc.cmi \ asmcomp/reg.cmi asmcomp/emit.cmi asmcomp/emit.cmx: asmcomp/arch.cmx asmcomp/cmm.cmx asmcomp/compilenv.cmx \ - asmcomp/emitaux.cmx asmcomp/linearize.cmx parsing/location.cmx \ + utils/config.cmx asmcomp/emitaux.cmx asmcomp/linearize.cmx \ asmcomp/mach.cmx utils/misc.cmx utils/nativeint.cmx asmcomp/proc.cmx \ asmcomp/reg.cmx asmcomp/emit.cmi asmcomp/emitaux.cmo: utils/nativeint.cmi asmcomp/emitaux.cmi @@ -2,9 +2,9 @@ PREREQUISITES * The GNU C compiler gcc is recommended, as the bytecode interpreter takes advantage of gcc-specific features to enhance - performance. Versions 2.5.8, 2.6.3, 2.7.0 and 2.7.2 have all been - tested at some point and appear to work. 2.7.2.1 has known problems, - at least under Linux; use some other version. + performance. Versions 2.5.8, 2.6.3, 2.7.0, 2.7.2 and 2.7.2.2 have + all been tested at some point and appear to work. + 2.7.2.1 has known problems, at least under Linux; use some other version. * Under HP/UX, gcc, the GNU binutils, and GNU make are all required. The native cc, as, and make have major problems. @@ -172,8 +172,8 @@ won't work if /bin/csh is called instead. You may have to unset the SHELL environment variable, or set it to /bin/sh. * gcc 2.7.2.1 generates incorrect code for the runtime system in -O mode, -at least on the Intel x86 architecture; other processors have not been -tested with gcc 2.7.2.1. The solution is to downgrade to 2.7.2, or +at least on some Intel x86 platforms (e.g. Linux RedHat 4.1). +If this causes a problem, the solution is to downgrade to 2.7.2, or upgrade to 2.7.2.2; both work all right. * gcc 2.6.0 has been reported to generate incorrect code for the @@ -91,9 +91,9 @@ case "$cc" in echo "" echo "WARNING: you are using gcc version 2.7.2.1." echo "This version of gcc is known to generate incorrect code" - echo "for the Objective Caml runtime system, at least on Intel x86" - echo "machines. (The symptom is a crash of boot/ocamlc when compiling" - echo "stdlib/pervasives.mli.)" + echo "for the Objective Caml runtime system, at least on some" + echo "Intel x86 machines. (The symptom is a crash of boot/ocamlc when" + echo "compiling stdlib/pervasives.mli.)" echo "You are strongly advised to use another version of gcc, such as" echo "2.7.2 or 2.7.2.2, which are known to work well with Objective Caml." echo "" |