Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fb331c1) | patch
Inform user when model-checking has been disabled because of HAVE_MMALLOC.
authorArnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Tue, 18 Feb 2014 17:15:43 +0000 (18:15 +0100)
committerArnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Tue, 18 Feb 2014 17:15:59 +0000 (18:15 +0100)
commit27fd1b6757249487b365cc7fda4d79e5fa117811
treeb9868d0fd04ca56c2b89743a5670103267c1b892tree | snapshot
parentfb331c1b87db5b62f64c6d92e1822a67288d04bfcommit | diff
Inform user when model-checking has been disabled because of HAVE_MMALLOC.

Also use HAVE_MC instead on enable_model-checking in cmake's final report.
buildtools/Cmake/CompleteInFiles.cmake diff | blob | history
buildtools/Cmake/PrintArgs.cmake diff | blob | history
Clone of SimGrid repository with local patches