Re: add server include files to default installation?

Bruce Momjian <pgman(at)candle(dot)pha(dot)pa(dot)us> writes:
> Fabien COELHO wrote:
>> Well, the point of having an infrastructure if extensions cannot rely it
>> being there when needed is not clear to me.

> Agreed. If we are pushing things out, it seems it is our duty to make
> it easy for outside things to integrate and build properly.

It does not thereby follow that we should try to merge devel and base
packages (to express it in RPM terms). Compiling extension packages is
not and probably never will be something that the average user does,
and there's no reason to burden him with the disk footprint to support
something he's not gonna do.

We do need to work out what our story is for compiling extensions
without the original source/build trees. But the needed files should
be an install option, not the default.

regards, tom lane