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