public inbox for [email protected]  
help / color / mirror / Atom feed
From: Andrew Kane <[email protected]>
To: [email protected]
Subject: postgresql-server-dev-17 missing utils/wait_event_types.h header
Date: Mon, 16 Oct 2023 17:29:27 -0700
Message-ID: <CAOdR5yFPHhnXxETx-=dRbm9NwTj1+qWTjP6vNBc77XDk5NBdQw@mail.gmail.com> (raw)

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


view thread (5+ messages)  latest in thread

reply

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Reply to all the recipients using the --to and --cc options:
  reply via email

  To: [email protected]
  Cc: [email protected]
  Subject: Re: postgresql-server-dev-17 missing utils/wait_event_types.h header
  In-Reply-To: <CAOdR5yFPHhnXxETx-=dRbm9NwTj1+qWTjP6vNBc77XDk5NBdQw@mail.gmail.com>

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

This inbox is served by agora; see mirroring instructions
for how to clone and mirror all data and code used for this inbox