Any reason you aren't using the Docker image to build everything?

https://github.com/SEL4PROJ/seL4-CAmkES-L4v-dockerfiles


On Tue, Dec 4, 2018, 8:26 PM Dave Richards <dave@synergy.org wrote:

I thought I got all of the host dependencies installed, but evidently I am doing something wrong.  I am building on Debian 9 (x86_64) system.  I ran the init script from the build directory with the –DPLATFORM=x86_64 and –DSIMULATION=0 options.  I then ran ninja with no options.  Please find attached the output of running these 2 steps.  I’d appreciate a gentle nudge in the right direction.

 

                Thanks!

 

                Dave

 

_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel