X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/d6a9c9386c5b610524ddfc4b503042e63215f9d2..1c6ecd7825422241dd932318a4ba03c3df1de985:/buildtools/Cmake/simgrid.nsi.in

diff --git a/buildtools/Cmake/simgrid.nsi.in b/buildtools/Cmake/simgrid.nsi.in
index 2b31dc2e0a..ab736c8a1b 100644
--- a/buildtools/Cmake/simgrid.nsi.in
+++ b/buildtools/Cmake/simgrid.nsi.in
@@ -91,6 +91,12 @@ Section "Libraries and Headers" LibSection
 	file @CMAKE_HOME_DIRECTORY@\include\xbt\mmalloc.h
 	file @CMAKE_HOME_DIRECTORY@\include\xbt\replay_trace_reader.h
 	file @CMAKE_HOME_DIRECTORY@\include\xbt\parmap.h
+	file @CMAKE_HOME_DIRECTORY@\include\xbt\automaton.h
+	file @CMAKE_HOME_DIRECTORY@\include\xbt\automatonparse_promela.h
+
+	CreateDirectory  $INSTDIR\include\simgrid
+	setOutPath $INSTDIR\include\simgrid
+	file @CMAKE_HOME_DIRECTORY@\include\simgrid\platf.h
 	
 	CreateDirectory  $INSTDIR\include\mc
 	setOutPath $INSTDIR\include\mc