From 177301f7048918bc7d5592d9db06c3526bb4a086 Mon Sep 17 00:00:00 2001 From: Thomas Schwinge Date: Wed, 15 Mar 2006 14:40:00 +0000 Subject: none --- Mach/BuildingGNUMach.mdwn | 31 ++++++++++++++++++++----------- 1 file changed, 20 insertions(+), 11 deletions(-) diff --git a/Mach/BuildingGNUMach.mdwn b/Mach/BuildingGNUMach.mdwn index a5257f08..e67acf8b 100644 --- a/Mach/BuildingGNUMach.mdwn +++ b/Mach/BuildingGNUMach.mdwn @@ -1,24 +1,33 @@ # Building [[GNUMach]] from Source -## ... on Debian / Using the Debian Repository +## Getting the Source Code -If you have already installed Debian GNU/Hurd and you want to compile the [[GNUMach]] kernel from the Debian package's source instead of installing the binary, follow these instructions. +You can chose between getting the [sources from the developers's RCS](http://www.gnu.org/software/hurd/gnumach-download.html#cvs): -You can also build [[GNUMach]] from Debian GNU/Linux in the same way, extract the kernel from the resulting _.deb_ file and then copy the compressed gnumach kernel onto your GNU/Hurd partition to _/boot/gnumach.gz_. + $ cvs -z3 -d:pserver:anonymous@cvs.savannah.gnu.org:/sources/hurd co -r gnumach-1-branch gnumach -First, make sure that this line is included in your _/etc/apt/sources.list_: +(Most probably you want to get hold of the _GNU Mach 1 branch_ and not the trunk, which is also what we've done above.) - deb-src http://ftp.debian.org/debian unstable main +... or (if you are working on a Debian system) the ones that are used for the [current Debian gnumach package](http://packages.debian.net/source/unstable/gnumach): -Install additional needed packages: + $ apt-get source gnumach - # apt-get update - # apt-get build-dep gnumach - # apt-get install fakeroot +Please see [[Distrib/DebianFAQ]] before using _apt-get source_. -Download the source from the Debian repository (the source usually differs to the source in the official GNU repository, additional patches are applied for example): +The unpacked source tree is around [TODO]MiB, and the build tree (with all drivers enabled) is around [TODO]MiB. - $ apt-get source gnumach +## Building [[GNUMach]] + +### ... on Debian + +If you have already installed Debian GNU/Hurd and you want to compile the [[GNUMach]] kernel from the Debian package's source instead of installing the binary, follow these instructions. + +You can also build [[GNUMach]] from Debian GNU/Linux in the same way, extract the kernel from the resulting _.deb_ file and then copy the compressed gnumach kernel onto your GNU/Hurd partition to _/boot/gnumach.gz_. + +Install additional needed packages: + + # apt-get install build-essential fakeroot + # apt-get build-dep gnumach Building [[GNUMach]]: -- cgit v1.2.3