Thread: postgresql-server-dev-17 missing utils/wait_event_types.h header
Hi,
Thanks for maintaining the package repo!
When trying to build an extension with the postgresql-server-dev-17 package, it errors with:
/usr/include/postgresql/17/server/utils/wait_event.h:29:10: fatal error: utils/wait_event_types.h: No such file or directory
It looks like utils/wait_event_types.h is a generated file (commit fa88928470b538c0ec0289e4d69ee12356c5a8ce), which may be the cause.
- Andrew
Re: Andrew Kane > Hi, > > Thanks for maintaining the package repo! > > When trying to build an extension with the postgresql-server-dev-17 > package, it errors with: > > /usr/include/postgresql/17/server/utils/wait_event.h:29:10: fatal error: > utils/wait_event_types.h: No such file or directory > > It looks like utils/wait_event_types.h is a generated file (commit > fa88928470b538c0ec0289e4d69ee12356c5a8ce), which may be the cause. Hi Andrew, that's a PG bug; I've forwarded it to pgsql-hackers. Thanks for spotting, Christoph
Great, thanks Christoph!
- Andrew
On Wed, Oct 18, 2023 at 9:00 AM Christoph Berg <myon@debian.org> wrote:
Re: Andrew Kane
> Hi,
>
> Thanks for maintaining the package repo!
>
> When trying to build an extension with the postgresql-server-dev-17
> package, it errors with:
>
> /usr/include/postgresql/17/server/utils/wait_event.h:29:10: fatal error:
> utils/wait_event_types.h: No such file or directory
>
> It looks like utils/wait_event_types.h is a generated file (commit
> fa88928470b538c0ec0289e4d69ee12356c5a8ce), which may be the cause.
Hi Andrew,
that's a PG bug; I've forwarded it to pgsql-hackers.
Thanks for spotting,
Christoph
Re: Andrew Kane > Great, thanks Christoph! It has already been fixed: -rw-r--r-- 1 root root 3520 Jun 30 11:39 wait_event.h -rw-r--r-- 1 root root 6281 Jun 30 11:39 wait_event_types.h Christoph
Great, thanks again! Confirmed it's working with the latest postgresql-server-dev-17.
- Andrew
- Andrew
On Thu, Oct 19, 2023 at 12:37 AM Christoph Berg <myon@debian.org> wrote:
Re: Andrew Kane
> Great, thanks Christoph!
It has already been fixed:
-rw-r--r-- 1 root root 3520 Jun 30 11:39 wait_event.h
-rw-r--r-- 1 root root 6281 Jun 30 11:39 wait_event_types.h
Christoph