Error by building the user-level code

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:



raoul@pluto:~/L4ka/l4ka-pistachio-b675e9a25001/user$autoconf -> to get the configure file



raoul@pluto:~/L4ka/l4ka-pistachio-b675e9a25001/user$autoheader -> to get the config.h.in file



raoul@pluto:~/L4ka/l4ka-pistachio-b675e9a25001/ia32-user-build$
../user/configure --prefix=$(pwd)/../ia32-user-install
--with-kerneldir=../x86-kernel-build/



raoul@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