Problems to set up Pistachio

Lutz Schönemann <[email protected]> Wed, 1 Oct 2008 14:08:22 +0200
Newsgroups gmane.comp.micro-kernel.l4.l4ka.general
Message-ID <[email protected]>
Hi, all

I've problems to get started with Pistachio. I followed the steps  
described on the site: http://l4ka.org/projects/pistachio/ia32/gettingstarted.php
I'm stuck at the step "Configuring user-level". It is described to run  
the configure script. So I used autoheader and autoconf to create the  
configure script but autoconf returned with:

autoconf: Undefined macros:
configure.in:115:AC_CONFIG_HEADERS([config.h])
configure.in:127:	[AC_HELP_STRING([--with-comport=PORT],
configure.in:136:	[AC_HELP_STRING([--with-comspeed=SPEED],
configure.in:145:	[AC_HELP_STRING([--with-kickstart-linkbase=BASE],
configure.in:150:	[AC_HELP_STRING([--with-s0-linkbase=BASE],
configure.in:155:	[AC_HELP_STRING([--with-roottask-linkbase=BASE],
configure.in:160:	[AC_HELP_STRING([--with-kerneldir=DIR],
configure.in:330:AC_CONFIG_FILES([
configure.in:35:AC_CONFIG_SRCDIR([serv/sigma0/sigma0.cc])

How can I resolve this problem? Are there any arguments to run  
autoheader/autoconf with?

Thanks for help
Lutz Schönemann
smime.p7s (application/pkcs7-signature, 3.6 KB) - not displayed