sorry, previous email sent by mistake.

#include "sys/socket.h" actually solved the problem instead of only
"socket.h"

many thanks.

Regards
yk


On Fri, Jun 14, 2019 at 10:30 AM yogidk . <[email protected]> wrote:

> thanks Kent and Peter,
>
> however if I remove
>
>
> On Fri, Jun 14, 2019 at 2:14 AM Mcleod, Kent (Data61, Kensington NSW) <
> [email protected]> wrote:
>
>> >     "../muslibc/include/sys"*         // necessary for compilation as
>> test_2.c has "socket.h"*
>> This line shouldn't be here, and instead socket.h should be included via
>> <sys/socket.h>.  Otherwise many other include directives are going to match
>> on the incorrect files.
>>
>> Kent.
>> ------------------------------
>> *From:* Devel <[email protected]> on behalf of Chubb, Peter
>> (Data61, Kensington NSW) <[email protected]>
>> *Sent:* Friday, 14 June 2019 8:03 AM
>> *To:* yogidk .
>> *Cc:* [email protected]
>> *Subject:* Re: [seL4] camkes error.h include problem
>>
>> >>>>> "yogidk" == yogidk  <[email protected]> writes:
>>
>> yogidk> and another file
>>
>> yogidk> test_2.c which includes "socket.h"
>>
>> yogidk> DeclareCAmkESComponent(test
>> yogidk>    INCLUDES "../muslibc/include/sys"*  // necessary for
>> yogidk>    compilation as test_2.c has "socket.h"*
>>
>> This line means that "#include <errno.h>" picks up sys/errno.h instead
>> of errno.h.
>>
>> Get rid of it.  Instead, do '#include <sys/socket.h> instead of
>> '#include <socket.h>'
>>
>> Peter C
>> --
>> Dr Peter Chubb         Tel: +61 2 9490 5852
>> http://ts.data61.csiro.au/
>> Trustworthy Systems Group                     Data61, CSIRO (formerly
>> NICTA)
>> _______________________________________________
>> Devel mailing list
>> [email protected]
>> https://sel4.systems/lists/listinfo/devel
>>
>
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel

Reply via email to