# HG changeset patch # User Adam Chlipala # Date 1264941889 18000 # Node ID a9ba22d551f0c1b2a9a0c7a700d5dcaf08519e1f # Parent 44152f712037a3fc8a010a033d5908aec3d013c8 Remove mention of (hopefully) fixed problem with ./configure diff -r 44152f712037 -r a9ba22d551f0 doc/manual.tex --- a/doc/manual.tex Sat Jan 30 20:21:15 2010 -0500 +++ b/doc/manual.tex Sun Jan 31 07:44:49 2010 -0500 @@ -93,14 +93,7 @@ Some Mac OS X users have reported needing to use this particular GCCARGS value. -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). One OS X user reported needing to run \texttt{./configure} with \texttt{CFLAGS=-I/opt/local/include}, since this directory wound up holding a header file associated with a \texttt{libmhash} package installed via DarwinPorts. While that user built Ur/Web successfully with no further tweaks, another OS X user reported that he needed to install Autoconf and Automake from MacPorts and run the following before \texttt{./configure}: - -\begin{verbatim} -aclocal -autoconf -\end{verbatim} - -He also reported needing to add \texttt{/opt/local/bin/} to his \texttt{\$PATH}, because of an unusual set-up where Autotools files were installed in that directory. +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). One OS X user reported needing to run \texttt{./configure} with \texttt{CFLAGS=-I/opt/local/include}, since this directory wound up holding a header file associated with a \texttt{libmhash} package installed via DarwinPorts. The Emacs mode can be set to autoload by adding the following to your \texttt{.emacs} file.