Hi Damon:
On Tue, Jun 30, 2020 at 10:51 PM Lee, Damon (Data61, Kensington NSW) < Damon.Lee@data61.csiro.au> wrote:
Hi 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
Thank you very much for your help. Sachin