[MLton] stabs+ on powerpc and ia64

Matthew Fluet fluet@cs.cornell.edu
Thu, 11 May 2006 07:34:21 -0400 (EDT)


> GCC says that the stabs+ debug format is not supported on PowerPC/AIX
> or IA64/HPUX.  Would it be OK to omit "-gstabs+" from DEBUGFLAGS if
> TARGET_ARCH is ia64 and powerpc?

Sure.  The DEBUGFLAGS is only for development.  The binary release 
packages don't ship with the -gdb.a libraries.