various ignorable cosmetics

diff --git a/docs/source/Tutorial_Algorithms.rst b/docs/source/Tutorial_Algorithms.rst
index 7ec4f47..11eebf7 100644 (file)
--- a/docs/source/Tutorial_Algorithms.rst
+++ b/docs/source/Tutorial_Algorithms.rst
@@ -482,7 +482,7 @@ timing. ``put()`` and ``get()`` are matched regardless of their
 initiators' location and then the real communication occures between
 the involved parties.
 
 initiators' location and then the real communication occures between
 the involved parties.
 

-Please refer to the full `API of Mailboxes
+Please refer to the full `Mailboxes' documentation

 <app_s4u.html#s4u-mailbox>`_ for more details.
 
 
 <app_s4u.html#s4u-mailbox>`_ for more details.
 
 

diff --git a/tools/cmake/Option.cmake b/tools/cmake/Option.cmake
index 3295e0b..05b60a7 100644 (file)
--- a/tools/cmake/Option.cmake
+++ b/tools/cmake/Option.cmake
@@ -40,14 +40,13 @@ option(enable_jedule         "Jedule output of SimDAG." off)
 
 if(WIN32)
   option(enable_smpi "Whether SMPI is included in the library." off)
 
 if(WIN32)
   option(enable_smpi "Whether SMPI is included in the library." off)

-  option(enable_smpi_MPICH3_testsuite "Whether the test suite form MPICH 3 should be built" off)

 else()
   option(enable_smpi "Whether SMPI is included in the library." on)
   # PAPI does not support windows (they did in 3.7, but not anymore in 5.x)
   # See http://icl.cs.utk.edu/papi/custom/index.html?lid=62&slid=96
   option(enable_smpi_papi    "Whether SMPI supports PAPI bindings." off)
 else()
   option(enable_smpi "Whether SMPI is included in the library." on)
   # PAPI does not support windows (they did in 3.7, but not anymore in 5.x)
   # See http://icl.cs.utk.edu/papi/custom/index.html?lid=62&slid=96
   option(enable_smpi_papi    "Whether SMPI supports PAPI bindings." off)

-  option(enable_smpi_MPICH3_testsuite "Whether the test suite form MPICH 3 should be built" off)

 endif()
 endif()

+option(enable_smpi_MPICH3_testsuite "Whether the test suite form MPICH 3 should be built" off)

 option(enable_smpi_ISP_testsuite "Whether the test suite from ISP should be built." off)
 
 # Internal targets used by jenkins
 option(enable_smpi_ISP_testsuite "Whether the test suite from ISP should be built." off)
 
 # Internal targets used by jenkins