Suggest configure options for server developers.

Greg Smith

diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml
index 41b9009de05cc82b7b02b80f36bcf168e409349a..16fbdc6c7c6d92817a43680dc9dc9639333e9f21 100644 (file)
--- a/doc/src/sgml/installation.sgml
+++ b/doc/src/sgml/installation.sgml
@@ -1412,6 +1412,15 @@ su - postgres
       </varlistentry>
      </variablelist>
     </para>
+
+    <note>
+     <para>
+      Server developers should consider using the configure options 
+      <option>--enable-cassert</> and <option>--enable-debug</> to enhance the
+      ability to detect and debug server errors.  They should also consider
+      running configure with <literal>CFLAGS="-O0 -g"</>.
+     </para>
+    </note>
    </step>
 
   <step id="build">