set(XBT_SG_SRC
src/xbt/xbt_sg_synchro.c
- src/xbt/xbt_sg_time.c
)
set(SMPI_SRC
set(XBT_SRC
- src/gras_modinter.h
src/xbt/RngStream.c
src/xbt/automaton/automaton.c
src/xbt/automaton/automatonparse_promela.c
${SIMIX_SRC}
${SURF_SRC}
${TRACING_SRC}
+ ${XBT_SG_SRC}
${XBT_SRC}
)