src/amok/PeerManagement/peermanagement.c
)
+set(BINDINGS_SRC
+ src/bindings/bindings_global.c
+)
+
set(LUA_SRC
src/bindings/lua/simgrid_lua.c
src/bindings/lua/lua_task.c
include/xbt/automatonparse_promela.h
include/xbt/datadesc.h
include/xbt/socket.h
+ include/xbt/file_stat.h
include/simgrid/platf.h
include/simgrid/modelchecker.h
include/msg/msg.h
${GRAS_COMMON_SRC}
${GRAS_SG_SRC}
${AMOK_SRC}
+ ${BINDINGS_SRC}
${JEDULE_SRC}
${RNGSTREAM_SRC}
)
#doc/index-API.doc
doc/index.doc
+ ${CMAKE_HOME_DIRECTORY}/doc/logcategories.doc
doc/module-amok.doc
doc/module-gras.doc
doc/module-msg.doc