X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/b8ba0bc2f48c6b9b96dfedd8fd383b941d5fdd0b..98c0dbd4424a6a8177167b573791d25dd01b447d:/buildtools/Cmake/DefinePackages.cmake

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index eaf168dc70..73dd6acb88 100644
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -244,6 +244,7 @@ set(SURF_SRC
 	src/surf/cpu_ti.c
 	src/surf/cpu_cas01.c
 	src/surf/sg_platf.c
+	src/surf/storage.c
 	src/xbt/xbt_sg_stubs.c
 )
 
@@ -425,7 +426,7 @@ set(headers_to_install
 	include/xbt/automatonparse_promela.h
 	include/xbt/datadesc.h
 	include/simgrid/platf.h
-	include/mc/modelchecker.h
+	include/simgrid/modelchecker.h
 	include/msg/msg.h
 	include/msg/datatypes.h
 	include/simdag/simdag.h