diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2011-12-17 12:44:23 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2011-12-17 12:44:23 +0000 |
commit | 5c432bf22c353cdd3d96b8fc642f6c3d48ffdcd2 (patch) | |
tree | 8d661aa4c98e83b5a4d19c179485cedc1a157b9d /config/Makefile-templ | |
parent | 366da2c721e1b378de9c2fdf219765db5ded940e (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-templ | 53 |
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 |