3 Jul
2020
3 Jul
'20
12:22 a.m.
Hi Damon:
On Tue, Jun 30, 2020 at 10:51 PM Lee, Damon (Data61, Kensington NSW) <
Damon.Lee(a)data61.csiro.au> wrote:
Hi Sachin,
Thank you very much for your help.
Sachin
I am new to L4 and have been working through the
tutorials. However, I am
having a problem doing the hello-camkes-0 tutorial. When I try to install
the tutorial, I get the output below. Looks like a file
hello-camkes-0_build/camkes_gen/deps_1 is not there. Any help would be
greatly appreciated!
I've checked the logs that you provided and it seems that the CMake
configuration failed.
In particular, in the last part of the logs, a Python script which calls
'cmake' to generate some files failed.
It could be that the version of CMake you have is different from the ones
we use which could be causing problems.
We have some docker images [1] which contain all the tools necessary to
build our projects, so you could try using that and see if it works.
Also perhaps try running 'repo sync' to pull the latest sources as well.
Regards,
Damon
[1] https://docs.sel4.systems/projects/dockerfiles/