summaryrefslogtreecommitdiff
path: root/microkernel/mach/gnumach
diff options
context:
space:
mode:
Diffstat (limited to 'microkernel/mach/gnumach')
-rw-r--r--microkernel/mach/gnumach/building.mdwn16
1 files changed, 8 insertions, 8 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]