Debian package for Dice and DICE_INCDIR

Adam Lackorzynski adam at
Tue Apr 24 11:53:49 CEST 2007

Hi Neal,

On Tue Apr 24, 2007 at 11:12:07 +0200, Neal H. Walfield wrote:
> When using Adam's Debian package for dice [1], Dice's include files
> are installed in /usr/include.  For L4 ENV to make use of them, I had
> to override DICE_INCDIR.  This has the unfortunate effect of
> essentially making the system header files includable.  This triggers
> the following error:
> As can be seen above -I/usr/include is present on the command line.
> This is due to the expansion of $(DICE_INCDIR).
> To work around this problem, the package could be changed to instead
> install the dice include files under /usr/include/dice such that
> setting DICE_INCDIR to /usr/include/dice would cause the dice header
> files to be made available for inclusion.

It's right that those directories should not be mixed. I've uploaded an
updated package that has a change include path. Thanks for the note.

Adam                 adam at

More information about the l4-hackers mailing list