Am 18.03.2009 um 17:10 schrieb Marcel Selhorst:
Hi l4-hackers,
Hi Marcel,
I am currently having some issues with dice-3.3:
First of all, the dice-generated code differs in header- and client file, meaning that the header defines functions with
int DICE_CV somefunction()
while the outcoming c-file is
int somefunction()
This leads to compile errors due to conflicting declarations...
I attached a patch for DICE. Could you check if it fixes this problem?
Btw.: With which flags do you call gcc (we are talking about C here, right?) and which compiler version are you using?
[...]
Carsten