From 3e8cd4e4f6cf824e79e7eedf4af4d95f020f3e18 Mon Sep 17 00:00:00 2001 From: Andrew Engelbrecht Date: Wed, 3 Aug 2011 17:51:47 -0400 Subject: mentioned why header files must be installed. --- microkernel/mach/gnumach/building.mdwn | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'microkernel') diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn index 015046e6..fcef1a24 100644 --- a/microkernel/mach/gnumach/building.mdwn +++ b/microkernel/mach/gnumach/building.mdwn @@ -54,7 +54,10 @@ 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 only the Header Files +### 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, you have to create the configuartion files: @@ -115,6 +118,6 @@ Optionally run the (tiny) test suite: You can then install and use `gnumach.gz`. -[TODO.] +[TODO] -- cgit v1.2.3