From 9441f7dc189d8489f13b9072b866aa75f9409d0f Mon Sep 17 00:00:00 2001 From: antrik Date: Thu, 4 Aug 2011 02:43:29 +0200 Subject: 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. --- microkernel/mach/gnumach/building.mdwn | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) (limited to 'microkernel') 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 -- cgit v1.2.3