Hi Bruce,
The clang bugs would have been referring to the camkes-accelerator, a cache tool for building camkes projects, only gcc is supported for building seL4 and user-level programs.
The cmake support for sel4test is being regularly used internally so feel free to post issues that you are having with it here.
Kind regards,
Kent
________________________________
From: Devel on behalf of Bruce Mitchener
Sent: Wednesday, March 28, 2018 2:05 PM
To: devel@sel4.systems
Subject: [seL4] Status of cmake support?
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
