summaryrefslogtreecommitdiff
path: root/microkernel/mach/gnumach/building.mdwn
diff options
context:
space:
mode:
Diffstat (limited to 'microkernel/mach/gnumach/building.mdwn')
-rw-r--r--microkernel/mach/gnumach/building.mdwn16
1 files changed, 7 insertions, 9 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: