Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[CMAKE] Ensure that the source tree is not changed by cmake.
authorChristian Heinrich <franz-christian.heinrich@inria.fr>
Wed, 18 Apr 2018 16:05:24 +0000 (18:05 +0200)
committerChristian Heinrich <franz-christian.heinrich@inria.fr>
Wed, 18 Apr 2018 17:19:07 +0000 (19:19 +0200)
commitf0d94f03109c63408bfc4e94ca664c88deeddaaf
tree2b25cfd92732378b9f15ae5f20918bd60b559ddb
parent89d691a83fec54e334b5210106607ae0bba71f06
[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.
tools/cmake/Distrib.cmake
tools/cmake/Documentation.cmake