summaryrefslogtreecommitdiff
path: root/microkernel/mach/gnumach
diff options
context:
space:
mode:
authorantrik <antrik@users.sf.net>2011-08-04 02:43:29 +0200
committerantrik <antrik@users.sf.net>2011-08-04 02:43:58 +0200
commit9441f7dc189d8489f13b9072b866aa75f9409d0f (patch)
tree45b29f0dae8bb22be77000131895063d6c0b1860 /microkernel/mach/gnumach
parente0f350c7d6e3af901097e43fe2c1bc0efb237f60 (diff)
mach/building: Rearrange bit about installing header files
Instead of treating all the build preparations as part of the header install, make them part of the general build instructions; and only separately mention the specific bit about actually installing the headers. This should make the overall build process easier to follow; and also makes it clearer which bit can be left out if installing the headers is not necessary.
Diffstat (limited to 'microkernel/mach/gnumach')
-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