X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/c05339428d64488dac5a51e900da3d9c2400a077..35f62d21aaa13145012189acb5a84e9011a172e5:/buildtools/Cmake/DefinePackages.cmake diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake index 41c3f365b6..ef6012d616 100644 --- a/buildtools/Cmake/DefinePackages.cmake +++ b/buildtools/Cmake/DefinePackages.cmake @@ -197,6 +197,7 @@ set(XBT_SRC src/xbt/xbt_socket.c src/xbt/xbt_socket_private.h src/xbt/xbt_trp_plugin_tcp.c + src/xbt/RngStream.c ) if(HAVE_MMAP) @@ -281,6 +282,7 @@ set(MSG_SRC src/msg/msg_deployment.c src/msg/msg_mailbox.c src/msg/msg_actions.c + src/msg/msg_vm.c ) set(SIMDAG_SRC @@ -390,11 +392,6 @@ set(MC_SRC src/mc/mc_liveness.c ) -set(RNGSTREAM_SRC - src/rngstreams/RngStream.h - src/rngstreams/RngStream.c -) - set(headers_to_install include/xbt/misc.h include/xbt/sysdep.h @@ -436,6 +433,7 @@ set(headers_to_install include/xbt/socket.h include/xbt/file_stat.h include/xbt/xbt_os_thread.h + include/xbt/RngStream.h include/simgrid/platf.h include/simgrid/modelchecker.h include/simgrid/simix.h @@ -523,7 +521,6 @@ set(simgrid_sources ${AMOK_SRC} ${BINDINGS_SRC} ${JEDULE_SRC} - ${RNGSTREAM_SRC} ) if(HAVE_MC)