diff options
Diffstat (limited to 'microkernel/mach/mig')
| -rw-r--r-- | microkernel/mach/mig/gnu_mig/building.mdwn | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/microkernel/mach/mig/gnu_mig/building.mdwn b/microkernel/mach/mig/gnu_mig/building.mdwn index 9c313b3b..d2d27bc4 100644 --- a/microkernel/mach/mig/gnu_mig/building.mdwn +++ b/microkernel/mach/mig/gnu_mig/building.mdwn @@ -52,21 +52,20 @@ First, generate the configuration files: $ cd mig $ autoreconf --install -The Mach Interface Generator has to be built in a separate directory: +The Mach Interface Generator should be built in a subdirectory: - $ cd .. $ 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: $ GNU=~/gnu - $ TARGET_CPPFLAGS=-I"$GNU"/include ../mig/configure + $ TARGET_CPPFLAGS=-I"$GNU"/include ../configure The --host flag is necessary if you are building on a 64 bit machine: $ GNU=~/gnu - $ TARGET_CPPFLAGS=-I"$GNU"/include ../mig/configure --prefix="$GNU" --host=i686-unknown-linux-gnu + $ TARGET_CPPFLAGS=-I"$GNU"/include ../configure --prefix="$GNU" --host=i686-unknown-linux-gnu Build and install the Mach Interface Generator into _$GNU_, i.e. _~/gnu/_ in our example: |