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
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
Hi,
I've installed fiasco following the step of the howto I've found here from this repository, i've tried following the hints you gave me but still no results.
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
Sorry, link.
Hi,
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.
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
Hi,
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? I'd also like to know which version of gcc, binutils and make are you using, and I'd like to see the build done with V=1.
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
l4-hackers@os.inf.tu-dresden.de