include/surf/surf.h \
include/surf/surfxml_parse_private.h \
\
- include/xbt/xbt_portability.h \
+ include/xbt/xbt_os_time.h \
include/xbt/xbt_os_thread.h \
include/xbt/context.h \
\
xbt_modinter.h gras_modinter.h \
xbt/xbt_virtu.c \
\
- xbt/sysdep.c \
+ xbt/xbt_os_time.c \
xbt/asserts.c \
xbt/log.c xbt/xbt_log_appender_file.c \
xbt/xbt_log_layout_simple.c xbt/xbt_log_layout_format.c \
xbt/set.c \
xbt/xbt_matrix.c \
\
- xbt/queue.c \
+ xbt/xbt_queue.c \
\
xbt/xbt_peer.c \
\
xbt/graphxml_parse.c
XBT_RL_SRC = \
- xbt/xbt_rl_synchro.c
-
+ xbt/xbt_rl_synchro.c \
+ xbt/xbt_rl_time.c
XBT_SG_SRC = \
- xbt/xbt_sg_synchro.c
+ xbt/xbt_sg_synchro.c \
+ xbt/xbt_sg_time.c
SURF_SRC= \
surf/maxmin.c \