[mc] Enable Fortran 90 code with model cheking

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.")
 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()
   else()
     set(SMPI_F90 1)
   endif()