BUG #1149: server includes not installed by default

Started by PostgreSQL Bugs Listalmost 22 years ago5 messagesbugs
Jump to latest
#1PostgreSQL Bugs List
pgsql-bugs@postgresql.org

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.

#2Peter Eisentraut
peter_e@gmx.net
In reply to: PostgreSQL Bugs List (#1)
Re: BUG #1149: server includes not installed by default

PostgreSQL Bugs List wrote:

Description: server includes not installed by default

make install-all-headers

#3Fabien COELHO
coelho@cri.ensmp.fr
In reply to: Peter Eisentraut (#2)
Re: BUG #1149: server includes not installed by default

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

#4Peter Eisentraut
peter_e@gmx.net
In reply to: Fabien COELHO (#3)
Re: BUG #1149: server includes not installed by default

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.

#5Fabien COELHO
coelho@cri.ensmp.fr
In reply to: Peter Eisentraut (#4)
Re: BUG #1149: server includes not installed by default

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