diff doc/manual.tex @ 1137:a8921f5ef6bd

New release
author Adam Chlipala <adamc@hcoop.net>
date Sat, 30 Jan 2010 08:45:31 -0500
parents f93dc2ea30c1
children a9ba22d551f0
line wrap: on
line diff
--- a/doc/manual.tex	Thu Jan 28 20:10:32 2010 -0500
+++ b/doc/manual.tex	Sat Jan 30 08:45:31 2010 -0500
@@ -91,7 +91,16 @@
 GCCARGS=-fnested-functions ./configure
 \end{verbatim}
 
-Some OSX users have reported needing to use this particular GCCARGS value.
+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.
 
 The Emacs mode can be set to autoload by adding the following to your \texttt{.emacs} file.