diff options
author | Andrew Engelbrecht <sudoman@ninthfloor.org> | 2011-08-03 17:51:47 -0400 |
---|---|---|
committer | Andrew Engelbrecht <sudoman@ninthfloor.org> | 2011-08-03 17:51:47 -0400 |
commit | 3e8cd4e4f6cf824e79e7eedf4af4d95f020f3e18 (patch) | |
tree | c4f3461d136b9c9bd237a04492199f2c641581f0 /microkernel | |
parent | 0a00caab9e037e46a3ca6d579fe1cfb4f752c6cb (diff) |
mentioned why header files must be installed.
Diffstat (limited to 'microkernel')
-rw-r--r-- | microkernel/mach/gnumach/building.mdwn | 7 |
1 files changed, 5 insertions, 2 deletions
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] |