-if(enable_supernovae AND enable_model-checking)
- set(enable_model-checking false CACHE TYPE INTERNAL FORCE)
- message("\n\nWith supernovae mode the model checking must be disable.!!!\n\n")
-endif(enable_supernovae AND enable_model-checking)
+if(WIN32)
+ option(enable_smpi "Whether SMPI in included in library." off)
+ option(enable_smpi_MPICH3_testsuite "Whether the test suite form MPICH 3 should be built" off)
+else()
+ option(enable_smpi "Whether SMPI in included in library." on)
+ option(enable_smpi_MPICH3_testsuite "Whether the test suite form MPICH 3 should be built" off)
+endif()
+option(enable_smpi_ISP_testsuite "Whether the test suite from ISP should be built." off)