Thread: postgresql-server-dev-17 missing utils/wait_event_types.h header

postgresql-server-dev-17 missing utils/wait_event_types.h header

From
Andrew Kane
Date:
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: postgresql-server-dev-17 missing utils/wait_event_types.h header

From
Christoph Berg
Date:
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: postgresql-server-dev-17 missing utils/wait_event_types.h header

From
Andrew Kane
Date:
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: postgresql-server-dev-17 missing utils/wait_event_types.h header

From
Christoph Berg
Date:
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



Re: postgresql-server-dev-17 missing utils/wait_event_types.h header

From
Andrew Kane
Date:
Great, thanks again! Confirmed it's working with the latest postgresql-server-dev-17.

- 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