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)
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
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
${AMOK_SRC}
${BINDINGS_SRC}
${JEDULE_SRC}
- ${RNGSTREAM_SRC}
)
if(HAVE_MC)