diff options
Diffstat (limited to 'microkernel')
| -rw-r--r-- | microkernel/mach/gnumach/building.mdwn | 9 | ||||
| -rw-r--r-- | microkernel/mach/mig/gnu_mig/building.mdwn | 30 |
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 |