diff options
| -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 |