multiple compilations

Adam Lackorzynski adam at os.inf.tu-dresden.de
Mon May 28 13:21:55 CEST 2007


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?


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




More information about the l4-hackers mailing list