From 8ab4c8bd7df48a2d4aeb7ab09e6e7400b5d0efe2 Mon Sep 17 00:00:00 2001 From: Andrew Engelbrecht Date: Tue, 2 Aug 2011 22:44:26 -0400 Subject: Rearranged instructions for building gnumach --- microkernel/mach/gnumach/building.mdwn | 71 ++++++++++++++++++---------------- 1 file 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 . $ 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 -- cgit v1.2.3