summaryrefslogtreecommitdiff
path: root/microkernel/mach
diff options
context:
space:
mode:
Diffstat (limited to 'microkernel/mach')
-rw-r--r--microkernel/mach/gnumach/building.mdwn28
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: