Second Problem Building L4ENV for L4Linux 2.6.10

Adam Lackorzynski adam at
Tue Mar 8 23:43:33 CET 2005

On Tue Mar 08, 2005 at 12:10:28 -0800, Dennis Newbold wrote:
> Back in the l4 directory, I then typed in "make".  It ran for several
> minutes, and finally failed trying to find an included file in a file named
> generic_io.idl.  Shown below are the last several lines of make output
> preceding and relating to this error:
> -make[3]: Entering directory `/root/l4/pkg/generic_io/idl'
> PWD=/root/l4/pkg/generic_io/idl/OBJ-x86-l4v2 make -C OBJ-x86-l4v2 -f Makefile
> make[4]: Entering directory `/root/l4/pkg/generic_io/idl/OBJ-x86-l4v2'
>  ... Generating generic_io-server.c
> LD_PRELOAD=/root/l4/tool/gendep/
> GENDEP_TARGET="generic_io-server.c generic_io-server.h
> generic_io-client.c generic_io-client.h generic_io-sys.h"
> GENDEP_BINARY=cpp0 GENDEP_DEPFILE=.generic_io.idl.d CC=gcc
> ../../../../tool/dice/src/dice -fl4types -fserver-parameter
> -P-DRAM_BASE=0x0 -P-DSYSTEM_x86_l4v2 -P-DARCH_x86 -P-DCPUTYPE_
> -P-DL4API_l4v2 -P-I../../../../include/x86/l4v2
> -P-I/root/drops/include/x86/l4v2 -P-I../../../../include/l4v2
> -P-I/root/drops/include/l4v2 -P-I../../../../include/x86
> -P-I/root/drops/include/x86 -P-I../../../../include
> -P-I/root/drops/include -P-nostdinc -P-DOSKIT
> -P-I../../../../../oskit10 -P-I../../../../../oskit10/oskit/c
> -P-I/root/drops/include/oskit10
> -P-I/root/drops/include/oskit10/oskit/c
> -P-I/usr/lib/gcc-lib/i386-redhat-linux/3.3.3/include ../generic_io.idl
> In file included from ../generic_io.idl:1:
> dice/dice-corba-types.h:77:26: l4/sys/types.h: No such file or directory
> could not preprocess input file "../generic_io.idl" (returned 256).

So, is there the following link in your tree?
/root/l4/include/x86/l4v2/l4/sys/types.h ?
And does it point to
/root/l4/pkg/l4sys/include/ARCH-x86/L4API-l4v2/types.h ?

If not, try going to l4/pkg/l4sys and do a make there. Does the link
appear then?

Adam                 adam at

More information about the l4-hackers mailing list