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