Re: Error building Hurd on an existing Hurd

[Sergey Bugaev]

On Mon, Oct 21, 2024 at 9:38 PM Samuel Thibault <samuel.thibault@gnu.org> wrote:
> Sergey Bugaev, le lun. 21 oct. 2024 14:47:10 +0300, a ecrit:
> > You must
> > have a fresh enough MIG build (that already generates references to
> > mach_port_name_inlined_t), but older gnumach headers (that don't yet
> > define mach_port_name_inlined_t).
>
> "that don't yet define mach_port_name_inlined_t" ?
>
> Here it is missing the definition. I would on the contrary expect that
> his version of gnumach-dev is too old, missing mach_port_name_inlined_t.

But that's the same thing I said?

Perhaps the word "must" is what's confusing; I meant "you must have"
as in "it looks like you have", not as in "you should have". So: it
looks like Zhaoming has somewhat old Mach headers with a new enough
MIG.

If that is indeed on a Debian GNU/Hurd system and the MIG and the Mach
headers in question are coming from system packages, do you think
maybe this should be considered a bug in the packaging? I'd expect the
version of the mig package that generates mach_port_name_inlined_t
references to depend on the version of gnumach-dev that has the
mach_port_name_inlined_t definition.

Sergey