diff doc/manual.tex @ 1161:2ae57fa551be

Update manual with Gian's experience building in OS X
author Adam Chlipala <adamc@hcoop.net>
date Tue, 09 Feb 2010 09:51:21 -0500
parents 277a5db17aa1
children 6c507826fae9
line wrap: on
line diff
--- a/doc/manual.tex	Sun Feb 07 16:13:09 2010 -0500
+++ b/doc/manual.tex	Tue Feb 09 09:51:21 2010 -0500
@@ -93,7 +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.
+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.  Further, to get libpq to link, another 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}.
 
 The Emacs mode can be set to autoload by adding the following to your \texttt{.emacs} file.