summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
authorAndrew Engelbrecht <sudoman@ninthfloor.org>2011-08-02 22:44:26 -0400
committerAndrew Engelbrecht <sudoman@ninthfloor.org>2011-08-02 22:44:26 -0400
commit8ab4c8bd7df48a2d4aeb7ab09e6e7400b5d0efe2 (patch)
tree21c4b99f0c98a9e851811f123beaf3cf1f697d59 /microkernel
parent0724e2c67077fc768e2fef76da45078d4bca4026 (diff)
Rearranged instructions for building gnumach
Diffstat (limited to 'microkernel')
-rw-r--r--microkernel/mach/gnumach/building.mdwn71
1 files changed, 38 insertions, 33 deletions
diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn
index 8b851dde..d1f4a497 100644
--- a/microkernel/mach/gnumach/building.mdwn
+++ b/microkernel/mach/gnumach/building.mdwn
@@ -14,10 +14,6 @@ See <http://savannah.gnu.org/git/?group=hurd>.
$ git clone git.savannah.gnu.org:/srv/git/hurd/gnumach.git
-You then have to create the automatically generatable files:
-
- $ ( cd gnumach && autoreconf --install )
-
### What Debian is currently using
See [here](http://packages.debian.net/source/unstable/gnumach).
@@ -26,9 +22,9 @@ See [here](http://packages.debian.net/source/unstable/gnumach).
Please see the Debian [[running/debian/FAQ]] before using `apt-get source`.
-## Preparing for the Build
+## On Debian Systems:
-### ... on Debian systems
+### Preparing for the Build
Building GNU Mach requires the *build-essential* and *fakeroot* packages, their
dependencies and additional packages that are specified by the source gnumach
@@ -37,7 +33,27 @@ package:
# apt-get install build-essential fakeroot
# apt-get build-dep gnumach
-### ... on non-Debian systems
+### Building and Installing ... Debian `.deb` files
+
+Change into the directory with the downloaded / unpacked GNU Mach sources, e.g.
+
+ $ cd gnumach-20050801
+
+Start the build process with
+
+ $ dpkg-buildpackage -us -uc -b -rfakeroot
+
+[[GNU_Mach|gnumach]] is now building. To use the new kernel, you must install the
+resulting `.deb` package which is located one directory above the build
+directory and has a similar name as the build directory, e.g.
+
+ # dpkg -i ../gnumach_20050801-4_hurd-i386.deb
+
+You can now reboot your computer and enjoy the new kernel.
+
+## On non-Debian Systems:
+
+### Preparing for the Build
Apart from the case that you only want to install GNU Mach's header files (see
below), building GNU Mach requires you to have the Mach Interface Generator
@@ -47,27 +63,30 @@ back here.
Additionally, building GNU Mach requires a C compiler, a standard C library and
your favourite flavor of awk (gawk) and GNU make.
-## Building and Installing
+### Preparation:
-### ... Debian `.deb` files
+You first have to create the automatically generatable files:
-Change into the directory with the downloaded / unpacked GNU Mach sources, e.g.
+ $ cd gnumach
+ $ autoreconf --install
- $ cd gnumach-20050801
+### Installing only the Header Files
-Start the build process with
+GNU Mach should be built in a separate directory:
- $ dpkg-buildpackage -us -uc -b -rfakeroot
+ $ mkdir gnumach-build
+ $ cd gnumach-build
-[[GNU_Mach|gnumach]] is now building. To use the new kernel, you must install the
-resulting `.deb` package which is located one directory above the build
-directory and has a similar name as the build directory, e.g.
+Find the path to your GNU Mach sources (`[...]/gnumach-1-branch`) and configure
+it:
- # dpkg -i ../gnumach_20050801-4_hurd-i386.deb
+ $ [...]/gnumach-1-branch/configure --prefix=
-You can now reboot your computer and enjoy the new kernel.
+Install the header files into e.g. `~/gnu/include/`:
+
+ $ make DESTDIR=~/gnu install-data## Building and Installing
-### [TODO]
+### Building and Installing
GNU Mach should be built in a separate directory:
@@ -91,18 +110,4 @@ You can then install and use `gnumach.gz`.
[TODO.]
-### Installing only the Header Files
-
-GNU Mach should be built in a separate directory:
-
- $ mkdir gnumach-build
- $ cd gnumach-build
-
-Find the path to your GNU Mach sources (`[...]/gnumach-1-branch`) and configure
-it:
-
- $ [...]/gnumach-1-branch/configure --prefix=
-
-Install the header files into e.g. `~/gnu/include/`:
- $ make DESTDIR=~/gnu install-data