diff options
Diffstat (limited to 'microkernel/mach')
| -rw-r--r-- | microkernel/mach/gnumach/building.mdwn | 16 | ||||
| -rw-r--r-- | microkernel/mach/mig/gnu_mig/building.mdwn | 2 |
2 files changed, 9 insertions, 9 deletions
diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn index 0bd554b4..8284639b 100644 --- a/microkernel/mach/gnumach/building.mdwn +++ b/microkernel/mach/gnumach/building.mdwn @@ -52,7 +52,7 @@ You can now reboot your computer and enjoy the new kernel. ### Preparing for the Build -Building GNU Mach requires a C compiler, a static 32 bit standard C library and +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 @@ -60,7 +60,7 @@ your favourite flavor of awk (gawk) and GNU make. 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: +First, create the configuartion files: $ cd gnumach $ autoreconf --install @@ -84,9 +84,9 @@ Install the header files into e.g. `~/gnu/include/`: ### Building and Installing -Building GNU Mach requires you to have the Mach Interface Generator installed. -See [[building_MIG|mig/gnu_mig/building]] about how to do that, then come back -here. +After you've already installed the header files (above), as well as the the +Mach Interface Generator, you may finish building GNU Mach. (See +[[building_MIG|mig/gnu_mig/building]], then come back here.) GNU Mach should be built in a subdirectory create it if you have not already. @@ -94,8 +94,8 @@ GNU Mach should be built in a subdirectory create it if you have not already. $ cd gnumach-build If you previously ran ../configure for installing the header files, you may run -into a bug when you configure and run make below. If that is the case, run "rm --rf *" in the _build_ directory, and reconfigure. +into a bug when you configure and run make below. If that is the case, empty +the _build_ directory, and reconfigure. $ cd gnumach-build $ rm -rf * @@ -117,7 +117,7 @@ Optionally run the (tiny) test suite: $ make check -You can then install and use `gnumach.gz`. +You can now install and use `gnumach.gz`. [TODO] diff --git a/microkernel/mach/mig/gnu_mig/building.mdwn b/microkernel/mach/mig/gnu_mig/building.mdwn index f21d504e..6d17e7ef 100644 --- a/microkernel/mach/mig/gnu_mig/building.mdwn +++ b/microkernel/mach/mig/gnu_mig/building.mdwn @@ -52,7 +52,7 @@ C library (with corresponding header files) and your favourite flavor of awk (gawk), yacc (bison), lex (flex) and make. Additionally, you need to have GNU Mach's header files installed. See -[[mach/gnumach/building]] about how to do that, then come back here. +[[building GNU Mach|mach/gnumach/building]] about how to do that, then come back here. ### <a name="Building_and_Installing"> Building and Installing </a> |