[mc] Enable Fortran 90 code with model cheking

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

diff --git a/buildtools/Cmake/Modules/FindGFortran.cmake b/buildtools/Cmake/Modules/FindGFortran.cmake
index f034577fc58957d575f7f695a211fad420be1a32..ff01f1769aff7e3d67c00741c73d6d4c8aa33033 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()