1 ### define source packages
4 src/amok/Bandwidth/bandwidth_private.h
5 src/amok/amok_modinter.h
6 src/gras/Transport/transport_interface.h
7 src/gras/Virtu/virtu_interface.h
8 src/gras/Virtu/virtu_private.h
9 src/gras/Virtu/virtu_rl.h
10 src/gras/Virtu/virtu_sg.h
11 src/include/mc/datatypes.h
13 src/include/simgrid/platf_interface.h
14 src/include/surf/datatypes.h
15 src/include/surf/maxmin.h
16 src/include/surf/random_mgr.h
17 src/include/surf/surf.h
18 src/include/surf/surf_resource.h
19 src/include/surf/surf_resource_lmm.h
20 src/include/surf/surfxml_parse_values.h
21 src/include/surf/trace_mgr.h
22 src/include/xbt/wine_dbghelp.h
23 src/include/xbt/xbt_os_time.h
32 src/simix/smx_host_private.h
33 src/simix/smx_io_private.h
34 src/simix/smx_network_private.h
35 src/simix/smx_private.h
36 src/simix/smx_process_private.h
37 src/simix/smx_smurf_private.h
38 src/simix/smx_synchro_private.h
41 src/smpi/smpi_mpi_dt_private.h
42 src/surf/cpu_ti_private.h
43 src/surf/gtnets/gtnets_interface.h
44 src/surf/gtnets/gtnets_simulator.h
45 src/surf/gtnets/gtnets_topology.h
46 src/surf/maxmin_private.h
47 src/surf/network_gtnets_private.h
48 src/surf/network_ns3_private.h
49 src/surf/network_private.h
50 src/surf/ns3/my-point-to-point-helper.h
51 src/surf/ns3/ns3_interface.h
52 src/surf/ns3/ns3_simulator.h
53 src/surf/ns3/red-queue.h
55 src/surf/simgrid_dtd.c
56 src/surf/storage_private.h
57 src/surf/surf_private.h
58 src/surf/surf_routing_private.h
59 src/surf/surfxml_parse.c
60 src/surf/trace_mgr_private.h
61 src/xbt/automaton/automaton_lexer.yy.c
62 src/xbt/automaton/parserPromela.lex
63 src/xbt/automaton/parserPromela.tab.cacc
64 src/xbt/automaton/parserPromela.tab.hacc
65 src/xbt/automaton/parserPromela.yacc
66 src/xbt/backtrace_dummy.c
67 src/xbt/backtrace_linux.c
68 src/xbt/backtrace_windows.c
69 src/xbt/datadesc/ddt_parse.yy.h
70 src/xbt/datadesc/ddt_parse.yy.l
71 src/xbt/dict_private.h
72 src/xbt/ex_interface.h
73 src/xbt/fifo_private.h
74 src/xbt/graph_private.h
77 src/xbt/graphxml_parse.c
78 src/xbt/heap_private.h
80 src/xbt/mallocator_private.h
81 src/xbt/mmalloc/mfree.c
83 src/xbt/mmalloc/mm_diff.c
84 src/xbt/mmalloc/mm_legacy.c
85 src/xbt/mmalloc/mm_module.c
86 src/xbt/mmalloc/mmalloc.c
87 src/xbt/mmalloc/mmalloc.info
88 src/xbt/mmalloc/mmalloc.texi
89 src/xbt/mmalloc/mmorecore.c
90 src/xbt/mmalloc/mmprivate.h
91 src/xbt/mmalloc/mmtrace.awk
92 src/xbt/mmalloc/mrealloc.c
93 src/xbt/mmalloc/test/mmalloc_test.c
94 src/xbt/setset_private.h
95 tools/gras/gras_stub_generator.h
96 tools/tesh/run_context.h
101 src/xbt/xbt_rl_synchro.c
102 src/xbt/xbt_rl_time.c
106 src/xbt/xbt_sg_synchro.c
107 src/xbt/xbt_sg_time.c
112 src/smpi/smpi_bench.c
117 src/smpi/smpi_global.c
118 src/smpi/smpi_group.c
120 src/smpi/smpi_mpi_dt.c
122 src/smpi/smpi_replay.c
127 src/gras/Msg/rl_msg.c
128 src/gras/Transport/rl_transport.c
129 src/gras/Virtu/rl_dns.c
130 src/gras/Virtu/rl_emul.c
131 src/gras/Virtu/rl_process.c
133 src/xbt/xbt_os_thread.c
139 src/xbt/automaton/automaton.c
140 src/xbt/automaton/automatonparse_promela.c
143 src/xbt/datadesc/cbps.c
144 src/xbt/datadesc/datadesc.c
145 src/xbt/datadesc/datadesc_interface.h
146 src/xbt/datadesc/datadesc_private.h
147 src/xbt/datadesc/ddt_convert.c
148 src/xbt/datadesc/ddt_create.c
149 src/xbt/datadesc/ddt_exchange.c
150 src/xbt/datadesc/ddt_parse.c
151 src/xbt/datadesc/ddt_parse.yy.c
153 src/xbt/dict_cursor.c
160 src/xbt/graphxml_parse.c
170 src/xbt/xbt_log_appender_file.c
171 src/xbt/xbt_log_layout_format.c
172 src/xbt/xbt_log_layout_simple.c
175 src/xbt/xbt_os_time.c
181 src/xbt/xbt_socket_private.h
183 src/xbt/xbt_strbuff.c
184 src/xbt/xbt_synchro.c
185 src/xbt/xbt_trp_plugin_tcp.c
198 src/surf/gtnets/gtnets_interface.cc
199 src/surf/gtnets/gtnets_simulator.cc
200 src/surf/gtnets/gtnets_topology.cc
201 src/surf/network_gtnets.c
205 src/surf/network_ns3.c
206 src/surf/ns3/my-point-to-point-helper.cc
207 src/surf/ns3/ns3_interface.cc
208 src/surf/ns3/ns3_simulator.cc
209 src/surf/ns3/red-queue.cc
215 src/surf/fair_bottleneck.c
219 src/surf/network_constant.c
220 src/surf/random_mgr.c
224 src/surf/surf_action.c
225 src/surf/surf_config.c
226 src/surf/surf_model.c
227 src/surf/surf_routing.c
228 src/surf/surf_routing_cluster.c
229 src/surf/surf_routing_dijkstra.c
230 src/surf/surf_routing_floyd.c
231 src/surf/surf_routing_full.c
232 src/surf/surf_routing_generic.c
233 src/surf/surf_routing_none.c
234 src/surf/surf_routing_rulebased.c
235 src/surf/surf_routing_vivaldi.c
236 src/surf/surfxml_parse.c
237 src/surf/surfxml_parseplatf.c
239 src/surf/workstation.c
240 src/surf/workstation_ptask_L07.c
241 src/xbt/xbt_sg_stubs.c
245 src/simix/smx_context.c
246 src/simix/smx_context_base.c
247 src/simix/smx_context_raw.c
248 src/simix/smx_deployment.c
249 src/simix/smx_environment.c
250 src/simix/smx_global.c
253 src/simix/smx_network.c
254 src/simix/smx_process.c
255 src/simix/smx_smurf.c
256 src/simix/smx_synchro.c
261 src/msg/msg_actions.c
263 src/msg/msg_deployment.c
264 src/msg/msg_environment.c
269 src/msg/msg_mailbox.c
270 src/msg/msg_process.c
276 src/simdag/sd_daxloader.c
277 src/simdag/sd_global.c
280 src/simdag/sd_workstation.c
284 ${SIMDAG_SRC} src/simdag/sd_dotloader.c
288 ${EXTRA_DIST} src/simdag/sd_dotloader.c
293 src/gras/Msg/gras_msg_exchange.c
294 src/gras/Msg/gras_msg_listener.c
295 src/gras/Msg/gras_msg_mod.c
296 src/gras/Msg/gras_msg_types.c
297 src/gras/Msg/msg_interface.h
298 src/gras/Msg/msg_private.h
301 src/gras/Transport/transport.c
302 src/gras/Transport/transport_plugin_file.c
303 src/gras/Transport/transport_private.h
304 src/gras/Virtu/gras_module.c
305 src/gras/Virtu/process.c
311 src/gras/Msg/sg_msg.c
312 src/gras/Transport/sg_transport.c
313 src/gras/Transport/transport_plugin_sg.c
314 src/gras/Virtu/sg_dns.c
315 src/gras/Virtu/sg_emul.c
316 src/gras/Virtu/sg_process.c
320 src/amok/Bandwidth/bandwidth.c
321 src/amok/Bandwidth/saturate.c
322 src/amok/PeerManagement/peermanagement.c
327 src/bindings/bindings_global.c
328 src/bindings/lua/lua_private.h
329 src/bindings/lua/lua_state_cloner.h
330 src/bindings/lua/lua_utils.h
331 src/bindings/lua/simgrid_lua.h
335 src/bindings/lua/lua_comm.c
336 src/bindings/lua/lua_host.c
337 src/bindings/lua/lua_platf.c
338 src/bindings/lua/lua_process.c
339 src/bindings/lua/lua_state_cloner.c
340 src/bindings/lua/lua_stub_generator.c
341 src/bindings/lua/lua_task.c
342 src/bindings/lua/lua_utils.c
343 src/bindings/lua/simgrid_lua.c
347 src/instr/instr_config.c
348 src/instr/instr_interface.c
349 src/instr/instr_msg_process.c
350 src/instr/instr_msg_vm.c
351 src/instr/instr_msg_task.c
352 src/instr/instr_paje_containers.c
353 src/instr/instr_paje_trace.c
354 src/instr/instr_paje_types.c
355 src/instr/instr_paje_values.c
356 src/instr/instr_private.h
357 src/instr/instr_resource_utilization.c
358 src/instr/instr_routing.c
359 src/instr/instr_smpi.c
360 src/instr/instr_surf.c
364 include/instr/jedule/jedule_events.h
365 include/instr/jedule/jedule_output.h
366 include/instr/jedule/jedule_platform.h
367 include/instr/jedule/jedule_sd_binding.h
368 src/instr/jedule/jedule_events.c
369 src/instr/jedule/jedule_output.c
370 src/instr/jedule/jedule_platform.c
371 src/instr/jedule/jedule_sd_binding.c
375 src/mc/mc_checkpoint.c
384 src/mc/test/compare_snapshot.c
387 set(headers_to_install
388 include/amok/bandwidth.h
389 include/amok/peermanagement.h
392 include/gras/messages.h
393 include/gras/module.h
394 include/gras/process.h
396 include/gras/transport.h
398 include/instr/instr.h
399 include/msg/datatypes.h
401 include/simdag/datatypes.h
402 include/simdag/simdag.h
403 include/simgrid/modelchecker.h
404 include/simgrid/platf.h
405 include/simgrid/simix.h
409 include/smpi/smpi_cocci.h
410 include/surf/simgrid_dtd.h
411 include/surf/surf_routing.h
412 include/surf/surfxml_parse.h
414 include/xbt/RngStream.h
415 include/xbt/asserts.h
416 include/xbt/automaton.h
419 include/xbt/datadesc.h
424 include/xbt/file_stat.h
425 include/xbt/function_types.h
427 include/xbt/graphxml.h
428 include/xbt/graphxml_parse.h
433 include/xbt/mallocator.h
436 include/xbt/mmalloc.h
446 include/xbt/strbuff.h
448 include/xbt/synchro.h
449 include/xbt/synchro_core.h
453 include/xbt/xbt_os_thread.h
455 set(source_of_generated_headers
456 include/simgrid_config.h.in
457 include/smpi/smpif.h.in
458 src/context_sysv_config.h.in)
460 ### depend of some variables setted upper
461 # -->CONTEXT_THREADS CONTEXT_UCONTEXT
462 if(${CONTEXT_THREADS}) #pthread
465 src/simix/smx_context_thread.c
466 src/xbt/xbt_os_thread.c
468 else(${CONTEXT_THREADS}) # NOT pthread
471 src/simix/smx_context_thread.c
472 src/xbt/xbt_os_thread.c
474 endif(${CONTEXT_THREADS})
476 if(${CONTEXT_UCONTEXT}) #ucontext
479 src/simix/smx_context_sysv.c
481 else(${CONTEXT_UCONTEXT}) # NOT ucontext
484 src/simix/smx_context_sysv.c
486 endif(${CONTEXT_UCONTEXT})
501 ### Simgrid Lib sources
535 src/simix/smx_context_thread.c
536 src/xbt/win32_ucontext.c
537 src/xbt/xbt_os_thread.c
566 doc/triva-graph_configuration.png
567 doc/triva-graph_visualization.png
568 doc/webcruft/Paje_MSG_screenshot.jpg
569 doc/webcruft/Paje_MSG_screenshot_thn.jpg
570 doc/webcruft/awstats_logo3.png
571 doc/webcruft/poster_thumbnail.png
572 doc/webcruft/simgrid_logo_2011.png
573 doc/webcruft/simgrid_logo_2011_small.png
574 tools/doxygen/fig2dev_postprocessor.pl
575 tools/doxygen/index_create.pl
576 tools/doxygen/xbt_log_extract_hierarchy.pl
579 set(USER_GUIDE_SOURCES
580 doc/user_guide/doxygen/UserGuideDoxyfile.in
581 doc/user_guide/doxygen/UserGuideDoxygenLayout.xml
582 doc/user_guide/doxygen/bindings.doc
583 doc/user_guide/doxygen/deployment.doc
584 doc/user_guide/doxygen/examples.doc
585 doc/user_guide/doxygen/index.doc
586 doc/user_guide/doxygen/install.doc
587 doc/user_guide/doxygen/options.doc
588 doc/user_guide/doxygen/platform.doc
589 doc/user_guide/doxygen/pls.doc
590 doc/user_guide/doxygen/tracing.doc
591 doc/user_guide/doxygen/use.doc
594 set(REF_GUIDE_SOURCES
595 doc/ref_guide/doxygen/RefGuideDoxyfile.in
596 doc/ref_guide/doxygen/RefGuideDoxygenLayout.xml
597 doc/ref_guide/doxygen/main.doc
598 doc/ref_guide/doxygen/module-amok.doc
599 doc/ref_guide/doxygen/module-gras.doc
600 doc/ref_guide/doxygen/module-msg.doc
601 doc/ref_guide/doxygen/module-sd.doc
602 doc/ref_guide/doxygen/module-simix.doc
603 doc/ref_guide/doxygen/module-surf.doc
604 doc/ref_guide/doxygen/module-trace.doc
605 doc/ref_guide/doxygen/module-xbt.doc
606 doc/ref_guide/doxygen/modules.doc
613 ${CMAKE_HOME_DIRECTORY}/doc/shared/fig/simgrid_modules.fig
614 ${CMAKE_HOME_DIRECTORY}/doc/shared/fig/simgrid_modules2.fig
615 ${CMAKE_HOME_DIRECTORY}/doc/user_guide/fig/amok_bw_sat.fig
616 ${CMAKE_HOME_DIRECTORY}/doc/user_guide/fig/amok_bw_test.fig
617 ${CMAKE_HOME_DIRECTORY}/doc/user_guide/fig/gras_comm.fig
629 "testsuite/surf/trace_A.txt"
630 "testsuite/surf/trace_A_failure.txt"
631 "testsuite/surf/trace_B.txt"
643 set(EXAMPLES_CMAKEFILES_TXT
644 examples/amok/bandwidth/CMakeLists.txt
645 examples/amok/saturate/CMakeLists.txt
646 examples/gras/all2all/CMakeLists.txt
647 examples/gras/chrono/CMakeLists.txt
648 examples/gras/console/CMakeLists.txt
649 examples/gras/mmrpc/CMakeLists.txt
650 examples/gras/mutual_exclusion/simple_token/CMakeLists.txt
651 examples/gras/ping/CMakeLists.txt
652 examples/gras/pmm/CMakeLists.txt
653 examples/gras/properties/CMakeLists.txt
654 examples/gras/rpc/CMakeLists.txt
655 examples/gras/spawn/CMakeLists.txt
656 examples/gras/synchro/CMakeLists.txt
657 examples/gras/timer/CMakeLists.txt
658 examples/lua/CMakeLists.txt
659 examples/msg/CMakeLists.txt
660 examples/msg/actions/CMakeLists.txt
661 examples/msg/bittorrent/CMakeLists.txt
662 examples/msg/chord/CMakeLists.txt
663 examples/msg/cloud/CMakeLists.txt
664 examples/msg/gpu/CMakeLists.txt
665 examples/msg/gtnets/CMakeLists.txt
666 examples/msg/icomms/CMakeLists.txt
667 examples/msg/io/CMakeLists.txt
668 examples/msg/kademlia/CMakeLists.txt
669 examples/msg/masterslave/CMakeLists.txt
670 examples/msg/mc/CMakeLists.txt
671 examples/msg/migration/CMakeLists.txt
672 examples/msg/ns3/CMakeLists.txt
673 examples/msg/parallel_task/CMakeLists.txt
674 examples/msg/pmm/CMakeLists.txt
675 examples/msg/priority/CMakeLists.txt
676 examples/msg/properties/CMakeLists.txt
677 examples/msg/sendrecv/CMakeLists.txt
678 examples/msg/start_kill_time/CMakeLists.txt
679 examples/msg/suspend/CMakeLists.txt
680 examples/msg/token_ring/CMakeLists.txt
681 examples/msg/tracing/CMakeLists.txt
682 examples/simdag/CMakeLists.txt
683 examples/simdag/dax/CMakeLists.txt
684 examples/simdag/dot/CMakeLists.txt
685 examples/simdag/goal/CMakeLists.txt
686 examples/simdag/metaxml/CMakeLists.txt
687 examples/simdag/properties/CMakeLists.txt
688 examples/simdag/scheduling/CMakeLists.txt
689 examples/smpi/CMakeLists.txt
690 examples/xbt/CMakeLists.txt
693 set(TESHSUITE_CMAKEFILES_TXT
694 teshsuite/CMakeLists.txt
695 teshsuite/gras/CMakeLists.txt
696 teshsuite/gras/datadesc/CMakeLists.txt
697 teshsuite/gras/empty_main/CMakeLists.txt
698 teshsuite/gras/msg_handle/CMakeLists.txt
699 teshsuite/gras/small_sleep/CMakeLists.txt
700 teshsuite/msg/CMakeLists.txt
701 teshsuite/msg/trace/CMakeLists.txt
702 teshsuite/simdag/CMakeLists.txt
703 teshsuite/simdag/network/CMakeLists.txt
704 teshsuite/simdag/network/mxn/CMakeLists.txt
705 teshsuite/simdag/network/p2p/CMakeLists.txt
706 teshsuite/simdag/partask/CMakeLists.txt
707 teshsuite/simdag/platforms/CMakeLists.txt
708 teshsuite/xbt/CMakeLists.txt
711 set(TOOLS_CMAKEFILES_TXT
713 tools/graphicator/CMakeLists.txt
714 tools/gras/CMakeLists.txt
715 tools/tesh/CMakeLists.txt
718 set(TESTSUITE_CMAKEFILES_TXT
719 testsuite/surf/CMakeLists.txt
720 testsuite/xbt/CMakeLists.txt
723 set(CMAKE_SOURCE_FILES
725 buildtools/Cmake/AddTests.cmake
726 buildtools/Cmake/CTestConfig.cmake
727 buildtools/Cmake/CompleteInFiles.cmake
728 buildtools/Cmake/DefinePackages.cmake
729 buildtools/Cmake/Distrib.cmake
730 buildtools/Cmake/Flags.cmake
731 buildtools/Cmake/GenerateDoc.cmake
732 buildtools/Cmake/GenerateDocWin.cmake
733 buildtools/Cmake/GenerateRefGuide.cmake
734 buildtools/Cmake/GenerateUserGuide.cmake
735 buildtools/Cmake/MaintainerMode.cmake
736 buildtools/Cmake/MakeExe.cmake
737 buildtools/Cmake/MakeLib.cmake
738 buildtools/Cmake/MakeLibWin.cmake
739 buildtools/Cmake/Modules/FindF2c.cmake
740 buildtools/Cmake/Modules/FindGTnets.cmake
741 buildtools/Cmake/Modules/FindGraphviz.cmake
742 buildtools/Cmake/Modules/FindLua51Simgrid.cmake
743 buildtools/Cmake/Modules/FindNS3.cmake
744 buildtools/Cmake/Modules/FindPCRE.cmake
745 buildtools/Cmake/Modules/FindPcreWin.cmake
746 buildtools/Cmake/Modules/FindRngStream.cmake
747 buildtools/Cmake/Modules/FindRubySimgrid.cmake
748 buildtools/Cmake/Modules/FindSimGrid.cmake
749 buildtools/Cmake/Modules/FindValgrind.cmake
750 buildtools/Cmake/Option.cmake
751 buildtools/Cmake/Pipol.cmake
752 buildtools/Cmake/PrintArgs.cmake
753 buildtools/Cmake/Scripts/Diff.pm
754 buildtools/Cmake/Scripts/Makefile.default
755 buildtools/Cmake/Scripts/SimGrid.packproj
756 buildtools/Cmake/Scripts/generate_memcheck_tests.pl
757 buildtools/Cmake/Scripts/generate_new_tests.pl
758 buildtools/Cmake/Scripts/my_valgrind.pl
759 buildtools/Cmake/Scripts/postinstall.sh
760 buildtools/Cmake/Scripts/preinstall.sh
761 buildtools/Cmake/Scripts/tesh.pl
762 buildtools/Cmake/Scripts/test_java.sh
763 buildtools/Cmake/Scripts/update_tesh.pl
764 buildtools/Cmake/Supernovae.cmake
765 buildtools/Cmake/UnitTesting.cmake
766 buildtools/Cmake/memcheck_tests.cmake
767 buildtools/Cmake/src/gras_config.h.in
768 buildtools/Cmake/src/simgrid.nsi.in
769 buildtools/Cmake/test_prog/prog_AC_CHECK_MCSC.c
770 buildtools/Cmake/test_prog/prog_GRAS_ARCH.c
771 buildtools/Cmake/test_prog/prog_GRAS_CHECK_STRUCT_COMPACTION.c
772 buildtools/Cmake/test_prog/prog_getline.c
773 buildtools/Cmake/test_prog/prog_max_size.c
774 buildtools/Cmake/test_prog/prog_mutex_timedlock.c
775 buildtools/Cmake/test_prog/prog_printf_null.c
776 buildtools/Cmake/test_prog/prog_sem_init.c
777 buildtools/Cmake/test_prog/prog_sem_open.c
778 buildtools/Cmake/test_prog/prog_sem_timedwait.c
779 buildtools/Cmake/test_prog/prog_snprintf.c
780 buildtools/Cmake/test_prog/prog_stackgrowth.c
781 buildtools/Cmake/test_prog/prog_stacksetup.c
782 buildtools/Cmake/test_prog/prog_thread_storage.c
783 buildtools/Cmake/test_prog/prog_va_copy.c
784 buildtools/Cmake/test_prog/prog_vsnprintf.c
787 set(PLATFORMS_EXAMPLES
788 examples/platforms/bypassASroute.xml
789 examples/platforms/bypassRoute.xml
790 examples/platforms/cloud.xml
791 examples/platforms/cluster.xml
792 examples/platforms/cluster_and_one_host.xml
793 examples/platforms/cluster_no_backbone.xml
794 examples/platforms/cluster_routing_rulebased.xml
795 examples/platforms/clusters_routing_full.xml
796 examples/platforms/conf/gridpp_grid_2004.conf
797 examples/platforms/conf/gridpp_grid_2004.xml
798 examples/platforms/conf/lcg_sept2004_grid.conf
799 examples/platforms/conf/lcg_sept2004_grid.xml
800 examples/platforms/conf/transform_optorsim_platform.pl
801 examples/platforms/config.xml
802 examples/platforms/content/storage_content.txt
803 examples/platforms/data_center.xml
804 examples/platforms/g5k.xml
805 examples/platforms/generation_scripts/create_hierarchical_clusters.pl
806 examples/platforms/generation_scripts/enhancedDTDwithHierarchicalCluster.pl
807 examples/platforms/generation_scripts/generate_g5k_platform.pl
808 examples/platforms/generation_scripts/generate_g5k_platform_cabinets.pl
809 examples/platforms/griffon.xml
810 examples/platforms/multicore_machine.xml
811 examples/platforms/prop.xml
812 examples/platforms/storage.xml
813 examples/platforms/syscoord/generate_peer_platform.pl
814 examples/platforms/syscoord/median_harvard.syscoord
815 examples/platforms/syscoord/median_harvard.xml
816 examples/platforms/syscoord/median_meridian.syscoord
817 examples/platforms/syscoord/median_meridian.xml
818 examples/platforms/syscoord/median_p2psim.syscoord
819 examples/platforms/syscoord/median_p2psim.xml
820 examples/platforms/vivaldi.xml
821 examples/platforms/routing_cluster.xml
822 examples/platforms/meta_cluster.xml
823 examples/platforms/two_peers.xml
826 set(generated_src_files
827 ${CMAKE_HOME_DIRECTORY}/src/xbt/datadesc/ddt_parse.yy.c
828 src/xbt/automaton/automaton_lexer.yy.c
829 src/xbt/automaton/parserPromela.tab.cacc
830 src/xbt/automaton/parserPromela.tab.hacc
833 foreach(file ${generated_src_files})
834 set_source_files_properties(${file} PROPERTIES GENERATED true)
835 endforeach(file ${generated_src_files})