summaryrefslogtreecommitdiff
path: root/Mach/BuildingOskitMach.mdwn
diff options
context:
space:
mode:
authorOgnyan Kulev <ogi@fmi.uni-sofia.bg>2002-12-15 13:11:25 +0000
committerOgnyan Kulev <ogi@fmi.uni-sofia.bg>2002-12-15 13:11:25 +0000
commit214e589b7ffccacb157a0204ab606c06ea5765d0 (patch)
treebbe84515ec4cd480a7648873fec0f8818c61b3c3 /Mach/BuildingOskitMach.mdwn
parent78de08583c8bfd3b5f8a5054ffde0ba4d148f9a7 (diff)
none
Diffstat (limited to 'Mach/BuildingOskitMach.mdwn')
-rw-r--r--Mach/BuildingOskitMach.mdwn26
1 files changed, 22 insertions, 4 deletions
diff --git a/Mach/BuildingOskitMach.mdwn b/Mach/BuildingOskitMach.mdwn
index cbda478b..bc033a9b 100644
--- a/Mach/BuildingOskitMach.mdwn
+++ b/Mach/BuildingOskitMach.mdwn
@@ -59,14 +59,12 @@ Check it out using
## <a name="Building"> Building </a>
-To build any Mach kernel you need an interface generator, MiG. To be on the safe side, use the CVS version. Configure and build it according to the instructions in the configure --help.
-
-Continue below with the instructions for building the OSKit and GNUmach. The recommended versions of GCC are
+The recommended versions of GCC are
<dl>
<dt> For the OSKit</dt>
<dd> GCC 2.95.X </dd>
- <dt> For GNUmach</dt>
+ <dt> For GNUmach and <nop>MiG</nop></dt>
<dd> GCC 3.2 </dd>
</dl>
@@ -86,6 +84,24 @@ The attached [[ATTACHURLmodulesx86pc]], or [[ATTACHURLmodules-lightx86pc]], is a
# make
# sudo make install
+### <a name="Mach_Interface_Generator"> Mach Interface Generator </a>
+
+To build any Mach kernel you need an interface generator, MiG. To be on the safe side, use the CVS version. If you use Debian, you can install package [mig-i386-gnu](http://packages.debian.org/mig-i386-gnu). If you don't use Debian or want to compile MiG by yourself on Linux/\*BSD system, you must first install Mach headers. In Mach directory do:
+
+ mkdir build
+ cd build
+ ../configure --prefix=/usr # Default prefix is / !
+ make -k install-headers # -k is for ignoring errors
+
+Now you are ready to compile and install MiG (commands are in Mig's source directory):
+
+ automake --add-missing # Make link to `depcomp'
+ mkdir build
+ cd build
+ ../configure
+ make
+ make install
+
### <a name="GNUmach_2_0_OSKit_Mach_"> </a> GNUmach 2.0 (OSKit-Mach)
Different to its half sister, the OSKit-Mach kernel does _not_ need a cross compiler. The regular gcc for your x86 Linux system does just fine. However, you might want to use gcc 3.2 with the latest and greatest CVS version of Mach.
@@ -148,3 +164,5 @@ _I see, it was not that clear the context of your first comment, well anyhow whe
Updated by: -- [[Main/LuisBustamante]] - 04 Jun 2002
Moving from oskit-branch to HEAD. -- [[Main/JoachimNilsson]] - 05 Jun 2002
+
+Add instructions on compiling MiG. -- [[Main/OgnyanKulev]] - 15 Dec 2002