Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

[simgrid.git] / buildtools / Cmake / Modules / FindGFortran.cmake

diff --git a/buildtools/Cmake/Modules/FindGFortran.cmake b/buildtools/Cmake/Modules/FindGFortran.cmake
index f034577..ff01f17 100644 (file)
--- 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()