Hi, On [09-03-2023 18:42], Lieutenant_Beaver@web.de 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 l4-hackers@os.inf.tu-dresden.de 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.