From 292568a8a3f10b4dd0af994c68fbd2a06944137b Mon Sep 17 00:00:00 2001 From: navarro Date: Fri, 15 Jun 2012 10:46:28 +0200 Subject: [PATCH] Add generated mc files to extra dist --- buildtools/Cmake/DefinePackages.cmake | 5 ++++- examples/msg/mc/CMakeLists.txt | 1 - 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake index 7fee383d08..7695c3c3b6 100644 --- 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/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 @@ -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/automaton_create.h 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 adb5af4a73..34cf083de3 100644 --- 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 - PARENT_SCOPE ) set(txt_files -- 2.20.1