diff options
author | Thomas Schwinge <tschwinge@gnu.org> | 2006-03-15 14:40:00 +0000 |
---|---|---|
committer | Thomas Schwinge <tschwinge@gnu.org> | 2006-03-15 14:40:00 +0000 |
commit | 177301f7048918bc7d5592d9db06c3526bb4a086 (patch) | |
tree | 97fa16356a86a50c0ff37408019b6a3135453e29 /Mach/BuildingGNUMach.mdwn | |
parent | 7a9239ba1a007caad81a2ea9287df8134921d439 (diff) |
none
Diffstat (limited to 'Mach/BuildingGNUMach.mdwn')
-rw-r--r-- | Mach/BuildingGNUMach.mdwn | 31 |
1 files 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 @@ # <a name="Building_GNUMach_GNU_Mach_from_S"> </a> Building [[GNUMach]] from Source -## <a name="_on_Debian_Using_the_Debian_Repo"> ... on Debian / Using the Debian Repository </a> +## <a name="Getting_the_Source_Code"> Getting the Source Code </a> -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 +## <a name="Building_GNUMach_GNU_Mach_"> </a> Building [[GNUMach]] + +### <a name="_on_Debian"> ... on Debian </a> + +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]]: |