From a7bcd884015d3607e97c75b6b482a55b67e70b81 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Thu, 21 Apr 2011 10:35:11 +0200 Subject: [PATCH] include new files struct automaton for cmake --- buildtools/Cmake/DefinePackages.cmake | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake index 0a03012686..688eab96bd 100644 --- a/buildtools/Cmake/DefinePackages.cmake +++ b/buildtools/Cmake/DefinePackages.cmake @@ -17,6 +17,7 @@ set(EXTRA_DIST src/xbt/backtrace_dummy.c src/xbt/setset_private.h src/xbt/parmap_private.h + src/xbt/automatonparse_promela.c src/xbt/mmalloc/attach.c src/xbt/mmalloc/detach.c src/xbt/mmalloc/keys.c @@ -178,6 +179,7 @@ set(XBT_SRC src/xbt/parmap.c src/xbt/xbt_replay_trace_reader.c src/xbt/lib.c + src/xbt/automaton.c ) if(HAVE_MMAP) @@ -361,6 +363,7 @@ set(MC_SRC src/mc/mc_dpor.c src/mc/mc_request.c src/mc/private.h + src/mc/mc_dfs.c ) set(RNGSTREAM_SRC @@ -403,6 +406,8 @@ set(headers_to_install include/xbt/mmalloc.h include/xbt/replay_trace_reader.h include/xbt/parmap.h + include/xbt/automatonparse_promela.h + include/xbt/automaton.h include/mc/modelchecker.h include/msg/msg.h include/msg/datatypes.h -- 2.20.1