X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/9abff0e56874d585e463f05fe2c1fe78ccd7fcd6..20862fe41dadbc23c96c578e5a8595203b4bda81:/buildtools/Cmake/DefinePackages.cmake

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index 09eb99040c..7695c3c3b6 100644
--- 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
@@ -833,3 +837,50 @@ buildtools/Cmake/src/gras_config.h.in
 buildtools/Cmake/src/simgrid.nsi.in
 CMakeLists.txt
 )
+
+set(PLATFORMS_EXAMPLES
+examples/platforms/bypassASroute.xml
+examples/platforms/bypassRoute.xml
+examples/platforms/cloud.xml
+examples/platforms/cluster_and_one_host.xml
+examples/platforms/cluster_no_backbone.xml
+examples/platforms/cluster_routing_rulebased.xml
+examples/platforms/clusters_routing_full.xml
+examples/platforms/cluster.xml
+examples/platforms/config.xml
+examples/platforms/data_center.xml
+examples/platforms/g5k.xml
+examples/platforms/griffon.xml
+examples/platforms/multicore_machine.xml
+examples/platforms/prop.xml
+examples/platforms/storage.xml
+examples/platforms/vivaldi.xml
+examples/platforms/conf/gridpp_grid_2004.conf
+examples/platforms/conf/gridpp_grid_2004.xml
+examples/platforms/conf/lcg_sept2004_grid.conf
+examples/platforms/conf/lcg_sept2004_grid.xml
+examples/platforms/conf/transform_optorsim_platform.pl
+examples/platforms/content/storage_content.txt
+examples/platforms/generation_scripts/create_hierarchical_clusters.pl
+examples/platforms/generation_scripts/enhancedDTDwithHierarchicalCluster.pl
+examples/platforms/generation_scripts/generate_g5k_platform_cabinets.pl
+examples/platforms/generation_scripts/generate_g5k_platform.pl
+examples/platforms/syscoord/generate_peer_platform.pl
+examples/platforms/syscoord/median_harvard.syscoord
+examples/platforms/syscoord/median_harvard.xml
+examples/platforms/syscoord/median_meridian.syscoord
+examples/platforms/syscoord/median_meridian.xml
+examples/platforms/syscoord/median_p2psim.syscoord
+examples/platforms/syscoord/median_p2psim.xml
+)
+
+set(generated_src_files
+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})
+  set_source_files_properties(${file} PROPERTIES GENERATED true)
+endforeach(file ${generated_src_files})