Hallo,
I want to get running the l4ka::pistachio on my Debian system. By
reading the online document "Getting Started with l4ka::pistachio on
ia32", I have follow the instruction but when a try to build the
user-level code (when i type the make command) i get the following error:
make[1]: Entering directory
`/home/raoul/L4ka/l4ka-pistachio-b675e9a25001/ia32-user-build/lib'
make[2]: Entering directory
`/home/raoul/L4ka/l4ka-pistachio-b675e9a25001/ia32-user-build/lib/l4'
make[2]: Für das Ziel »all« ist nichts zu tun.
make[2]: Leaving directory
`/home/raoul/L4ka/l4ka-pistachio-b675e9a25001/ia32-user-build/lib/l4'
make[2]: Entering directory
`/home/raoul/L4ka/l4ka-pistachio-b675e9a25001/ia32-user-build/lib/io'
make[2]: *** Keine Regel vorhanden, um das Target »config.h«,
benötigt von »ia32-getc.o«, zu erstellen. Schluss.
make[2]: Leaving directory
`/home/raoul/L4ka/l4ka-pistachio-b675e9a25001/ia32-user-build/lib/io'
make[1]: *** [subdirs-all] Fehler 2
make[1]: Leaving directory
`/home/raoul/L4ka/l4ka-pistachio-b675e9a25001/ia32-user-build/lib'
make: *** [subdirs-all] Fehler 2
Please, could anyone tell me what I am doing bad
I have enter the following command when trying the step2: build user-level to
run:
ra...@pluto:~/L4ka/l4ka-pistachio-b675e9a25001/user$autoconf -> to get the
configure file
ra...@pluto:~/L4ka/l4ka-pistachio-b675e9a25001/user$autoheader -> to get the
config.h.in file
ra...@pluto:~/L4ka/l4ka-pistachio-b675e9a25001/ia32-user-build$
../user/configure --prefix=$(pwd)/../ia32-user-install
--with-kerneldir=../x86-kernel-build/
ra...@pluto:~/L4ka/l4ka-pistachio-b675e9a25001/ia32-user-build$ make -> At this
stage I get the above given error message
Thank you for your response.
Raoul
