Re: [PATCH] improve mig building guide

[Samuel Thibault]

Pasha (biblio), le ven. 02 févr. 2024 18:26:05 +0100, a ecrit:
> From: "pasha (biblio)" <pasha@bell01.com>
> 
> ---
>  microkernel/mach/mig/gnu_mig/building.mdwn | 16 +++++++++++++++-
>  1 file changed, 15 insertions(+), 1 deletion(-)
> 
> diff --git a/microkernel/mach/mig/gnu_mig/building.mdwn 
> b/microkernel/mach/mig/gnu_mig/building.mdwn
> index f335aa73..8f919aa7 100644
> --- a/microkernel/mach/mig/gnu_mig/building.mdwn
> +++ b/microkernel/mach/mig/gnu_mig/building.mdwn
> @@ -84,7 +84,7 @@ 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 --target option:
> +If you want to build 32-bit gnumach on a 64-bit machine, you need to add 
> --target option (i686-gnu or i686-linux-gnu). mig(com) will be build as ELF64 
> binary, but it will generate 32-bit code for gnumach:
>  
>      $ GNU=~/gnu
>      $ TARGET_CPPFLAGS=-I"$GNU"/include ../configure --prefix="$GNU" 
> --target=i686-gnu TARGET_CC=i686-linux-gnu-gcc

I applied that part, thanks!

Samuel