From 2dbac97ca00a3ea201c4a1a2b2d7a7be0b2e05b0 Mon Sep 17 00:00:00 2001 From: Andrew Engelbrecht Date: Wed, 3 Aug 2011 08:50:52 -0400 Subject: Separate 32 and 64 bit instructions --- microkernel/mach/gnumach/building.mdwn | 7 +++++-- microkernel/mach/mig/gnu_mig/building.mdwn | 7 ++++++- 2 files changed, 11 insertions(+), 3 deletions(-) (limited to 'microkernel') diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn index 178a89c0..08f4b656 100644 --- a/microkernel/mach/gnumach/building.mdwn +++ b/microkernel/mach/gnumach/building.mdwn @@ -67,8 +67,11 @@ GNU Mach and its headers should be built in separate directories: $ mkdir gnumach-build-h $ cd gnumach-build-h -Find the path to your GNU Mach sources (`../gnumach`) and configure -it (the --host flag is needed for 64 bit systems): +Find the path to your GNU Mach sources (`../gnumach`) and configure it: + + $ ../gnumach/configure --prefix= + +Instead, use the --host flag on 64 bit systems: $ ../gnumach/configure --prefix= --host=i686-unknown-linux-gnu diff --git a/microkernel/mach/mig/gnu_mig/building.mdwn b/microkernel/mach/mig/gnu_mig/building.mdwn index 57057d34..9c313b3b 100644 --- a/microkernel/mach/mig/gnu_mig/building.mdwn +++ b/microkernel/mach/mig/gnu_mig/building.mdwn @@ -60,10 +60,15 @@ The Mach Interface Generator has to be built in a separate directory: Find the root directory where you installed GNU Mach's header files and where you now intend to install the Mach Interface Generator (_~/gnu_) and the path to your Mach Interface Generator sources (../mig) and configure it: + $ GNU=~/gnu + $ TARGET_CPPFLAGS=-I"$GNU"/include ../mig/configure + +The --host flag is necessary if you are building on a 64 bit machine: + $ GNU=~/gnu $ TARGET_CPPFLAGS=-I"$GNU"/include ../mig/configure --prefix="$GNU" --host=i686-unknown-linux-gnu -The --host flag above is necessary if you are building on a 64 bit machine. Build and install the Mach Interface Generator into _$GNU_, i.e. _~/gnu/_ in our example: +Build and install the Mach Interface Generator into _$GNU_, i.e. _~/gnu/_ in our example: $ make all install -- cgit v1.2.3