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
126 src/gras/Msg/rl_msg.c
127 src/gras/Transport/rl_transport.c
128 src/gras/Virtu/rl_dns.c
129 src/gras/Virtu/rl_emul.c
130 src/gras/Virtu/rl_process.c
132 src/xbt/xbt_os_thread.c
138 src/xbt/automaton/automaton.c
139 src/xbt/automaton/automatonparse_promela.c
142 src/xbt/datadesc/cbps.c
143 src/xbt/datadesc/datadesc.c
144 src/xbt/datadesc/datadesc_interface.h
145 src/xbt/datadesc/datadesc_private.h
146 src/xbt/datadesc/ddt_convert.c
147 src/xbt/datadesc/ddt_create.c
148 src/xbt/datadesc/ddt_exchange.c
149 src/xbt/datadesc/ddt_parse.c
150 src/xbt/datadesc/ddt_parse.yy.c
152 src/xbt/dict_cursor.c
159 src/xbt/graphxml_parse.c
169 src/xbt/xbt_log_appender_file.c
170 src/xbt/xbt_log_layout_format.c
171 src/xbt/xbt_log_layout_simple.c
174 src/xbt/xbt_os_time.c
180 src/xbt/xbt_socket_private.h
182 src/xbt/xbt_strbuff.c
183 src/xbt/xbt_synchro.c
184 src/xbt/xbt_trp_plugin_tcp.c
197 src/surf/gtnets/gtnets_interface.cc
198 src/surf/gtnets/gtnets_simulator.cc
199 src/surf/gtnets/gtnets_topology.cc
200 src/surf/network_gtnets.c
204 src/surf/network_ns3.c
205 src/surf/ns3/my-point-to-point-helper.cc
206 src/surf/ns3/ns3_interface.cc
207 src/surf/ns3/ns3_simulator.cc
208 src/surf/ns3/red-queue.cc
214 src/surf/fair_bottleneck.c
218 src/surf/network_constant.c
219 src/surf/random_mgr.c
223 src/surf/surf_action.c
224 src/surf/surf_config.c
225 src/surf/surf_model.c
226 src/surf/surf_routing.c
227 src/surf/surf_routing_cluster.c
228 src/surf/surf_routing_dijkstra.c
229 src/surf/surf_routing_floyd.c
230 src/surf/surf_routing_full.c
231 src/surf/surf_routing_generic.c
232 src/surf/surf_routing_none.c
233 src/surf/surf_routing_rulebased.c
234 src/surf/surf_routing_vivaldi.c
235 src/surf/surfxml_parse.c
236 src/surf/surfxml_parseplatf.c
238 src/surf/workstation.c
239 src/surf/workstation_ptask_L07.c
240 src/xbt/xbt_sg_stubs.c
244 src/simix/smx_context.c
245 src/simix/smx_context_base.c
246 src/simix/smx_context_raw.c
247 src/simix/smx_deployment.c
248 src/simix/smx_environment.c
249 src/simix/smx_global.c
252 src/simix/smx_network.c
253 src/simix/smx_process.c
254 src/simix/smx_smurf.c
255 src/simix/smx_synchro.c
260 src/msg/msg_actions.c
262 src/msg/msg_deployment.c
263 src/msg/msg_environment.c
268 src/msg/msg_mailbox.c
269 src/msg/msg_process.c
275 src/simdag/sd_daxloader.c
276 src/simdag/sd_global.c
279 src/simdag/sd_workstation.c
283 ${SIMDAG_SRC} src/simdag/sd_dotloader.c
287 ${EXTRA_DIST} src/simdag/sd_dotloader.c
292 src/gras/Msg/gras_msg_exchange.c
293 src/gras/Msg/gras_msg_listener.c
294 src/gras/Msg/gras_msg_mod.c
295 src/gras/Msg/gras_msg_types.c
296 src/gras/Msg/msg_interface.h
297 src/gras/Msg/msg_private.h
300 src/gras/Transport/transport.c
301 src/gras/Transport/transport_plugin_file.c
302 src/gras/Transport/transport_private.h
303 src/gras/Virtu/gras_module.c
304 src/gras/Virtu/process.c
310 src/gras/Msg/sg_msg.c
311 src/gras/Transport/sg_transport.c
312 src/gras/Transport/transport_plugin_sg.c
313 src/gras/Virtu/sg_dns.c
314 src/gras/Virtu/sg_emul.c
315 src/gras/Virtu/sg_process.c
319 src/amok/Bandwidth/bandwidth.c
320 src/amok/Bandwidth/saturate.c
321 src/amok/PeerManagement/peermanagement.c
326 src/bindings/bindings_global.c
327 src/bindings/lua/lua_private.h
328 src/bindings/lua/lua_state_cloner.h
329 src/bindings/lua/lua_utils.h
330 src/bindings/lua/simgrid_lua.h
334 src/bindings/lua/lua_comm.c
335 src/bindings/lua/lua_host.c
336 src/bindings/lua/lua_platf.c
337 src/bindings/lua/lua_process.c
338 src/bindings/lua/lua_state_cloner.c
339 src/bindings/lua/lua_stub_generator.c
340 src/bindings/lua/lua_task.c
341 src/bindings/lua/lua_utils.c
342 src/bindings/lua/simgrid_lua.c
346 src/instr/instr_config.c
347 src/instr/instr_interface.c
348 src/instr/instr_msg_process.c
349 src/instr/instr_msg_task.c
350 src/instr/instr_paje_containers.c
351 src/instr/instr_paje_trace.c
352 src/instr/instr_paje_types.c
353 src/instr/instr_paje_values.c
354 src/instr/instr_private.h
355 src/instr/instr_resource_utilization.c
356 src/instr/instr_routing.c
357 src/instr/instr_smpi.c
358 src/instr/instr_surf.c
362 include/instr/jedule/jedule_events.h
363 include/instr/jedule/jedule_output.h
364 include/instr/jedule/jedule_platform.h
365 include/instr/jedule/jedule_sd_binding.h
366 src/instr/jedule/jedule_events.c
367 src/instr/jedule/jedule_output.c
368 src/instr/jedule/jedule_platform.c
369 src/instr/jedule/jedule_sd_binding.c
373 src/mc/mc_checkpoint.c
382 src/mc/test/compare_snapshot.c
385 set(headers_to_install
386 include/amok/bandwidth.h
387 include/amok/peermanagement.h
390 include/gras/messages.h
391 include/gras/module.h
392 include/gras/process.h
394 include/gras/transport.h
396 include/instr/instr.h
397 include/msg/datatypes.h
399 include/simdag/datatypes.h
400 include/simdag/simdag.h
401 include/simgrid/modelchecker.h
402 include/simgrid/platf.h
403 include/simgrid/simix.h
407 include/smpi/smpi_cocci.h
408 include/surf/simgrid_dtd.h
409 include/surf/surf_routing.h
410 include/surf/surfxml_parse.h
412 include/xbt/RngStream.h
413 include/xbt/asserts.h
414 include/xbt/automaton.h
417 include/xbt/datadesc.h
422 include/xbt/file_stat.h
423 include/xbt/function_types.h
425 include/xbt/graphxml.h
426 include/xbt/graphxml_parse.h
431 include/xbt/mallocator.h
434 include/xbt/mmalloc.h
444 include/xbt/strbuff.h
446 include/xbt/synchro.h
447 include/xbt/synchro_core.h
451 include/xbt/xbt_os_thread.h
453 set(source_of_generated_headers
454 include/simgrid_config.h.in
455 include/smpi/smpif.h.in
456 src/context_sysv_config.h.in)
458 ### depend of some variables setted upper
459 # -->CONTEXT_THREADS CONTEXT_UCONTEXT
460 if(${CONTEXT_THREADS}) #pthread
463 src/simix/smx_context_thread.c
464 src/xbt/xbt_os_thread.c
466 else(${CONTEXT_THREADS}) # NOT pthread
469 src/simix/smx_context_thread.c
470 src/xbt/xbt_os_thread.c
472 endif(${CONTEXT_THREADS})
474 if(${CONTEXT_UCONTEXT}) #ucontext
477 src/simix/smx_context_sysv.c
479 else(${CONTEXT_UCONTEXT}) # NOT ucontext
482 src/simix/smx_context_sysv.c
484 endif(${CONTEXT_UCONTEXT})
499 ### Simgrid Lib sources
533 src/simix/smx_context_thread.c
534 src/xbt/win32_ucontext.c
535 src/xbt/xbt_os_thread.c
564 doc/triva-graph_configuration.png
565 doc/triva-graph_visualization.png
566 doc/webcruft/Paje_MSG_screenshot.jpg
567 doc/webcruft/Paje_MSG_screenshot_thn.jpg
568 doc/webcruft/awstats_logo3.png
569 doc/webcruft/poster_thumbnail.png
570 doc/webcruft/simgrid_logo_2011.png
571 doc/webcruft/simgrid_logo_2011_small.png
572 tools/doxygen/fig2dev_postprocessor.pl
573 tools/doxygen/index_create.pl
574 tools/doxygen/xbt_log_extract_hierarchy.pl
577 set(USER_GUIDE_SOURCES
578 doc/user_guide/doxygen/UserGuideDoxyfile.in
579 doc/user_guide/doxygen/UserGuideDoxygenLayout.xml
580 doc/user_guide/doxygen/bindings.doc
581 doc/user_guide/doxygen/deployment.doc
582 doc/user_guide/doxygen/examples.doc
583 doc/user_guide/doxygen/index.doc
584 doc/user_guide/doxygen/install.doc
585 doc/user_guide/doxygen/options.doc
586 doc/user_guide/doxygen/platform.doc
587 doc/user_guide/doxygen/pls.doc
588 doc/user_guide/doxygen/tracing.doc
589 doc/user_guide/doxygen/use.doc
592 set(REF_GUIDE_SOURCES
593 doc/ref_guide/doxygen/RefGuideDoxyfile.in
594 doc/ref_guide/doxygen/RefGuideDoxygenLayout.xml
595 doc/ref_guide/doxygen/main.doc
596 doc/ref_guide/doxygen/module-amok.doc
597 doc/ref_guide/doxygen/module-gras.doc
598 doc/ref_guide/doxygen/module-msg.doc
599 doc/ref_guide/doxygen/module-sd.doc
600 doc/ref_guide/doxygen/module-simix.doc
601 doc/ref_guide/doxygen/module-surf.doc
602 doc/ref_guide/doxygen/module-trace.doc
603 doc/ref_guide/doxygen/module-xbt.doc
604 doc/ref_guide/doxygen/modules.doc
611 ${CMAKE_HOME_DIRECTORY}/doc/shared/fig/simgrid_modules.fig
612 ${CMAKE_HOME_DIRECTORY}/doc/shared/fig/simgrid_modules2.fig
613 ${CMAKE_HOME_DIRECTORY}/doc/user_guide/fig/amok_bw_sat.fig
614 ${CMAKE_HOME_DIRECTORY}/doc/user_guide/fig/amok_bw_test.fig
615 ${CMAKE_HOME_DIRECTORY}/doc/user_guide/fig/gras_comm.fig
627 "testsuite/surf/trace_A.txt"
628 "testsuite/surf/trace_A_failure.txt"
629 "testsuite/surf/trace_B.txt"
641 set(EXAMPLES_CMAKEFILES_TXT
642 examples/amok/bandwidth/CMakeLists.txt
643 examples/amok/saturate/CMakeLists.txt
644 examples/gras/all2all/CMakeLists.txt
645 examples/gras/chrono/CMakeLists.txt
646 examples/gras/console/CMakeLists.txt
647 examples/gras/mmrpc/CMakeLists.txt
648 examples/gras/mutual_exclusion/simple_token/CMakeLists.txt
649 examples/gras/ping/CMakeLists.txt
650 examples/gras/pmm/CMakeLists.txt
651 examples/gras/properties/CMakeLists.txt
652 examples/gras/rpc/CMakeLists.txt
653 examples/gras/spawn/CMakeLists.txt
654 examples/gras/synchro/CMakeLists.txt
655 examples/gras/timer/CMakeLists.txt
656 examples/lua/CMakeLists.txt
657 examples/msg/CMakeLists.txt
658 examples/msg/actions/CMakeLists.txt
659 examples/msg/bittorrent/CMakeLists.txt
660 examples/msg/chord/CMakeLists.txt
661 examples/msg/cloud/CMakeLists.txt
662 examples/msg/gpu/CMakeLists.txt
663 examples/msg/gtnets/CMakeLists.txt
664 examples/msg/icomms/CMakeLists.txt
665 examples/msg/io/CMakeLists.txt
666 examples/msg/kademlia/CMakeLists.txt
667 examples/msg/masterslave/CMakeLists.txt
668 examples/msg/mc/CMakeLists.txt
669 examples/msg/migration/CMakeLists.txt
670 examples/msg/ns3/CMakeLists.txt
671 examples/msg/parallel_task/CMakeLists.txt
672 examples/msg/pmm/CMakeLists.txt
673 examples/msg/priority/CMakeLists.txt
674 examples/msg/properties/CMakeLists.txt
675 examples/msg/sendrecv/CMakeLists.txt
676 examples/msg/start_kill_time/CMakeLists.txt
677 examples/msg/suspend/CMakeLists.txt
678 examples/msg/token_ring/CMakeLists.txt
679 examples/msg/tracing/CMakeLists.txt
680 examples/simdag/CMakeLists.txt
681 examples/simdag/dax/CMakeLists.txt
682 examples/simdag/dot/CMakeLists.txt
683 examples/simdag/goal/CMakeLists.txt
684 examples/simdag/metaxml/CMakeLists.txt
685 examples/simdag/properties/CMakeLists.txt
686 examples/simdag/scheduling/CMakeLists.txt
687 examples/smpi/CMakeLists.txt
688 examples/xbt/CMakeLists.txt
691 set(TESHSUITE_CMAKEFILES_TXT
692 teshsuite/CMakeLists.txt
693 teshsuite/gras/CMakeLists.txt
694 teshsuite/gras/datadesc/CMakeLists.txt
695 teshsuite/gras/empty_main/CMakeLists.txt
696 teshsuite/gras/msg_handle/CMakeLists.txt
697 teshsuite/gras/small_sleep/CMakeLists.txt
698 teshsuite/msg/CMakeLists.txt
699 teshsuite/msg/trace/CMakeLists.txt
700 teshsuite/simdag/CMakeLists.txt
701 teshsuite/simdag/network/CMakeLists.txt
702 teshsuite/simdag/network/mxn/CMakeLists.txt
703 teshsuite/simdag/network/p2p/CMakeLists.txt
704 teshsuite/simdag/partask/CMakeLists.txt
705 teshsuite/simdag/platforms/CMakeLists.txt
706 teshsuite/xbt/CMakeLists.txt
709 set(TOOLS_CMAKEFILES_TXT
711 tools/graphicator/CMakeLists.txt
712 tools/gras/CMakeLists.txt
713 tools/tesh/CMakeLists.txt
716 set(TESTSUITE_CMAKEFILES_TXT
717 testsuite/surf/CMakeLists.txt
718 testsuite/xbt/CMakeLists.txt
721 set(CMAKE_SOURCE_FILES
723 buildtools/Cmake/AddTests.cmake
724 buildtools/Cmake/CTestConfig.cmake
725 buildtools/Cmake/CompleteInFiles.cmake
726 buildtools/Cmake/DefinePackages.cmake
727 buildtools/Cmake/Distrib.cmake
728 buildtools/Cmake/Flags.cmake
729 buildtools/Cmake/GenerateDoc.cmake
730 buildtools/Cmake/GenerateDocWin.cmake
731 buildtools/Cmake/GenerateRefGuide.cmake
732 buildtools/Cmake/GenerateUserGuide.cmake
733 buildtools/Cmake/MaintainerMode.cmake
734 buildtools/Cmake/MakeExe.cmake
735 buildtools/Cmake/MakeLib.cmake
736 buildtools/Cmake/MakeLibWin.cmake
737 buildtools/Cmake/Modules/FindF2c.cmake
738 buildtools/Cmake/Modules/FindGTnets.cmake
739 buildtools/Cmake/Modules/FindGraphviz.cmake
740 buildtools/Cmake/Modules/FindLua51Simgrid.cmake
741 buildtools/Cmake/Modules/FindNS3.cmake
742 buildtools/Cmake/Modules/FindPCRE.cmake
743 buildtools/Cmake/Modules/FindPcreWin.cmake
744 buildtools/Cmake/Modules/FindRngStream.cmake
745 buildtools/Cmake/Modules/FindRubySimgrid.cmake
746 buildtools/Cmake/Modules/FindSimGrid.cmake
747 buildtools/Cmake/Modules/FindValgrind.cmake
748 buildtools/Cmake/Option.cmake
749 buildtools/Cmake/Pipol.cmake
750 buildtools/Cmake/PrintArgs.cmake
751 buildtools/Cmake/Scripts/Diff.pm
752 buildtools/Cmake/Scripts/Makefile.default
753 buildtools/Cmake/Scripts/SimGrid.packproj
754 buildtools/Cmake/Scripts/generate_memcheck_tests.pl
755 buildtools/Cmake/Scripts/generate_new_tests.pl
756 buildtools/Cmake/Scripts/my_valgrind.pl
757 buildtools/Cmake/Scripts/postinstall.sh
758 buildtools/Cmake/Scripts/preinstall.sh
759 buildtools/Cmake/Scripts/tesh.pl
760 buildtools/Cmake/Scripts/test_java.sh
761 buildtools/Cmake/Scripts/update_tesh.pl
762 buildtools/Cmake/Supernovae.cmake
763 buildtools/Cmake/UnitTesting.cmake
764 buildtools/Cmake/memcheck_tests.cmake
765 buildtools/Cmake/src/gras_config.h.in
766 buildtools/Cmake/src/simgrid.nsi.in
767 buildtools/Cmake/test_prog/prog_AC_CHECK_MCSC.c
768 buildtools/Cmake/test_prog/prog_GRAS_ARCH.c
769 buildtools/Cmake/test_prog/prog_GRAS_CHECK_STRUCT_COMPACTION.c
770 buildtools/Cmake/test_prog/prog_getline.c
771 buildtools/Cmake/test_prog/prog_max_size.c
772 buildtools/Cmake/test_prog/prog_mutex_timedlock.c
773 buildtools/Cmake/test_prog/prog_printf_null.c
774 buildtools/Cmake/test_prog/prog_sem_init.c
775 buildtools/Cmake/test_prog/prog_sem_open.c
776 buildtools/Cmake/test_prog/prog_sem_timedwait.c
777 buildtools/Cmake/test_prog/prog_snprintf.c
778 buildtools/Cmake/test_prog/prog_stackgrowth.c
779 buildtools/Cmake/test_prog/prog_stacksetup.c
780 buildtools/Cmake/test_prog/prog_thread_storage.c
781 buildtools/Cmake/test_prog/prog_va_copy.c
782 buildtools/Cmake/test_prog/prog_vsnprintf.c
785 set(PLATFORMS_EXAMPLES
786 examples/platforms/bypassASroute.xml
787 examples/platforms/bypassRoute.xml
788 examples/platforms/cloud.xml
789 examples/platforms/cluster.xml
790 examples/platforms/cluster_and_one_host.xml
791 examples/platforms/cluster_no_backbone.xml
792 examples/platforms/cluster_routing_rulebased.xml
793 examples/platforms/clusters_routing_full.xml
794 examples/platforms/conf/gridpp_grid_2004.conf
795 examples/platforms/conf/gridpp_grid_2004.xml
796 examples/platforms/conf/lcg_sept2004_grid.conf
797 examples/platforms/conf/lcg_sept2004_grid.xml
798 examples/platforms/conf/transform_optorsim_platform.pl
799 examples/platforms/config.xml
800 examples/platforms/content/storage_content.txt
801 examples/platforms/data_center.xml
802 examples/platforms/g5k.xml
803 examples/platforms/generation_scripts/create_hierarchical_clusters.pl
804 examples/platforms/generation_scripts/enhancedDTDwithHierarchicalCluster.pl
805 examples/platforms/generation_scripts/generate_g5k_platform.pl
806 examples/platforms/generation_scripts/generate_g5k_platform_cabinets.pl
807 examples/platforms/griffon.xml
808 examples/platforms/multicore_machine.xml
809 examples/platforms/prop.xml
810 examples/platforms/storage.xml
811 examples/platforms/syscoord/generate_peer_platform.pl
812 examples/platforms/syscoord/median_harvard.syscoord
813 examples/platforms/syscoord/median_harvard.xml
814 examples/platforms/syscoord/median_meridian.syscoord
815 examples/platforms/syscoord/median_meridian.xml
816 examples/platforms/syscoord/median_p2psim.syscoord
817 examples/platforms/syscoord/median_p2psim.xml
818 examples/platforms/vivaldi.xml
819 examples/platforms/routing_cluster.xml
820 examples/platforms/meta_cluster.xml
821 examples/platforms/two_peers.xml
824 set(generated_src_files
825 ${CMAKE_HOME_DIRECTORY}/src/xbt/datadesc/ddt_parse.yy.c
826 src/xbt/automaton/automaton_lexer.yy.c
827 src/xbt/automaton/parserPromela.tab.cacc
828 src/xbt/automaton/parserPromela.tab.hacc
831 foreach(file ${generated_src_files})
832 set_source_files_properties(${file} PROPERTIES GENERATED true)
833 endforeach(file ${generated_src_files})