diff options
Diffstat (limited to 'microkernel/mach/gnumach')
-rw-r--r-- | microkernel/mach/gnumach/building.mdwn | 28 |
1 files changed, 5 insertions, 23 deletions
diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn index 8284639b..eb3e0819 100644 --- a/microkernel/mach/gnumach/building.mdwn +++ b/microkernel/mach/gnumach/building.mdwn @@ -72,11 +72,11 @@ GNU Mach and its headers should be built in a subdirectory: Find the path to your GNU Mach sources (`..`) and configure it: - $ ../configure --prefix= + $ ../configure -Use the --host flag on 64 bit systems: +Use the --host flag and some options on 64 bit systems: - $ ../configure --prefix= --host=i686-unknown-linux-gnu + $ CPP='gcc -m32 -E -x c -undef -ansi' CC='gcc -m32' LD='ld -melf_i386' ../configure --host=i686-unknown-linux-gnu Install the header files into e.g. `~/gnu/include/`: @@ -88,26 +88,8 @@ After you've already installed the header files (above), as well as the the Mach Interface Generator, you may finish building GNU Mach. (See [[building_MIG|mig/gnu_mig/building]], then come back here.) -GNU Mach should be built in a subdirectory create it if you have not already. - - $ mkdir gnumach-build - $ cd gnumach-build - -If you previously ran ../configure for installing the header files, you may run -into a bug when you configure and run make below. If that is the case, empty -the _build_ directory, and reconfigure. - - $ cd gnumach-build - $ rm -rf * - -Find the path to your GNU Mach sources (`..`) and configure it: - - $ ../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' - $ ../configure --host=i686-unknown-linux-gnu +GNU Mach should be built in the subdirectory created above. If you've cleared +your directory since then, you'll need to rerun the configure script. Build the kernel image: |