Re: BUG #1149: server includes not installed by default - Mailing list pgsql-bugs

From Peter Eisentraut
Subject Re: BUG #1149: server includes not installed by default
Date
Msg-id 200405121658.04078.peter_e@gmx.net
Whole thread Raw
In response to BUG #1149: server includes not installed by default  ("PostgreSQL Bugs List" <pgsql-bugs@postgresql.org>)
Responses Re: BUG #1149: server includes not installed by default
List pgsql-bugs
Am Mittwoch, 12. Mai 2004 15:41 schrieb Fabien COELHO:
> > make install-all-headers
>
> Good, but not enough?
>
> I still argue that it should be done "by default"

I agree, but this is not a bug, it is a deliberate design decision.  If you
want to change it, argue about it on -hackers.

pgsql-bugs by date:

Previous
From: Laurent FAILLIE
Date:
Subject: Re: BUG #1151: Initdb fails ...
Next
From: Peter Eisentraut
Date:
Subject: Re: BUG #1147: Getting rid of LD_LIBRARY_PATH