----- Messaggio originale ----- Da: Adam Lackorzynski adam@os.inf.tu-dresden.de A: l4-hackers@os.inf.tu-dresden.de Inviato: Lunedì 28 maggio 2007, 13:21:55 Oggetto: Re: multiple compilations
On Mon May 28, 2007 at 11:04:55 +0000, Davide Fasoli wrote:
On Mon May 28, 2007 at 09:15:43 +0200, Davide Fasoli wrote:
I've installed fiasco following the step of the howto I've found here(http://os.inf.tu-dresden.de/fiasco/use.html) from this(http://os.inf.tu-dresden.de/drops/download.html) repository, i've tried following the hints you gave me but still no results.
I'm sure you exactly followed the howto but again, what Linux distribution are you using?
Ubuntu 6.10;
I'd also like to know which version of gcc,
gcc 2.95.2 gcc 3.3 gcc 3.4 gcc 4.1
binutils
No
and make
make 3.81
Ok, thanks.
Can please issue 'make -C /home/fasoz/soa/tudos/kernel/fiasco/build V=1' and post the output?
The output is this: make: Entering directory `/home/fasoz/soa/tudos/kernel/fiasco/build' make srcdir=/home/fasoz/soa/tudos/kernel/fiasco/src objbase=/home/fasoz/soa/tudos/kernel/fiasco/build -f /home/fasoz/soa/tudos/kernel/fiasco/src/Makefile.sub1 make[1]: Entering directory `/home/fasoz/soa/tudos/kernel/fiasco/build' Checking compiler config... .Compiler-config is unchanged unchanged. make[1]: Leaving directory `/home/fasoz/soa/tudos/kernel/fiasco/build' make srcdir=/home/fasoz/soa/tudos/kernel/fiasco/src objbase=/home/fasoz/soa/tudos/kernel/fiasco/build -f /home/fasoz/soa/tudos/kernel/fiasco/src/Makefile.sub2 all make[1]: Entering directory `/home/fasoz/soa/tudos/kernel/fiasco/build' if [ -d /home/fasoz/soa/tudos/kernel/fiasco/src/.svn ]; then \ v=`svnversion -nc /home/fasoz/soa/tudos/kernel/fiasco/src`; v=${v%[A-Z]}; \ echo "#define CODE_VERSION "r${v#*:}"" > version.h; \ else \ echo "#define CODE_VERSION "rUNKNOWN"" > version.h; \ fi -e ... Making kip.o g++ -c -MD -MP -MF .kip.cc.d.new -o kip.o \ -nostdinc -I/home/fasoz/soa/tudos/kernel/fiasco/src/types/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/types -I/home/fasoz/soa/tudos/kernel/fiasco/src/drivers/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/drivers -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern/shared -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern -I/home/fasoz/soa/tudos/kernel/fiasco/src/boot -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/libk/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/libk -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/kern/include -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/amm -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/gzip -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/disasm -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/perfctr -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/regex -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/minilibc/ia32/include -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/minilibc/include -I. -Iauto -I/usr/lib/gcc/i486-linux-gnu/4.1.2//include -fno-implement-inlines -mpreferred-stack-boundary=2 -mregparm=3 -march=i586 -fno-defer-pop -freg-struct-return -g -Wall -W -Wformat=2 -ffunction-sections -fomit-frame-pointer -gstabs+ -fno-rtti -fno-exceptions -fno-threadsafe-statics -Wno-non-virtual-dtor -O2 --param large-function-insns=10000 -fweb auto/kip.cc -e ... Making kip-ia32.o g++ -c -MD -MP -MF .kip-ia32.cc.d.new -o kip-ia32.o \ -nostdinc -I/home/fasoz/soa/tudos/kernel/fiasco/src/types/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/types -I/home/fasoz/soa/tudos/kernel/fiasco/src/drivers/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/drivers -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern/shared -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern -I/home/fasoz/soa/tudos/kernel/fiasco/src/boot -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/libk/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/libk -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/kern/include -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/amm -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/gzip -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/disasm -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/perfctr -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/regex -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/minilibc/ia32/include -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/minilibc/include -I. -Iauto -I/usr/lib/gcc/i486-linux-gnu/4.1.2//include -fno-implement-inlines -mpreferred-stack-boundary=2 -mregparm=3 -march=i586 -fno-defer-pop -freg-struct-return -g -Wall -W -Wformat=2 -ffunction-sections -fomit-frame-pointer -gstabs+ -fno-rtti -fno-exceptions -fno-threadsafe-statics -Wno-non-virtual-dtor -O2 --param large-function-insns=10000 -fweb auto/kip-ia32.cc -e ... Making kip-debug.o g++ -c -MD -MP -MF .kip-debug.cc.d.new -o kip-debug.o \ -nostdinc -I/home/fasoz/soa/tudos/kernel/fiasco/src/types/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/types -I/home/fasoz/soa/tudos/kernel/fiasco/src/drivers/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/drivers -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern/shared -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern -I/home/fasoz/soa/tudos/kernel/fiasco/src/boot -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/libk/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/libk -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/kern/include -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/amm -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/gzip -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/disasm -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/perfctr -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/regex -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/minilibc/ia32/include -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/minilibc/include -I. -Iauto -I/usr/lib/gcc/i486-linux-gnu/4.1.2//include -fno-implement-inlines -mpreferred-stack-boundary=2 -mregparm=3 -march=i586 -fno-defer-pop -freg-struct-return -g -Wall -W -Wformat=2 -ffunction-sections -fomit-frame-pointer -gstabs+ -fno-rtti -fno-exceptions -fno-threadsafe-statics -Wno-non-virtual-dtor -O2 --param large-function-insns=10000 -fweb auto/kip-debug.cc -e ... Making kip-ia32-debug.o g++ -c -MD -MP -MF .kip-ia32-debug.cc.d.new -o kip-ia32-debug.o \ -nostdinc -I/home/fasoz/soa/tudos/kernel/fiasco/src/types/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/types -I/home/fasoz/soa/tudos/kernel/fiasco/src/drivers/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/drivers -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern/shared -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern -I/home/fasoz/soa/tudos/kernel/fiasco/src/boot -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/libk/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/libk -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/kern/include -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/amm -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/gzip -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/disasm -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/perfctr -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/regex -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/minilibc/ia32/include -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/minilibc/include -I. -Iauto -I/usr/lib/gcc/i486-linux-gnu/4.1.2//include -fno-implement-inlines -mpreferred-stack-boundary=2 -mregparm=3 -march=i586 -fno-defer-pop -freg-struct-return -g -Wall -W -Wformat=2 -ffunction-sections -fomit-frame-pointer -gstabs+ -fno-rtti -fno-exceptions -fno-threadsafe-statics -Wno-non-virtual-dtor -O2 --param large-function-insns=10000 -fweb auto/kip-ia32-debug.cc -e ==> Archiving into libabi.a rm -f libabi.a ar crs libabi.a kip.o kip-ia32.o kip-debug.o kip-ia32-debug.o l4_types.o l4_types-iofp.o l4_types-32bit.o l4_types-debug.o l4_types-caps.o utcb-ia32-ux.o -e ... Making boot.o gcc -c -MD -MP -MF .boot.S.d.new -o boot.o \ -nostdinc -I/home/fasoz/soa/tudos/kernel/fiasco/src/types/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/types -I/home/fasoz/soa/tudos/kernel/fiasco/src/drivers/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/drivers -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern/shared -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern -I/home/fasoz/soa/tudos/kernel/fiasco/src/boot -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/libk/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/libk -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/kern/include -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/amm -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/gzip -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/disasm -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/perfctr -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/regex -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/minilibc/ia32/include -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/minilibc/include -I. -Iauto -I/usr/lib/gcc/i486-linux-gnu/4.1.2//include -DASSEMBLER /home/fasoz/soa/tudos/kernel/fiasco/src/boot/ia32/boot.S gcc: cannot specify -o with -c or -S and multiple compilations make[1]: *** [boot.o] Error 1 make[1]: Leaving directory `/home/fasoz/soa/tudos/kernel/fiasco/build' make: *** [all] Error 2 make: Leaving directory `/home/fasoz/soa/tudos/kernel/fiasco/build'
Thanks.
Adam Lackorzynski adam@os.inf.tu-dresden.de ha scritto: Hi,
On Fri May 25, 2007 at 13:47:33 +0200, Davide Fasoli wrote:
when running this command from shell
make O=/home/fasoz/soa/tudos/l4/prova
where /home/fasoz/soa/tudos/l4/prova is the installation directory of l4, I had the following text as output:
... make -C build make[2]: Entering directory `/home/fasoz/soa/tudos/kernel/fiasco/build' make srcdir=/home/fasoz/soa/tudos/kernel/fiasco/src objbase=/home/fasoz/soa/tudos/kernel/fiasco/build -f /home/fasoz/soa/tudos/kernel/fiasco/src/Makefile.sub1 make[3]: Entering directory `/home/fasoz/soa/tudos/kernel/fiasco/build' Checking compiler config... unchanged. make[3]: Leaving directory `/home/fasoz/soa/tudos/kernel/fiasco/build' make srcdir=/home/fasoz/soa/tudos/kernel/fiasco/src objbase=/home/fasoz/soa/tudos/kernel/fiasco/build -f /home/fasoz/soa/tudos/kernel/fiasco/src/Makefile.sub2 all make[3]: Entering directory `/home/fasoz/soa/tudos/kernel/fiasco/build' -e ... Making kip.o -e ... Making kip-ia32.o -e ... Making kip-debug.o -e ... Making kip-ia32-debug.o -e ==> Archiving into libabi.a -e ... Ma king boot.o gcc: cannot specify -o with -c or -S and multiple compilations make[3]: *** [boot.o] Error 1 make[3]: Leaving directory `/home/fasoz/soa/tudos/kernel/fiasco/build' make[2]: *** [all] Error 2 make[2]: Leaving directory `/home/fasoz/soa/tudos/kernel/fiasco/build' make[1]: *** [build] Error 2 make[1]: Leaving directory `/home/fasoz/soa/tudos/kernel/fiasco' make: *** [../kernel/fiasco] Error 2
I was wondering about what can cause this error, i spent something like 15 days on this without coping on... could you please help me? I need to install l4 for an exam...
Just plain building the kernel with the default setup works just fine for me. Which distribution are you using? And build with more output with "make V=1". Doing this in the kernel/fiasco/build directory is sufficient.
Adam
On Mon May 28, 2007 at 14:39:43 +0000, Davide Fasoli wrote:
-e ... Making boot.o gcc -c -MD -MP -MF .boot.S.d.new -o boot.o \ -nostdinc -I/home/fasoz/soa/tudos/kernel/fiasco/src/types/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/types -I/home/fasoz/soa/tudos/kernel/fiasco/src/drivers/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/drivers -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern/shared -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern -I/home/fasoz/soa/tudos/kernel/fiasco/src/boot -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/libk/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/libk -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/kern/include -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/amm -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/gzip -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/disasm -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/perfctr -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/regex -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/minilibc/ia32/include -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/minilibc/include -I. -Iauto -I/usr/lib/gcc/i486-linux-gnu/4.1.2//include -DASSEMBLER /home/fasoz/soa/tudos/kernel/fiasco/src/boot/ia32/boot.S gcc: cannot specify -o with -c or -S and multiple compilations
The gcc call looks ok and is the same for me. I don't know why gcc talks about 'multiple compilations', I only see one file to be compiled. The previous compiles seem to work although they use g++ instead of gcc. Anyone else seen this?
Can you try to call the above command in the fiasco build directory and leave out the last argument (/home/fasoz/soa/tudos/kernel/fiasco/src/boot/ia32/boot.S) and see what happens? You could also try to build on another Linux system, if available.
Adam
l4-hackers@os.inf.tu-dresden.de