diff options
| author | Andrew Engelbrecht <sudoman@ninthfloor.org> | 2011-08-03 17:26:13 -0400 |
|---|---|---|
| committer | Andrew Engelbrecht <sudoman@ninthfloor.org> | 2011-08-03 17:26:13 -0400 |
| commit | 1aaae16a0242a1251b3b5c779513cf92d97a9f85 (patch) | |
| tree | 324f893f2e95f78f1c7141e410d9f4fc84fc8b8f /microkernel/mach/gnumach | |
| parent | 54be920b239d3cc8c7308c572bdedd9f2ef27a60 (diff) | |
MIG and Gnumach should be build in subdirectories
Diffstat (limited to 'microkernel/mach/gnumach')
| -rw-r--r-- | microkernel/mach/gnumach/building.mdwn | 16 |
1 files changed, 7 insertions, 9 deletions
diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn index 08f4b656..8fc1c7a1 100644 --- a/microkernel/mach/gnumach/building.mdwn +++ b/microkernel/mach/gnumach/building.mdwn @@ -61,19 +61,18 @@ First, you have to create the configuartion files: $ cd gnumach $ autoreconf --install -GNU Mach and its headers should be built in separate directories: +GNU Mach and its headers should be built in a subdirectory: - $ cd .. $ mkdir gnumach-build-h $ cd gnumach-build-h Find the path to your GNU Mach sources (`../gnumach`) and configure it: - $ ../gnumach/configure --prefix= + $ ../configure --prefix= -Instead, use the --host flag on 64 bit systems: +Use the --host flag on 64 bit systems: - $ ../gnumach/configure --prefix= --host=i686-unknown-linux-gnu + $ ../configure --prefix= --host=i686-unknown-linux-gnu Install the header files into e.g. `~/gnu/include/`: @@ -85,21 +84,20 @@ 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 separate directory: +GNU Mach should be built in a subdirectory: - $ cd .. $ mkdir gnumach-build $ cd gnumach-build Find the path to your GNU Mach sources (`../gnumach`) and configure it: - $ ../gnumach/configure + $ ../configure If you are building on a 64 bit system, do the following instead: $ CPP='gcc -m32 -E -x c -undef -ansi' CC='gcc -m32' LD='ld -melf_i386' - $ ../gnumach/configure --host=i686-unknown-linux-gnu + $ ../configure --host=i686-unknown-linux-gnu Build the kernel image: |