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.
Hi Svet, L4-hackers is the wrong mailing list for L4Ka issues; I've CC:'ed the correct one.
You have to build configure using the programs "autoheader" and "autoconf" Please read README.HG for instructions.
-Jan
-- Jan Stoess System Architecture Group University of Karlsruhe Phone: +49 (721) 608-4056 Fax: +49 (721) 608-7664 eMail: stoess@ira.uka.de
l4-hackers@os.inf.tu-dresden.de