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
--
Adam                 adam@os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

_______________________________________________
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers