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

[Samuel Thibault]

Paul Dufresne, le mar. 09 févr. 2021 12:29:11 -0500, a ecrit:
> I think I figure out part of what the problem was.
> As I had used:
> https://www.gnu.org/software/hurd/microkernel/mach/gnumach/building.html
> which use:
> $ CPP='gcc -m32 -E -x c -undef -ansi' CC='gcc -m32' LD='ld -melf_i386' 
> ../configure --prefix= --host=i686-unknown-linux-gnu

? I updated the page, perhaps you need to refresh the page.

> then:
> $ make DESTDIR=~/gnu install-data
> I believe there it installed 64 bit headers in ~/gnu... frankly did not look 
> to them to know.

The headers do not depend on the bitness. See the commands used: mkdir,
install-sh only, so they only copy the files from the git, that's all.

> /bin/bash: no: command not found
> make: *** [Makefile:9382: vm/memory_object_user.user.h] Error 127
> paul@jacko:~/mymach/gnumach/build$ 
> 
> paul@jacko:~/mymach/gnumach/build$ whereis bash
> bash: /usr/bin/bash /etc/bash.bashrc /usr/share/man/man1/bash.1.gz

It's not looking for bash. It's bash which is looking for "no". See the
configure log, it told you that it didn't find mig.

Samuel