message(" Compile Smpi f77 ....: ${SMPI_F2C}")
message(" Compile Smpi f90 ....: ${SMPI_F90}")
message(" Compile Static ......: ${enable_lib_static}")
+if(enable_java)
+ message(" Native lib in jar ...: ${enable_lib_in_jar}")
+endif()
message("")
message(" Maintainer mode .....: ${enable_maintainer_mode}")
-message(" Supernovae mode .....: ${enable_supernovae}")
-message(" Model checking ......: ${enable_model-checking}")
+message(" Model checking ......: ${HAVE_MC}")
message(" Tracing mode ........: ${enable_tracing}")
message(" Jedule mode ........: ${enable_jedule}")
message(" Latency bound .......: ${enable_latency_bound_tracking}")