> Subject: Re: Problems compiling from CVS
> To: l4-hackers(a)os.inf.tu-dresden.de
> Message-ID: <20030503220824.GA16869(a)os.inf.tu-dresden.de>
> Content-Type: text/plain; charset=iso-8859-1
>
> Hi,
>
> On Sun May 04, 2003 at 00:42:03 +0200, Daniel Koch is going to write:
> > when I try to compile the hello world servers with "make hello" from
> > your newest cvs version I get the following error:
> >
> > In file included from ../cfg-parse.y:320:
> > <stdout>:23:20: stdint.h: Datei oder Verzeichnis nicht gefunden
>
> Do you have the libc development package with the header files installed
> (something like libc6-dev)?
>
>
>
>
>
>
> Adam
Hi Adam,
the stdint.h file is where it should be: /usr/include/stdint.h
skywalker:/usr/include# ls -la stdint.h
-rw-r--r-- 1 root root 8545 2003-04-19 20:56 stdint.h
skywalker:/usr/include#
I tried compiling it as root, but its just the same problem
Daniel
