Hello! I'm trying to configure the user-level code of L4 as written in instruction:
http://l4ka.org/projects/pistachio/ia32/gettingstarted.php
but there is no configure file in the user directory:
debian:/home/svet/l4dev/l4ka-pistachio-081128-01/ia32-user-build# ../user/configure --prefix=../ia32-user-install --with-kerneldir=../x86-kernel-build bash: ../user/configure: No such file or directory
debian:/home/svet/l4dev/l4ka-pistachio-081128-01/ia32-user-build# cd ../user; ls apps config.mk.in configure.in contrib include INSTALL install-sh lib Makefile.in Mk README.HG serv util
In INSTALL file I read that the configure file should be in the main source directory of L4:
<...> The simplest way to compile Pistachio using separate build directories is:
1. Create a directory BUILDDIR to host the build tree.
2. `cd' to the newly created BUILDDIR directory and run the `configure' script located in the main source directory. For example, if you create a directory `SRCDIR/build' and `cd' to this directory, you can run `../configure' to invoke the configure script. <...>
but there is no such file too:
debian:/home/svet/l4dev/l4ka-pistachio-081128-01/user# cd ..; ls AUTHORS contrib doc ia32-user-build kernel tools user x86-kernel-build
What should I do to build the L4?
Also this problem is described in message: http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg03449.html
With the best regards, Svet.