Re: add server include files to default installation?

I have a fairly good understanding of how the Makefile.global etc. is
organized. My point is, in order to maintain a good separation of concern, I
should not use this knowledge.

IMHO, there's a need for a well documented "module extension build API"
accessible from a well known place. This is more important than to include
it in the default installation. Once in place it will lessen the
dependencies between the server installation and the extension modules. The
PostgreSQL core can then change the make structure, directory layout, etc.
without affecting the extension modules that uses the build API. If they
don't use it, any incompatibility is their responsability.

Your suggestion to rewrite the Makefile.global etc. is a good first step.

Kind regards,

Thomas Hallgren