Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add option enable_modele-checking.
authornavarrop <navarrop@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Tue, 18 May 2010 09:15:00 +0000 (09:15 +0000)
committernavarrop <navarrop@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Tue, 18 May 2010 09:15:00 +0000 (09:15 +0000)
commit98d107bfe04cb84d7f5fb5a02a2eea51709b47f5
tree644c389ebe311dbaa377b54a92129121290883bd
parentb40bc50744f705943375c49f34e21a4952576b28
Add option enable_modele-checking.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7765 48e7efb5-ca39-0410-a469-dd3cf9ba447f
buildtools/Cmake/src/CMakeCompleteInFiles.txt
buildtools/Cmake/src/CMakeOption.txt
buildtools/Cmake/src/c_gras_config.h.in
src/xbt/mmalloc/mm_legacy.c