Debian package for Dice and DICE_INCDIR
adam at os.inf.tu-dresden.de
Tue Apr 24 11:53:49 CEST 2007
On Tue Apr 24, 2007 at 11:12:07 +0200, Neal H. Walfield wrote:
> When using Adam's Debian package for dice , 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 os.inf.tu-dresden.de
More information about the l4-hackers