Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add a variable HAVE_MC for enable model-checking.
authornavarrop <navarrop@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Thu, 27 May 2010 14:32:18 +0000 (14:32 +0000)
committernavarrop <navarrop@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Thu, 27 May 2010 14:32:18 +0000 (14:32 +0000)
commitc7f3c30ef936dacf568b44009d3948c8dc64228c
tree624f6c8f9dc080a943f75cf86f4554147d6c9e77
parent554145f555b981fd5760349c5910f169055babec
Add a variable HAVE_MC for enable model-checking.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7802 48e7efb5-ca39-0410-a469-dd3cf9ba447f
buildtools/Cmake/AddTests.cmake
buildtools/Cmake/CompleteInFiles.cmake
buildtools/Cmake/DefinePackages.cmake
buildtools/Cmake/MakeExeLib.cmake
buildtools/Cmake/gras_config.h.in
src/msg/global.c
src/simix/smx_network.c
src/surf/surf.c