Thread: BUG #1149: server includes not installed by default

BUG #1149: server includes not installed by default

From
"PostgreSQL Bugs List"
Date:
The following bug has been logged online:

Bug reference:      1149
Logged by:          Fabien COELHO

Email address:      coelho@cri.ensmp.fr

PostgreSQL version: 7.5 Dev

Operating system:   Linux Debian

Description:        server includes not installed by default

Details:

It seems that server include files are not installed
by default. This is quite annoying when one is trying
to develop modules that would need these headers
in order to compile...

Apache modules for instance do not require to have
the full sources to compile. All necessary includes
are installed and the apxs script contains all necessary settings (compiler,
linker...).

repeat:

sh> pg_config --includedir-server
/usr/local/pg750a/include/postgresql/server

sh> ls /usr/local/pg750a/include/postgresql/server
ls: /usr/local/pg750a/include/postgresql/server: No
such file or directory

I looked into the installed directories and could not
find the includes elsewhere.

Re: BUG #1149: server includes not installed by default

From
Peter Eisentraut
Date:
PostgreSQL Bugs List wrote:
> Description:        server includes not installed by default

make install-all-headers

Re: BUG #1149: server includes not installed by default

From
Peter Eisentraut
Date:
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.

Re: BUG #1149: server includes not installed by default

From
Fabien COELHO
Date:
Dear Peter,

> > > make install-all-headers
> > I still argue that it should be done "by default"
> I agree, but this is not a bug, it is a deliberate design decision.

Well, isn't feature just another name for bugs? ;-)

> If you want to change it, argue about it on -hackers.

Ok. Thanks.

--
Fabien Coelho - coelho@cri.ensmp.fr

Re: BUG #1149: server includes not installed by default

From
Fabien COELHO
Date:
Dear Peter,

> > Description:        server includes not installed by default
>
> make install-all-headers

Good, but not enough?

I still argue that it should be done "by default", so that "extensions"
can be sure to find it. You cannot ask for the installer to reinstall if
s?he forgot it...

--
Fabien Coelho - coelho@cri.ensmp.fr