diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2024-02-02 11:09:27 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2024-02-02 11:09:27 +0100 |
| commit | 748769b223416d8643365164019d2565f4943b6c (patch) | |
| tree | 165cb5c6035dc04e3d0fbdc354420060fc171c7e | |
| parent | 8f5bb209f3fa58895cd0aca263335cf397cc9290 (diff) | |
Better properly name the cross-built mig
| -rw-r--r-- | microkernel/mach/mig/gnu_mig/building.mdwn | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/microkernel/mach/mig/gnu_mig/building.mdwn b/microkernel/mach/mig/gnu_mig/building.mdwn index 38788375..f335aa73 100644 --- a/microkernel/mach/mig/gnu_mig/building.mdwn +++ b/microkernel/mach/mig/gnu_mig/building.mdwn @@ -84,10 +84,10 @@ configure: $ GNU=~/gnu $ TARGET_CPPFLAGS=-I"$GNU"/include ../configure --prefix="$GNU" -If you are building on a 64 bit machine, you need to add a --host option: +If you are building on a 64 bit machine, you need to add a --target option: $ GNU=~/gnu - $ TARGET_CPPFLAGS=-I"$GNU"/include ../configure --prefix="$GNU" --host=i686-linux-gnu + $ TARGET_CPPFLAGS=-I"$GNU"/include ../configure --prefix="$GNU" --target=i686-gnu TARGET_CC=i686-linux-gnu-gcc Build and install the Mach Interface Generator into _$GNU_ (i.e. _~/gnu/_ in our example): |