summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
Diffstat (limited to 'microkernel')
-rw-r--r--microkernel/mach/gnumach/building.mdwn7
-rw-r--r--microkernel/mach/mig/gnu_mig/building.mdwn7
2 files changed, 11 insertions, 3 deletions
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
@@ -61,9 +61,14 @@ 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