From: Tom Lane Date: Fri, 17 Feb 2017 21:11:03 +0000 (-0500) Subject: Document usage of COPT environment variable for adjusting configure flags. X-Git-Tag: REL9_2_21~53 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=52c35254a1763fea836d1da0f327d870e1ec8228;p=thirdparty%2Fpostgresql.git 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 --- diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml index 2b81093ab90..d8a0b08c066 100644 --- a/doc/src/sgml/installation.sgml +++ b/doc/src/sgml/installation.sgml @@ -1413,6 +1413,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 @@ -1433,6 +1453,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. + diff --git a/src/Makefile.global.in b/src/Makefile.global.in index d1e82d65404..5f79b7d4d2d 100644 --- a/src/Makefile.global.in +++ b/src/Makefile.global.in @@ -482,6 +482,11 @@ ifneq ($(CUSTOM_COPT),) COPT= $(CUSTOM_COPT) endif +# +# These variables are meant to be set in the environment of "make" +# to add flags to whatever configure picked. Unlike the ones above, +# they are documented. +# ifdef COPT CFLAGS += $(COPT) LDFLAGS += $(COPT)