summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--microkernel/mach/gnumach/building.mdwn10
1 files changed, 4 insertions, 6 deletions
diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn
index 490c5497..5f53d83d 100644
--- a/microkernel/mach/gnumach/building.mdwn
+++ b/microkernel/mach/gnumach/building.mdwn
@@ -55,11 +55,6 @@ You can now reboot your computer and enjoy the new kernel.
Building GNU Mach requires a C compiler, a _static_ 32 bit standard C library and
your favourite flavor of awk (gawk) and GNU make.
-### Installing the Header Files First
-
-In order to build GNU Mach, you must build and install MIG, which requires that
-you install the GNU Mach header files:
-
First, create the configuartion files:
$ cd gnumach
@@ -78,7 +73,10 @@ Use the --host flag and some options on 64 bit systems:
$ CPP='gcc -m32 -E -x c -undef -ansi' CC='gcc -m32' LD='ld -melf_i386' ../configure --prefix= --host=i686-unknown-linux-gnu
-Install the header files into e.g. `~/gnu/include/`:
+### Installing the Header Files First
+
+In order to build GNU Mach, you must build and install MIG, which requires that
+you install the GNU Mach header files, for example into `~/gnu/include/`:
$ make DESTDIR=~/gnu install-data