From 3c2d4facc5b20b99e974b6fa7f87b67b3357b958 Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Thu, 24 Apr 2014 15:54:04 +0200 Subject: [PATCH] [mc] Enable Fortran 90 code with model cheking --- buildtools/Cmake/Modules/FindGFortran.cmake | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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() -- 2.20.1