Fabien COELHO wrote:
> Thus it suggests that the only use for the two targets is whether someone
> is interested in having a smaller footprint version...
>
> The other reason why I sticked to it in the submission is to be upward
> compatible with the previous state with 2 differents targets. I feel it is
> a "political" decision to shift to a single target install, and I'm not
> the one to take such a decision... I'm only really interested in having
> server headers and pgxs stuff installed by default, so that extensions can
> be reliably added on a default installation.
>
> So, the question remains the same: is there a consensus to drop
> install-all-headers/light-install targets for a simple and full "install"?
This is the 8.0 release --- let's remove those targets. Our logic has
usually been to remove confusing options and document their removal
rather than keep them around and continue confusing people forever.
Would you resubmit with adjustments for comments made?
--
Bruce Momjian | http://candle.pha.pa.us
pgman@candle.pha.pa.us | (610) 359-1001
+ If your life is a hard drive, | 13 Roberts Road
+ Christ can be your backup. | Newtown Square, Pennsylvania 19073