On Fri, Jun 24, 2016 at 4:56 PM, Tobias Hunger <tobias.hun...@gmail.com> wrote: > Hi Brad, > > On Thu, Jun 23, 2016 at 10:46 PM, Brad King <brad.k...@kitware.com> wrote: >>> * This is currently used to set sourcedirectory, builddirectory and >>> generator. >>> >>> These three should be passed in via the command line instead, again >>> to avoid trouble with users switching to different build >>> directories/etc. >>> while the daemon is running, which might trigger problems with state >>> cleanup, etc. >> >> Currently cmake-gui supports switching generators, build trees, etc., so >> there is some precedent for such switching within a single process. If >> we have (re-)initialization bugs they should simply be fixed. > > So you opt for enabling the cmake-server to switch between different > build directories?
Clients who need this feature could simply restart the server in the new directory. -- Powered by www.kitware.com Please keep messages on-topic and check the CMake FAQ at: http://www.cmake.org/Wiki/CMake_FAQ Kitware offers various services to support the CMake community. For more information on each offering, please visit: CMake Support: http://cmake.org/cmake/help/support.html CMake Consulting: http://cmake.org/cmake/help/consulting.html CMake Training Courses: http://cmake.org/cmake/help/training.html Visit other Kitware open-source projects at http://www.kitware.com/opensource/opensource.html Follow this link to subscribe/unsubscribe: http://public.kitware.com/mailman/listinfo/cmake-developers
