Re: building x86-32

Hi,

On [09-03-2023 18:42], [email protected] wrote:
>    Hello,
>     
>    I try to build a x86-32 image on 20.04.1-Ubuntu x86_64.
>    Doing 'make setup' and select ia32 gives this output:
>    #
>    # configuration written to .kconfig
>    #
>    All build tools checked ok.
>    gcc -fPIC -Wall -pedantic -g -m64 -c
>    /home/b/l4re-snapshot-22.04.0/src/l4/tool/gendep/deptrack.c -o
>    /home/b/l4re-snapshot-22.04.0/obj/l4/x86/tool/gendep/deptrack.64.o
>    gcc -fPIC -Wall -pedantic -g -m64 -c
>    /home/b/l4re-snapshot-22.04.0/src/l4/tool/gendep/syscall.c -o
>    /home/b/l4re-snapshot-22.04.0/obj/l4/x86/tool/gendep/syscall.64.o
>    gcc -m64 -shared -Wl,--no-as-needed
>    -Wl,-soname,/home/b/l4re-snapshot-22.04.0/obj/l4/x86/tool/gendep/64/libgendep.so
>    -ldl -o
>    /home/b/l4re-snapshot-22.04.0/obj/l4/x86/tool/gendep/64/libgendep.so
>    /home/b/l4re-snapshot-22.04.0/obj/l4/x86/tool/gendep/deptrack.64.o
>    /home/b/l4re-snapshot-22.04.0/obj/l4/x86/tool/gendep/syscall.64.o
>     
>    Notice 'gcc -m64'! And also the object-files are '*.64.o'
>    Is there a fault in the Makefile?
>    Shouldn't it be m32?

This is correct. The output you mentioned here is from building some host
tools that are needed by the L4Re build system.

Best,
Matthias.

>     
>    Thanks
>    B.

> _______________________________________________
> l4-hackers mailing list
> [email protected]
> https://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers


-- 
Matthias Lange                      phone: +49 (0) 351-41 888 614
Senior Operating Systems Engineer   web: https://www.kernkonzept.com

Kernkonzept GmbH
Buchenstraße 16b
01097 Dresden

Geschäftsführer: Dr.-Ing. Michael Hohmuth
Registergericht: Amtsgericht Dresden
Handelsregister: HRB 31129

You might not be working when I am and that's ok! Please make sure to only
reply when it suits you. Mails can wait.