summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Mach/BuildingGNUMach.mdwn31
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]]: