changeset 1515:8c65218920cf

Stop using -fno-inline by default
author Adam Chlipala <adam@chlipala.net>
date Sat, 23 Jul 2011 09:42:34 -0400 (2011-07-23)
parents 3c0803c1acd7
children c4f39b49aa2d
files doc/manual.tex src/compiler.sml
diffstat 2 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/doc/manual.tex	Fri Jul 22 15:39:38 2011 -0400
+++ b/doc/manual.tex	Sat Jul 23 09:42:34 2011 -0400
@@ -93,7 +93,7 @@
 GCCARGS=-fnested-functions ./configure
 \end{verbatim}
 
-Some Mac OS X users have reported needing to use this particular GCCARGS value.
+Some Mac OS X users have reported needing to use this particular GCCARGS value.  Also, some older GCC versions have inlining-related bugs that can be masked (at some cost to output code quality) by adding \texttt{-fno-inline} here.
 
 Since the author is still getting a handle on the GNU Autotools that provide the build system, you may need to do some further work to get started, especially in environments with significant differences from Linux (where most testing is done).  The variables \texttt{PGHEADER}, \texttt{MSHEADER}, and \texttt{SQHEADER} may be used to set the proper C header files to include for the development libraries of PostgreSQL, MySQL, and SQLite, respectively.  To get libpq to link, one OS X user reported setting \texttt{GCCARGS="-I/opt/local/include -L/opt/local/lib/postgresql84"}, after creating a symbolic link with \texttt{ln -s /opt/local/include/postgresql84 /opt/local/include/postgresql}.
 
--- a/src/compiler.sml	Fri Jul 22 15:39:38 2011 -0400
+++ b/src/compiler.sml	Sat Jul 23 09:42:34 2011 -0400
@@ -1320,7 +1320,7 @@
                   else
                       "-L" ^ Config.lib ^ "/.. -lurweb " ^ #linkDynamic proto
 
-        val compile = Config.ccompiler ^ " " ^ Config.gccArgs ^ " -Wimplicit -Werror -O3 -fno-inline -I " ^ Config.includ
+        val compile = Config.ccompiler ^ " " ^ Config.gccArgs ^ " -Wimplicit -Werror -O3 -I " ^ Config.includ
                       ^ " " ^ #compile proto
                       ^ " -c " ^ escapeFilename cname ^ " -o " ^ escapeFilename oname