Add generated mc files to extra dist

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index 7fee383..7695c3c 100644 (file)
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -33,7 +33,9 @@ set(EXTRA_DIST
        src/xbt/datadesc/ddt_parse.yy.h
     src/xbt/automaton/y.tab.c
     src/xbt/automaton/y.tab.h
        src/xbt/datadesc/ddt_parse.yy.h
     src/xbt/automaton/y.tab.c
     src/xbt/automaton/y.tab.h

-    src/xbt/automaton/automaton_parse.yy.c  
+    src/xbt/automaton/automaton_parse.yy.c
+    src/xbt/automaton/parserPromela.lex
+    src/xbt/automaton/parserPromela.yacc

        src/surf/maxmin_private.h
        src/surf/trace_mgr_private.h
        src/surf/surf_private.h
        src/surf/maxmin_private.h
        src/surf/trace_mgr_private.h
        src/surf/surf_private.h


@@ -174,6 +176,7 @@ set(XBT_SRC
        src/xbt/automaton/automatonparse_promela.c
        src/xbt/automaton/automaton.c
        src/xbt/automaton/automaton_create.c
        src/xbt/automaton/automatonparse_promela.c
        src/xbt/automaton/automaton.c
        src/xbt/automaton/automaton_create.c

+       src/xbt/automaton/automaton_create.h

        src/xbt/datadesc/ddt_create.c
        src/xbt/datadesc/ddt_convert.c
        src/xbt/datadesc/ddt_exchange.c
        src/xbt/datadesc/ddt_create.c
        src/xbt/datadesc/ddt_convert.c
        src/xbt/datadesc/ddt_exchange.c

diff --git a/examples/msg/mc/CMakeLists.txt b/examples/msg/mc/CMakeLists.txt
index adb5af4..34cf083 100644 (file)
--- a/examples/msg/mc/CMakeLists.txt
+++ b/examples/msg/mc/CMakeLists.txt
@@ -83,7 +83,6 @@ set(bin_files
   ${CMAKE_CURRENT_SOURCE_DIR}/promela2_centralized_liveness
   ${CMAKE_CURRENT_SOURCE_DIR}/promela_bugged2_liveness
   ${CMAKE_CURRENT_SOURCE_DIR}/promela_centralized_liveness
   ${CMAKE_CURRENT_SOURCE_DIR}/promela2_centralized_liveness
   ${CMAKE_CURRENT_SOURCE_DIR}/promela_bugged2_liveness
   ${CMAKE_CURRENT_SOURCE_DIR}/promela_centralized_liveness

-  

   PARENT_SCOPE
 )
 set(txt_files
   PARENT_SCOPE
 )
 set(txt_files