From 34b5513ffb0752e2bdb8387c18e06d026d073ffc Mon Sep 17 00:00:00 2001 From: Andrew Engelbrecht Date: Tue, 2 Aug 2011 23:04:13 -0400 Subject: Noted diff in instructions for 32 and 64 bit --- microkernel/mach/gnumach/building.mdwn | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'microkernel/mach/gnumach') diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn index 6d030d3e..07dc3341 100644 --- a/microkernel/mach/gnumach/building.mdwn +++ b/microkernel/mach/gnumach/building.mdwn @@ -79,7 +79,7 @@ GNU Mach and its headers should be built in separate directories: $ cd gnumach-build-h Find the path to your GNU Mach sources (`../gnumach`) and configure -it: +it (the --host flag is needed for 64 bit systems): $ ../gnumach/configure --prefix= --host=i686-unknown-linux-gnu @@ -98,8 +98,12 @@ GNU Mach should be built in a separate directory: Find the path to your GNU Mach sources (`../gnumach`) and configure it: + $ ../gnumach/configure + +If you are building on a 64 bit system, do the following instead: + $ CPP='gcc -m32 -E -x c -undef -ansi' CC='gcc -m32' LD='ld -melf_i386' - $ ../gnumach/configure --host=i686-unknown-linux-gnu + $ ../gnumach/configure --host=i686-unknown-linux-gnu Build the kernel image: -- cgit v1.2.3