file @CMAKE_HOME_DIRECTORY@\include\xbt\mmalloc.h\r
file @CMAKE_HOME_DIRECTORY@\include\xbt\replay_trace_reader.h\r
file @CMAKE_HOME_DIRECTORY@\include\xbt\parmap.h\r
+ file @CMAKE_HOME_DIRECTORY@\include\xbt\automaton.h\r
+ file @CMAKE_HOME_DIRECTORY@\include\xbt\automatonparse_promela.h\r
+\r
+ CreateDirectory $INSTDIR\include\simgrid\r
+ setOutPath $INSTDIR\include\simgrid\r
+ file @CMAKE_HOME_DIRECTORY@\include\simgrid\platf.h\r
\r
CreateDirectory $INSTDIR\include\mc\r
setOutPath $INSTDIR\include\mc\r