summaryrefslogtreecommitdiffstats
path: root/config/Makefile-templ
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2011-12-17 12:44:23 +0000
committerXavier Leroy <xavier.leroy@inria.fr>2011-12-17 12:44:23 +0000
commit5c432bf22c353cdd3d96b8fc642f6c3d48ffdcd2 (patch)
tree8d661aa4c98e83b5a4d19c179485cedc1a157b9d /config/Makefile-templ
parent366da2c721e1b378de9c2fdf219765db5ded940e (diff)
Removed the obsolete native-code generators for Alpha, HPPA, IA64 and MIPS,
part 3: config/Makefile-templ (for reference, because this file is unused) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11884 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'config/Makefile-templ')
-rw-r--r--config/Makefile-templ53
1 files changed, 6 insertions, 47 deletions
diff --git a/config/Makefile-templ b/config/Makefile-templ
index cd619c45c..fc8b9a025 100644
--- a/config/Makefile-templ
+++ b/config/Makefile-templ
@@ -46,19 +46,15 @@ SHARPBANGSCRIPTS=true
#BYTECC=cc
### Additional compile-time options for $(BYTECC).
-# If using gcc on Intel 386 or Motorola 68k:
+# If using gcc on Intel x86:
# (the -fno-defer-pop option circumvents a bug in certain versions of gcc)
#BYTECCCOMPOPTS=-fno-defer-pop -Wall
-# If using gcc and being superstitious:
+# If using gcc and being cautious:
#BYTECCCOMPOPTS=-Wall
-# Under NextStep:
-#BYTECCCOMPOPTS=-U__GNUC__ -fno-defer-pop -Wall
# Otherwise:
#BYTECCCOMPOPTS=
### Additional link-time options for $(BYTECC)
-### If using GCC on a Dec Alpha under OSF1:
-#BYTECCLINKOPTS=-Wl,-T,12000000 -Wl,-D,14000000
# To support dynamic loading of shared libraries (they need to look at
# our own symbols):
#BYTECCLINKOPTS=-Wl,-E
@@ -111,23 +107,15 @@ RANLIBCMD=ranlib
### Name of architecture for the native-code compiler
### Currently supported:
###
-### alpha Digital/Compaq Alpha machines under DUnix/Tru64 or Linux
### 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 and Linux
### power Macintosh under Mac OS X and Linux
-### ia64 Intel Itanium/IA64 under Linux
### arm ARM under Linux
###
### Set ARCH=none if your machine is not supported
-#ARCH=alpha
#ARCH=i386
#ARCH=sparc
-#ARCH=mips
-#ARCH=hppa
#ARCH=power
-#ARCH=ia64
#ARCH=arm
#ARCH=none
@@ -144,37 +132,18 @@ RANLIBCMD=ranlib
#MODEL=default
### Name of operating system family for the native-code compiler.
-### If ARCH=sparc: choose between
-### SYSTEM=sunos SunOS 4.1
-### SYSTEM=solaris Solaris 2
-###
-### If ARCH=i386: choose between
-### SYSTEM=linux_aout Linux with a.out binaries
-### SYSTEM=linux_elf Linux with ELF binaries
-### SYSTEM=bsd FreeBSD, probably works for NetBSD also
-### SYSTEM=nextstep NextStep
-###
-### For other architectures: set SYSTEM=unknown
-###
-#SYSTEM=sunos
#SYSTEM=solaris
#SYSTEM=linux
#SYSTEM=linux_elf
#SYSTEM=bsd
-#SYSTEM=nextstep
#SYSTEM=unknown
### Which C compiler to use for the native-code compiler.
-### cc is better than gcc on the Mips and Alpha.
#NATIVECC=cc
#NATIVECC=gcc
### Additional compile-time options for $(NATIVECC).
-# For cc on the Alpha:
-#NATIVECCCOMPOPTS=-std1
-# For cc on the Mips:
-#NATIVECCCOMPOPTS=-std
-# For gcc if superstitious:
+# For gcc if cautious:
#NATIVECCCOMPOPTS=-Wall
### Additional link-time options for $(NATIVECC)
@@ -185,29 +154,21 @@ RANLIBCMD=ranlib
#NATIVECCRPATH=-Wl,-rpath
### Command and flags to use for assembling ocamlopt-generated code
-# For the Alpha or the Mips:
-#ASM=as -O2
-# For the PowerPC:
-#ASM=as -u -m ppc -w
-# Otherwise:
#ASM=as
### Command and flags to use for assembling .S files (often with preprocessing)
# If gcc is available:
#ASPP=gcc -c
-# On SunOS and Solaris:
+# On Solaris:
#ASPP=as -P
### Extra flags to use for assembling .S files in profiling mode
-# On Digital Unix:
-#ASPPPROFFLAGS=-pg -DPROFILING
-# Otherwise:
#ASPPPROFFLAGS=-DPROFILING
### Whether profiling with gprof is supported
-# If yes: (x86/Linux, Alpha/Digital Unix, Sparc/Solaris):
+# If yes: (e.g. x86/Linux, Sparc/Solaris):
#PROFILING=prof
-# If no: (all others)
+# If no:
#PROFILING=noprof
### Option to give to the C compiler for profiling
@@ -238,8 +199,6 @@ OTHERLIBRARIES=unix str num threads graph dynlink labltk bigarray
# generic (portable C, works everywhere)
# ia32 (Intel x86)
# amd64 (AMD Opteron, Athlon64)
-# alpha
-# mips
# ppc (Power PC)
# sparc
# If you don't know, leave BNG_ARCH=generic, which selects a portable