model-checker : add min and max values for MC_RANDOM simcall

[simgrid.git] / buildtools / Cmake / DefinePackages.cmake

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index fef3030..dab01cd 100644 (file)
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -204,6 +204,7 @@ set(SMPI_SRC
   src/smpi/colls/gather-ompi.c
   src/smpi/colls/reduce_scatter-ompi.c
   src/smpi/colls/reduce_scatter-mpich.c
+  src/smpi/colls/smpi_automatic_selector.c
   src/smpi/colls/scatter-ompi.c
   src/smpi/colls/barrier-ompi.c
   )
@@ -894,6 +895,7 @@ set(EXAMPLES_CMAKEFILES_TXT
   examples/simdag/dax/CMakeLists.txt
   examples/simdag/dot/CMakeLists.txt
   examples/simdag/goal/CMakeLists.txt
+  examples/simdag/io/CMakeLists.txt
   examples/simdag/metaxml/CMakeLists.txt
   examples/simdag/properties/CMakeLists.txt
   examples/simdag/scheduling/CMakeLists.txt
@@ -935,7 +937,7 @@ if(SMPI_F2C)
     teshsuite/smpi/mpich3-test/f77/ext/CMakeLists.txt
     teshsuite/smpi/mpich3-test/f77/init/CMakeLists.txt
     teshsuite/smpi/mpich3-test/f90/coll/CMakeLists.txt
-    teshsuite/smpi/mpich3-test/f9077/pt2pt/CMakeLists.txt
+    teshsuite/smpi/mpich3-test/f90/pt2pt/CMakeLists.txt
     teshsuite/smpi/mpich3-test/f90/datatype/CMakeLists.txt
     teshsuite/smpi/mpich3-test/f90/init/CMakeLists.txt
   )