From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Thu, 24 Apr 2014 13:54:04 +0000 (+0200)
Subject: [mc] Enable Fortran 90 code with model cheking
X-Git-Tag: v3_11~102^2~1
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/3c2d4facc5b20b99e974b6fa7f87b67b3357b958

[mc] Enable Fortran 90 code with model cheking
---

diff --git a/buildtools/Cmake/Modules/FindGFortran.cmake b/buildtools/Cmake/Modules/FindGFortran.cmake
index f034577fc5..ff01f1769a 100644
--- a/buildtools/Cmake/Modules/FindGFortran.cmake
+++ b/buildtools/Cmake/Modules/FindGFortran.cmake
@@ -22,8 +22,8 @@ set(SMPI_F90 0)
 if(GFORTRAN_EXE)
   if(NOT SMPI_F2C)
     message("-- Fortran 90 support for smpi also needs f2c.")
-  elseif(HAVE_MC)
-    message("-- Fortran 90 support for smpi is currently not compatible with model checking.")
+  #elseif(HAVE_MC)
+  #  message("-- Fortran 90 support for smpi is currently not compatible with model checking.")
   else()
     set(SMPI_F90 1)
   endif()