Tell full directory for ddt_parse.yy.c

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

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index bf142df..f09be93 100644 (file)
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -31,6 +31,11 @@ set(EXTRA_DIST
        src/xbt/mmalloc/test/mmalloc_test.c
        src/xbt/datadesc/ddt_parse.yy.l
        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/parserPromela.lex
+    src/xbt/automaton/parserPromela.yacc
        src/surf/maxmin_private.h
        src/surf/trace_mgr_private.h
        src/surf/surf_private.h
@@ -84,7 +89,6 @@ set(EXTRA_DIST
        src/smpi/README
        src/mk_supernovae.pl
        
-
        tools/gras/gras_stub_generator.h
        tools/tesh/run_context.h  
        tools/tesh/tesh.h
@@ -169,10 +173,10 @@ set(XBT_SRC
        src/xbt/parmap.c
        src/xbt/xbt_replay.c
        src/xbt/lib.c
-       src/xbt/automaton/automaton.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
@@ -871,7 +875,10 @@ examples/platforms/syscoord/median_p2psim.xml
 )
 
 set(generated_src_files
-src/xbt/datadesc/ddt_parse.yy.c
+${CMAKE_HOME_DIRECTORY}/src/xbt/datadesc/ddt_parse.yy.c
+src/xbt/automaton/y.tab.c
+src/xbt/automaton/y.tab.h
+src/xbt/automaton/automaton_parse.yy.c
 )
 
 foreach(file ${generated_src_files})