[CMAKE] Ensure that the source tree is not changed by cmake.

This changeset allows us to use
  cmake -DCMAKE_DISABLE_SOURCE_CHANGES=ON .

when building simgrid.

diff --git a/tools/cmake/Distrib.cmake b/tools/cmake/Distrib.cmake
index 02751db..3ce90b5 100644 (file)
--- a/tools/cmake/Distrib.cmake
+++ b/tools/cmake/Distrib.cmake
@@ -3,8 +3,8 @@
 #########################################
 
 # doc
-file(MAKE_DIRECTORY ${CMAKE_HOME_DIRECTORY}/doc/html/)
-install(DIRECTORY "${CMAKE_HOME_DIRECTORY}/doc/html/"
+file(MAKE_DIRECTORY ${CMAKE_BINARY_DIR}/doc/html/)
+install(DIRECTORY "${CMAKE_BINARY_DIR}/doc/html/"
   DESTINATION doc/simgrid/html/)
 
 # binaries

diff --git a/tools/cmake/Documentation.cmake b/tools/cmake/Documentation.cmake
index a2eeb0d..e9fd4fd 100644 (file)
--- a/tools/cmake/Documentation.cmake
+++ b/tools/cmake/Documentation.cmake
@@ -42,7 +42,7 @@ if(enable_documentation)
     add_dependencies(documentation error_doxygen)
   endif()
 
-  configure_file(${CMAKE_HOME_DIRECTORY}/doc/Doxyfile.in ${CMAKE_HOME_DIRECTORY}/doc/Doxyfile @ONLY)
+  configure_file(${CMAKE_HOME_DIRECTORY}/doc/Doxyfile.in ${CMAKE_BINARY_DIR}/doc/Doxyfile @ONLY)
 
   foreach(file ${DOC_FIGS})
     string(REPLACE ".fig" ".png" tmp_file ${file})