From 156fbdfcef5d5dfae63bddeeaef2f1aac15f2151 Mon Sep 17 00:00:00 2001
From: Tom Lane
Date: Fri, 17 Feb 2017 16:11:02 -0500
Subject: Document usage of COPT environment variable for adjusting configure
flags.
Also add to the existing rather half-baked description of PROFILE,
which does exactly the same thing, but I think people use it differently.
Discussion: https://postgr.es/m/16461.1487361849@sss.pgh.pa.us
---
doc/src/sgml/installation.sgml | 28 ++++++++++++++++++++++++++++
1 file changed, 28 insertions(+)
(limited to 'doc/src')
diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml
index 71818f6b43f..41ec896b559 100644
--- a/doc/src/sgml/installation.sgml
+++ b/doc/src/sgml/installation.sgml
@@ -1465,6 +1465,26 @@ su - postgres
+
+ Sometimes it is useful to add compiler flags after-the-fact to the set
+ that were chosen by configure>. An important example is
+ that gcc>'s
+
When developing code inside the server, it is recommended to
@@ -1485,6 +1505,14 @@ su - postgres
+
+
+ The COPT> and PROFILE> environment variables are
+ actually handled identically by the PostgreSQL>
+ makefiles. Which to use is a matter of preference, but a common habit
+ among developers is to use PROFILE> for one-time flag
+ adjustments, while COPT> might be kept set all the time.
+
--
cgit v1.2.3