On 08/15/2017 04:33 PM, Daniel Pfeifer wrote: > With !977 merged, it is possible to base ccmake and cmake-gui on top > of the cmake server....Shall we proceed in this direction? Yes! That will be a nice separation. It will also reduce the number of places we have to set up `class cmake` instances in the code. Thanks, -Brad