model-checker : lex and yacc parsing moved in src/xbt/automaton/

[simgrid.git] / buildtools / Cmake / DefinePackages.cmake

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index 5dde708..95a15b7 100644 (file)
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -16,7 +16,6 @@ set(EXTRA_DIST
        src/xbt/backtrace_windows.c
        src/xbt/backtrace_dummy.c
        src/xbt/setset_private.h
-       src/xbt/automatonparse_promela.c
        src/xbt/mmalloc/mfree.c
        src/xbt/mmalloc/mmalloc.c
        src/xbt/mmalloc/mmalloc.info
@@ -89,12 +88,8 @@ set(EXTRA_DIST
        examples/gras/console/ping.h
        examples/gras/mmrpc/mmrpc.h
        
-    examples/msg/mc/parserPromela.yacc
-    examples/msg/mc/parserPromela.lex
-    examples/msg/mc/automaton.h
     examples/msg/mc/bugged1_liveness.h
     examples/msg/mc/centralized_liveness.h
-    examples/msg/mc/automatonparse_promela.h
     examples/msg/mc/bugged2_liveness.h
     examples/msg/mc/y.tab.h
 
@@ -182,9 +177,13 @@ set(XBT_SRC
        src/xbt/graphxml_parse.c
        src/xbt/setset.c
        src/xbt/parmap.c
-       src/xbt/xbt_replay_trace_reader.c
+       src/xbt/xbt_replay.c
        src/xbt/lib.c
-       src/xbt/automaton.c
+       src/xbt/automaton/automaton.c
+       src/xbt/automaton/automatonparse_promela.c
+       src/xbt/automaton/automaton.c
+       src/xbt/automaton/automatonparse_promela.c
+       src/xbt/automaton/automaton_create.c
        src/xbt/datadesc/ddt_create.c
        src/xbt/datadesc/ddt_convert.c
        src/xbt/datadesc/ddt_exchange.c
@@ -282,6 +281,7 @@ set(MSG_SRC
        src/msg/msg_deployment.c
        src/msg/msg_mailbox.c
        src/msg/msg_actions.c
+       src/msg/msg_vm.c
 )
 
 set(SIMDAG_SRC
@@ -400,6 +400,8 @@ set(headers_to_install
        include/xbt/hash.h
        include/xbt/function_types.h
        include/xbt/asserts.h 
+       include/xbt/automaton.h
+       include/xbt/automatonparse_promela.h
        include/xbt/ex.h
        include/xbt/log.h
        include/xbt/module.h
@@ -424,15 +426,13 @@ set(headers_to_install
        include/xbt/queue.h
        include/xbt/setset.h
        include/xbt/mmalloc.h
-       include/xbt/replay_trace_reader.h
+       include/xbt/replay.h
        include/xbt/parmap.h
-       include/xbt/automaton.h
-       include/xbt/automatonparse_promela.h
        include/xbt/datadesc.h
        include/xbt/socket.h
        include/xbt/file_stat.h
        include/xbt/xbt_os_thread.h
-  include/xbt/RngStream.h
+    include/xbt/RngStream.h
        include/simgrid/platf.h
        include/simgrid/modelchecker.h
        include/simgrid/simix.h