summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--microkernel/mach/gnumach/building.mdwn16
-rw-r--r--microkernel/mach/mig/gnu_mig/building.mdwn7
2 files changed, 10 insertions, 13 deletions
diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn
index 08f4b656..8fc1c7a1 100644
--- a/microkernel/mach/gnumach/building.mdwn
+++ b/microkernel/mach/gnumach/building.mdwn
@@ -61,19 +61,18 @@ First, you have to create the configuartion files:
$ cd gnumach
$ autoreconf --install
-GNU Mach and its headers should be built in separate directories:
+GNU Mach and its headers should be built in a subdirectory:
- $ cd ..
$ mkdir gnumach-build-h
$ cd gnumach-build-h
Find the path to your GNU Mach sources (`../gnumach`) and configure it:
- $ ../gnumach/configure --prefix=
+ $ ../configure --prefix=
-Instead, use the --host flag on 64 bit systems:
+Use the --host flag on 64 bit systems:
- $ ../gnumach/configure --prefix= --host=i686-unknown-linux-gnu
+ $ ../configure --prefix= --host=i686-unknown-linux-gnu
Install the header files into e.g. `~/gnu/include/`:
@@ -85,21 +84,20 @@ Building GNU Mach requires you to have the Mach Interface Generator
installed. See [[building_MIG|mig/gnu_mig/building]] about how to do that, then come
back here.
-GNU Mach should be built in a separate directory:
+GNU Mach should be built in a subdirectory:
- $ cd ..
$ mkdir gnumach-build
$ cd gnumach-build
Find the path to your GNU Mach sources (`../gnumach`) and configure
it:
- $ ../gnumach/configure
+ $ ../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
+ $ ../configure --host=i686-unknown-linux-gnu
Build the kernel image:
diff --git a/microkernel/mach/mig/gnu_mig/building.mdwn b/microkernel/mach/mig/gnu_mig/building.mdwn
index 9c313b3b..d2d27bc4 100644
--- a/microkernel/mach/mig/gnu_mig/building.mdwn
+++ b/microkernel/mach/mig/gnu_mig/building.mdwn
@@ -52,21 +52,20 @@ First, generate the configuration files:
$ cd mig
$ autoreconf --install
-The Mach Interface Generator has to be built in a separate directory:
+The Mach Interface Generator should be built in a subdirectory:
- $ cd ..
$ mkdir mig-build
$ cd mig-build
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
+ $ TARGET_CPPFLAGS=-I"$GNU"/include ../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
+ $ TARGET_CPPFLAGS=-I"$GNU"/include ../configure --prefix="$GNU" --host=i686-unknown-linux-gnu
Build and install the Mach Interface Generator into _$GNU_, i.e. _~/gnu/_ in our example: