Hi Ruslan,
There seems to be a race with the CMake configuration of the external libraries that we haven't been able to fix yet.
If you run CMake again, i.e.:
$ cmake .
$ ninja
Then it should pick up the external libpicotcp project and build it.
Regards,
Damon
________________________________
From: Devel on behalf of Russel emkil.minor
Sent: Saturday, 23 May 2020 7:52 PM
To: devel@sel4.systems
Subject: [seL4] Building picoserver example
Dear seL4 developers,
I am trying to built picoserver example https://github.com/seL4/camkes/tree/master/apps/picoserver https://github.com/seL4/camkes/tree/master/apps/picoserver using the following commands:
$ ../init-build.sh -DPLATFORM=x86_64 -DCAMKES_APP=picoserver
$ ninja
But I am getting the following error: fatal error: pico_stack.h: No such file or directory
Looks like I need to install libpicotcp. I found it here https://github.com/seL4/util_libs/tree/master/libpicotcp https://github.com/seL4/util_libs/tree/master/libpicotcp but no idea how to build and link to the example. Can you give me a hint how to proceed?
Best regards,
Ruslan Rezin.
_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel
