On Mon, Oct 21, 2024 at 9:38 PM Samuel Thibault <samuel.thiba...@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
