Hi Damon:
On Tue, Jun 30, 2020 at 10:51 PM Lee, Damon (Data61, Kensington NSW) < damon....@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 > > [1] https://docs.sel4.systems/projects/dockerfiles/ Thank you very much for your help. Sachin _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
