src/include/surf/surf_resource_lmm.h
src/include/xbt/wine_dbghelp.h
src/include/xbt/xbt_os_time.h
- src/include/xbt/xbt_os_thread.h
src/include/mc/datatypes.h
src/include/mc/mc.h
- src/include/simix/context.h
src/msg/msg_private.h
src/msg/msg_mailbox.h
src/simdag/private.h
examples/gras/ping/ping.h
examples/gras/console/ping.h
examples/gras/mmrpc/mmrpc.h
+
+ examples/msg/mc/parserPromela.yacc
+ examples/msg/mc/parserPromela.lex
+ examples/msg/mc/automaton.h
+ examples/msg/mc/bugged1_liveness.h
+ examples/msg/mc/centralized_liveness.h
+ examples/msg/mc/automatonparse_promela.h
+ examples/msg/mc/bugged2_liveness.h
+ examples/msg/mc/y.tab.h
+
+ examples/platforms/content/storage_content.txt
tools/gras/gras_stub_generator.h
tools/tesh/run_context.h
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/datadesc.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
include/msg/msg.h
include/msg/datatypes.h
include/simdag/simdag.h
include/instr/instr.h
include/gras.h
include/xbt.h
- include/simix/simix.h
- include/simix/datatypes.h
- include/simix/context.h
)
set(source_of_generated_headers
include/simgrid_config.h.in
${AMOK_SRC}
${BINDINGS_SRC}
${JEDULE_SRC}
- ${RNGSTREAM_SRC}
)
if(HAVE_MC)
file(GLOB_RECURSE examples_to_install_in_doc
"examples/*.c"
"examples/*.h"
+"examples/*yacc"
+"examples/*lex"
"examples/*.cxx"
"examples/*.hpp"
"examples/*.rb"
"examples/*.xml"
"examples/*README"
)
-
-
set(DOC_SOURCES
doc/install.doc
doc/webcruft/Paje_MSG_screenshot.jpg
doc/webcruft/Paje_MSG_screenshot_thn.jpg
doc/webcruft/poster_thumbnail.png
- doc/webcruft/simgrid_logo.png
+ doc/webcruft/simgrid_logo_2011.png
doc/webcruft/simgrid_logo_small.png
doc/triva-graph_configuration.png
doc/triva-graph_visualization.png