diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2004-06-19 16:17:31 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2004-06-19 16:17:31 +0000 |
commit | 63b506d2cda0959f9811f0831580d8623c2511bc (patch) | |
tree | a0984e24e950feb5cc52c83ce112865268dbd855 /config/Makefile-templ | |
parent | 9de985cc704443aad590e9950833d8b90edf8dfc (diff) | |
download | ocaml-63b506d2cda0959f9811f0831580d8623c2511bc.tar.gz |
Suppression portage ocamlopt pour Power/AIX
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6423 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'config/Makefile-templ')
-rw-r--r-- | config/Makefile-templ | 15 |
1 files changed, 3 insertions, 12 deletions
diff --git a/config/Makefile-templ b/config/Makefile-templ index 73180db018..a8b2ea01a0 100644 --- a/config/Makefile-templ +++ b/config/Makefile-templ @@ -111,8 +111,8 @@ SHARPBANGSCRIPTS=true ### i386 Intel Pentium PCs under Linux, *BSD*, NextStep ### sparc Sun Sparcstation under SunOS 4.1 or Solaris 2 ### mips SGI machines under IRIX -### hppa HP 9000/700 under HPUX -### power Mac OS X; IBM RS6000 and PowerPC workstations under AIX +### hppa HP 9000/700 under HPUX and Linux +### power Macintosh under Mac OS X and Linux ### ia64 Intel Itanium/IA64 under Linux ### arm ARM under Linux ### @@ -133,18 +133,9 @@ SHARPBANGSCRIPTS=true ### behavior of the code generator to the particular flavor used. ### Currently needed only if ARCH=power; leave MODEL=default for ### other architectures. -### If ARCH=power: choose between -### MODEL=rs6000 The original IBM RS6000 workstations -### (RIOS and RIOS2 processors) -### MODEL=ppc The newer PowerPC processors -### (Motorola/IBM PPC601, PPC603, PPC604, G3, G4, etc) -### The Motorola PPC601 is compatible with both models, but the newer -### PPCs will work only with MODEL=ppc, and the older IBM RS6000 -### workstations will work only with MODEL=rs6000. -### +### If ARCH=power: set MODEL=ppc ### For other architectures: leave MODEL=default ### -#MODEL=rs6000 #MODEL=ppc #MODEL=default |