From 615d7a6fdc503a82e7b7ddedf2ac2787772ba806 Mon Sep 17 00:00:00 2001 From: unknown Date: Wed, 11 Jan 2012 11:06:44 +0100 Subject: [PATCH] Add missing headers to simgrid install for windows --- buildtools/Cmake/simgrid.nsi.in | 6 ++++++ 1 file changed, 6 insertions(+) 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 -- 2.20.1