<div dir="auto"><div class="gmail_extra" dir="auto"><div class="gmail_quote">On Jan 30, 2017 20:03, "Sylvain Joubert" <<a href="mailto:joubert.sy@gmail.com">joubert.sy@gmail.com</a>> wrote:<blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="quoted-text">
> c) What is the best<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
approach to make this kind of feature appealing to IDE / UI tools which<br>
currently work with CMake?<br>
<br>
</blockquote>
<br></div>
If I recall correctly, one of the initial use cases for the server mode was exactly that. The very first prototype of Stephen Kelly had this feature and could trace were a variable was last modified, make a diff of the CMake state between two locations in a CMake script,...<br></blockquote></div></div><div dir="auto"><br></div><div dir="auto">I liked the snapshots that were in Stephen Kelly's daemon-mode patch much better than an interactive debugger.</div><div dir="auto"><br></div><div dir="auto">Those much easier to use and visualize for an IDE than having an interactive debugger. And they make much more sense IMHO: You can see state and how that changes in every line instead of just the current one.</div><div dir="auto"><br></div><div class="gmail_extra" dir="auto"><div class="gmail_quote"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I didn't look at your code and I'll let the server mode maintainers give their feedback too but I guess the best way to go would be to jump in server mode to add that. Besides, the server mode is especially designed to be IDE friendly.<br></blockquote></div></div><div dir="auto"><br></div><div dir="auto">I want to add support for snapshots as soon as they are available in cmake.</div><div dir="auto"><br></div><div dir="auto">Is somebody working on the snapshot infrastructure? That is way too deep in core cmake components for me to feel comfortable to implement. I will of course happily write the code to integrate that into server mode:-)</div><div dir="auto"><br></div><div dir="auto">Best Regards,</div><div dir="auto">Tobias</div></div>