diff options
| author | antrik <antrik@users.sf.net> | 2011-08-04 02:43:29 +0200 |
|---|---|---|
| committer | antrik <antrik@users.sf.net> | 2011-08-04 02:43:58 +0200 |
| commit | 9441f7dc189d8489f13b9072b866aa75f9409d0f (patch) | |
| tree | 45b29f0dae8bb22be77000131895063d6c0b1860 /microkernel/mach/gnumach | |
| parent | e0f350c7d6e3af901097e43fe2c1bc0efb237f60 (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.mdwn | 10 |
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 |