src/surf/cpu_ti.c
src/surf/cpu_cas01.c
src/surf/sg_platf.c
+ src/surf/storage.c
src/xbt/xbt_sg_stubs.c
)
include/xbt/automaton.h
include/xbt/automatonparse_promela.h
include/xbt/datadesc.h
+ include/xbt/socket.h
include/simgrid/platf.h
include/simgrid/modelchecker.h
include/msg/msg.h