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
