I'm writing this mail about some problem i had during the l4 microkernel installation..

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...

thanks in advance

Davide Fasoli


L'email della prossima generazione? Puoi averla con la nuova Yahoo! Mail