Re: Re : apt-get build-dep gnumach did not install mig

[Samuel Thibault]

Paul Dufresne, le mar. 09 févr. 2021 05:34:56 -0500, a ecrit:
> ---- Le mar., 09 févr. 2021 03:54:27 -0500 Samuel Thibault 
> <samuel.thibault@gnu.org> écrit ----
> 
>  > Paul Dufresne, le mar. 09 févr. 2021 00:06:37 -0500, a ecrit: 
>  > > But 
>  > > # apt-get build-dep gnumach 
>  > > did not install mig package. 
>  >  
>  > Didn't it install mig-for-host and mig-i686-something? 
> 
> Yes it did.

Then that's what you should use, it provides some /usr/bin/mig-something
that you can tell configure to use with MIG=, just like CC= and LD=

> But as I was trying to reproduce what I was doing on a non-Debian system, 
> rather than do:
> dpkg-buildpackage -us -uc -b -rfakeroot
> 
> I did: {On Debian Hurd}
> autoreconf --install
> mkdir build
> cd build
> $ GNU=~/gnu
> $ TARGET_CPPFLAGS=-I"$GNU"/include ../configure --prefix="$GNU"
> that then complains it could not find mig.

Yes, because the debian package passes explictly --build= and --host=,
and thus configure finds mig-i686-gnu, so the packaging only has to
build-depend on the mig-i686-gnu on Debian Hurd.

> So I installed mig package and complained here mig was not installed by 
> apt-get build-dep gnumach.

Then the problem is in the documentation that told that apt-get
build-dep was enough. Where was it?

> ...
> I was not really aware of mig-for-host and mig-i686-something...
> which are for when you are on Debian Linux?

They are for the debian builds in general, be they cross builds or
non-cross builds.

If somebody could go through these documentations and update them that'd
be very useful.

Samuel