summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
Diffstat (limited to 'microkernel')
-rw-r--r--microkernel/mach/gnumach/building.mdwn9
-rw-r--r--microkernel/mach/mig/gnu_mig/building.mdwn30
2 files changed, 26 insertions, 13 deletions
diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn
index fcef1a24..0bd554b4 100644
--- a/microkernel/mach/gnumach/building.mdwn
+++ b/microkernel/mach/gnumach/building.mdwn
@@ -12,7 +12,8 @@ You can either use the git repository (see <http://savannah.gnu.org/git/?group=h
$ git clone git.savannah.gnu.org:/srv/git/hurd/gnumach.git
-... or Debian sources, if you're using Debian. (See [here](http://packages.debian.net/source/unstable/gnumach).)
+... or Debian sources, if you're using Debian. (See
+[here](http://packages.debian.net/source/unstable/gnumach).)
$ apt-get source gnumach
@@ -83,9 +84,9 @@ Install the header files into e.g. `~/gnu/include/`:
### Building and Installing
-Building GNU Mach requires you to have the Mach Interface Generator
-installed. See [[building_MIG|mig/gnu_mig/building]] about how to do that, then come
-back here.
+Building GNU Mach requires you to have the Mach Interface Generator installed.
+See [[building_MIG|mig/gnu_mig/building]] about how to do that, then come back
+here.
GNU Mach should be built in a subdirectory create it if you have not already.
diff --git a/microkernel/mach/mig/gnu_mig/building.mdwn b/microkernel/mach/mig/gnu_mig/building.mdwn
index d2d27bc4..f21d504e 100644
--- a/microkernel/mach/mig/gnu_mig/building.mdwn
+++ b/microkernel/mach/mig/gnu_mig/building.mdwn
@@ -1,14 +1,17 @@
# <a name="Building_the_Mach_Interface_Gene"> Building the Mach Interface Generator from Source </a>
-If you want to build the Mach Interface Generator yourself instead of just using a pre-built package, follow these instructions.
+If you want to build the Mach Interface Generator yourself instead of just
+using a pre-built package, follow these instructions.
## <a name="Getting_the_Source_Code"> Getting the Source Code </a>
-You can chose between getting the [sources from the developers' RCS](http://savannah.gnu.org/git/?group=hurd):
+You can chose between getting the [sources from the developers'
+RCS](http://savannah.gnu.org/git/?group=hurd):
$ git clone git://git.savannah.gnu.org:/srv/git/hurd/mig.git
-... or (if you are working on a Debian system) the ones that are used for the [current Debian mig package](http://packages.debian.net/source/unstable/mig):
+... or (if you are working on a Debian system) the ones that are used for the
+[current Debian mig package](http://packages.debian.net/source/unstable/mig):
$ apt-get source mig
@@ -20,7 +23,9 @@ The unpacked source tree is around 1 MiB, and the build tree also is around 1 Mi
### <a name="Preparing_for_the_Build"> Preparing for the Build </a>
-Building the Mach Interface Generator requires the _build-essential_ and _fakeroot_ packages, their dependencies and additional packages that are specified by the source mig package:
+Building the Mach Interface Generator requires the _build-essential_ and
+_fakeroot_ packages, their dependencies and additional packages that are
+specified by the source mig package:
# apt-get install build-essential fakeroot
# apt-get build-dep mig
@@ -35,15 +40,19 @@ Start the build process:
$ dpkg-buildpackage -us -uc -b -rfakeroot
-You can then install / distribute the _.deb_ file which will drop out one directory above the current one.
+You can then install / distribute the _.deb_ file which will drop out one
+directory above the current one.
## <a name="_on_non_Debian_systems"> On non-Debian Systems: </a>
### <a name="Preparing_for_the_Build"> Preparing for the Build </a>
-Building the Mach Interface Generator requires a C compiler, a standard 32 bit C library (with corresponding header files) and your favourite flavor of awk (gawk), yacc (bison), lex (flex) and make.
+Building the Mach Interface Generator requires a C compiler, a standard 32 bit
+C library (with corresponding header files) and your favourite flavor of awk
+(gawk), yacc (bison), lex (flex) and make.
-Additionally, you need to have GNU Mach's header files installed. See [[mach/gnumach/building]] about how to do that, then come back here.
+Additionally, you need to have GNU Mach's header files installed. See
+[[mach/gnumach/building]] about how to do that, then come back here.
### <a name="Building_and_Installing"> Building and Installing </a>
@@ -57,7 +66,9 @@ The Mach Interface Generator should be built in a subdirectory:
$ mkdir mig-build
$ cd mig-build
-Find the root directory where you installed GNU Mach's header files and where you now intend to install the Mach Interface Generator (_~/gnu_) and the path to your Mach Interface Generator sources (../mig) and configure it:
+Find the root directory where you installed GNU Mach's header files and where
+you now intend to install the Mach Interface Generator (_~/gnu_) and the path
+to your Mach Interface Generator sources (../mig) and configure it:
$ GNU=~/gnu
$ TARGET_CPPFLAGS=-I"$GNU"/include ../configure
@@ -71,7 +82,8 @@ Build and install the Mach Interface Generator into _$GNU_, i.e. _~/gnu/_ in our
$ make all install
-To make your _mig_ binary easily available, you should append something like the following to e.g. your _~/.bash\_profile_:
+To make your _mig_ binary easily available, you should append something like
+the following to e.g. your _~/.bash\_profile_:
PATH=~/gnu/bin:$PATH
export PATH