model-checker : examples updated with new lex and yacc parsing

[simgrid.git] / buildtools / Cmake / simgrid.nsi.in

diff --git a/buildtools/Cmake/simgrid.nsi.in b/buildtools/Cmake/simgrid.nsi.in
index 7407773..bb18c71 100644 (file)
--- a/buildtools/Cmake/simgrid.nsi.in
+++ b/buildtools/Cmake/simgrid.nsi.in
@@ -92,13 +92,14 @@ Section "Libraries and Headers" LibSection
        file @CMAKE_HOME_DIRECTORY@\include\xbt\queue.h\r
        file @CMAKE_HOME_DIRECTORY@\include\xbt\setset.h\r
        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
        file @CMAKE_HOME_DIRECTORY@\include\xbt\datadesc.h\r
        file @CMAKE_HOME_DIRECTORY@\include\xbt\socket.h\r
        file @CMAKE_HOME_DIRECTORY@\include\xbt\file_stat.h\r
+    file @CMAKE_HOME_DIRECTORY@\include\xbt\xbt_os_thread.h\r
+    file @CMAKE_HOME_DIRECTORY@\include\xbt\RngStream.h\r
 \r
        CreateDirectory  $INSTDIR\include\simgrid\r
        setOutPath $INSTDIR\include\simgrid\r
@@ -213,11 +214,11 @@ Section "Java Bindings" JavaSection
        # install java library and examples\r
        CreateDirectory $INSTDIR\examples\simgrid-java\r
        setOutPath $INSTDIR\lib\r
-       file "$%SIMGRID_JAVA_SRC%\build\SG_java.dll"\r
-       file "$%SIMGRID_JAVA_SRC%\build\SG_java.def"\r
-       file "$%SIMGRID_JAVA_SRC%\simgrid.jar"\r
+       file /nonfatal "$%SIMGRID_JAVA_SRC%\build\SG_java.dll"\r
+       file /nonfatal "$%SIMGRID_JAVA_SRC%\build\SG_java.def"\r
+       file /nonfatal "$%SIMGRID_JAVA_SRC%\simgrid.jar"\r
        setOutPath $INSTDIR\examples\simgrid-java\r
-       file /r "$%SIMGRID_JAVA_SRC%\examples\"\r
+       file /nonfatal /r "$%SIMGRID_JAVA_SRC%\examples\"\r
        # create shortcuts in the start menu programs directory\r
        createShortCut  "$SMPROGRAMS\SimGrid @SIMGRID_VERSION_MAJOR@.@SIMGRID_VERSION_MINOR@.@SIMGRID_VERSION_PATCH@\Examples\Java project.lnk" "$INSTDIR\examples\simgrid-java"\r
        # create a popup box, with an OK button"\r