Hello!

I've been looking at doing some builds with cmake and ninja experimentally
again.

Is anyone else doing this?

I noticed that some bugs are being filed about warnings from clang, but I
was only able to get some of the cmake + ninja stuff working when I used
gcc. How are people using clang?

So far, I haven't gotten a working build with cmake of sel4-tests. Is there
a good way to trouble shoot this or should I post more detailed info in a
thread on this list?

Thanks,

 - Bruce
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel

Reply via email to