1 ### define source packages
5 src/xbt/mallocator_private.h
9 src/xbt/graph_private.h
10 src/xbt/graphxml_parse.c
14 src/xbt/ex_interface.h
15 src/xbt/backtrace_linux.c
16 src/xbt/backtrace_windows.c
17 src/xbt/backtrace_dummy.c
18 src/xbt/setset_private.h
19 src/xbt/mmalloc/mfree.c
20 src/xbt/mmalloc/mmalloc.c
21 src/xbt/mmalloc/mmalloc.info
22 src/xbt/mmalloc/mmalloc.texi
24 src/xbt/mmalloc/mm_diff.c
25 src/xbt/mmalloc/mm_legacy.c
26 src/xbt/mmalloc/mm_module.c
27 src/xbt/mmalloc/mmorecore.c
28 src/xbt/mmalloc/mmprivate.h
29 src/xbt/mmalloc/mmtrace.awk
30 src/xbt/mmalloc/mrealloc.c
31 src/xbt/mmalloc/test/mmalloc_test.c
32 src/xbt/datadesc/ddt_parse.yy.l
33 src/xbt/datadesc/ddt_parse.yy.h
34 src/xbt/automaton/parserPromela.tab.cacc
35 src/xbt/automaton/parserPromela.tab.hacc
36 src/xbt/automaton/automaton_lexer.yy.c
37 src/xbt/automaton/parserPromela.lex
38 src/xbt/automaton/parserPromela.yacc
39 src/surf/maxmin_private.h
40 src/surf/trace_mgr_private.h
41 src/surf/surf_private.h
42 src/surf/surfxml_parse.c
43 src/surf/simgrid_dtd.c
45 src/surf/network_private.h
46 src/surf/storage_private.h
47 src/surf/network_gtnets_private.h
48 src/surf/gtnets/gtnets_interface.h
49 src/surf/gtnets/gtnets_simulator.h
50 src/surf/gtnets/gtnets_topology.h
51 src/surf/cpu_ti_private.h
52 src/surf/surf_routing_private.h
53 src/include/simgrid/platf_interface.h
54 src/include/surf/surf_resource.h
55 src/include/surf/datatypes.h
56 src/include/surf/maxmin.h
57 src/include/surf/trace_mgr.h
58 src/include/surf/surf.h
59 src/include/surf/surfxml_parse_values.h
60 src/include/surf/random_mgr.h
61 src/include/surf/surf_resource_lmm.h
62 src/include/xbt/wine_dbghelp.h
63 src/include/xbt/xbt_os_time.h
64 src/include/mc/datatypes.h
72 src/gras/Virtu/virtu_rl.h
73 src/gras/Virtu/virtu_sg.h
74 src/gras/Virtu/virtu_interface.h
75 src/gras/Virtu/virtu_private.h
76 src/gras/Transport/transport_interface.h
77 src/amok/Bandwidth/bandwidth_private.h
78 src/amok/amok_modinter.h
79 src/simix/smx_private.h
80 src/simix/smx_process_private.h
81 src/simix/smx_host_private.h
82 src/simix/smx_network_private.h
83 src/simix/smx_smurf_private.h
84 src/simix/smx_synchro_private.h
85 src/simix/smx_io_private.h
88 src/smpi/smpi_mpi_dt_private.h
92 tools/gras/gras_stub_generator.h
93 tools/tesh/run_context.h
96 src/surf/network_ns3_private.h
97 src/surf/ns3/ns3_interface.h
98 src/surf/ns3/ns3_simulator.h
99 src/surf/ns3/my-point-to-point-helper.h
100 src/surf/ns3/red-queue.h
104 src/xbt/xbt_rl_synchro.c
105 src/xbt/xbt_rl_time.c
109 src/xbt/xbt_sg_synchro.c
110 src/xbt/xbt_sg_time.c
115 src/smpi/smpi_bench.c
116 src/smpi/smpi_global.c
122 src/smpi/smpi_group.c
124 src/smpi/smpi_mpi_dt.c
130 src/xbt/xbt_os_thread.c
131 src/gras/Transport/rl_transport.c
132 src/gras/Virtu/rl_emul.c
133 src/gras/Virtu/rl_process.c
134 src/gras/Virtu/rl_dns.c
135 src/gras/Msg/rl_msg.c
142 src/xbt/xbt_strbuff.c
148 src/xbt/xbt_os_time.c
150 src/xbt/xbt_log_appender_file.c
151 src/xbt/xbt_log_layout_simple.c
152 src/xbt/xbt_log_layout_format.c
157 src/xbt/dict_cursor.c
166 src/xbt/xbt_synchro.c
171 src/xbt/graphxml_parse.c
176 src/xbt/automaton/automatonparse_promela.c
177 src/xbt/automaton/automaton.c
178 src/xbt/datadesc/ddt_create.c
179 src/xbt/datadesc/ddt_convert.c
180 src/xbt/datadesc/ddt_exchange.c
181 src/xbt/datadesc/cbps.c
182 src/xbt/datadesc/datadesc.c
183 src/xbt/datadesc/datadesc_interface.h
184 src/xbt/datadesc/datadesc_private.h
185 src/xbt/datadesc/ddt_parse.c
186 src/xbt/datadesc/ddt_parse.yy.c
188 src/xbt/xbt_socket_private.h
189 src/xbt/xbt_trp_plugin_tcp.c
201 src/surf/gtnets/gtnets_simulator.cc
202 src/surf/gtnets/gtnets_topology.cc
203 src/surf/gtnets/gtnets_interface.cc
204 src/surf/network_gtnets.c
208 src/surf/network_ns3.c
209 src/surf/ns3/ns3_interface.cc
210 src/surf/ns3/ns3_simulator.cc
211 src/surf/ns3/red-queue.cc
212 src/surf/ns3/my-point-to-point-helper.cc
216 src/surf/surf_model.c
217 src/surf/surf_action.c
218 src/surf/surf_routing.c
219 src/surf/surf_routing_none.c
220 src/surf/surf_routing_generic.c
221 src/surf/surf_routing_full.c
222 src/surf/surf_routing_floyd.c
223 src/surf/surf_routing_rulebased.c
224 src/surf/surf_routing_dijkstra.c
225 src/surf/surf_routing_cluster.c
226 src/surf/surf_routing_vivaldi.c
227 src/surf/surf_config.c
229 src/surf/fair_bottleneck.c
232 src/surf/random_mgr.c
234 src/surf/surfxml_parse.c
235 src/surf/surfxml_parseplatf.c
237 src/surf/network_constant.c
238 src/surf/workstation.c
239 src/surf/workstation_ptask_L07.c
244 src/xbt/xbt_sg_stubs.c
248 src/simix/smx_global.c
249 src/simix/smx_deployment.c
250 src/simix/smx_environment.c
252 src/simix/smx_process.c
253 src/simix/smx_context.c
254 src/simix/smx_synchro.c
255 src/simix/smx_network.c
256 src/simix/smx_context_base.c
258 src/simix/smx_smurf.c
259 src/simix/smx_context_raw.c
268 src/msg/msg_process.c
271 src/msg/msg_environment.c
272 src/msg/msg_deployment.c
273 src/msg/msg_mailbox.c
274 src/msg/msg_actions.c
279 src/simdag/sd_global.c
282 src/simdag/sd_workstation.c
283 src/simdag/sd_daxloader.c
287 ${SIMDAG_SRC} src/simdag/sd_dotloader.c
291 ${EXTRA_DIST} src/simdag/sd_dotloader.c
297 src/gras/Transport/transport.c
298 src/gras/Transport/transport_private.h
299 src/gras/Transport/transport_plugin_file.c
300 src/gras/Msg/gras_msg_mod.c
301 src/gras/Msg/gras_msg_types.c
302 src/gras/Msg/gras_msg_exchange.c
303 src/gras/Msg/gras_msg_listener.c
306 src/gras/Msg/msg_interface.h
307 src/gras/Msg/msg_private.h
308 src/gras/Virtu/process.c
309 src/gras/Virtu/gras_module.c
313 src/gras/Transport/sg_transport.c
314 src/gras/Transport/transport_plugin_sg.c
315 src/gras/Virtu/sg_emul.c
316 src/gras/Virtu/sg_process.c
317 src/gras/Virtu/sg_dns.c
318 src/gras/Msg/sg_msg.c
324 src/amok/Bandwidth/bandwidth.c
325 src/amok/Bandwidth/saturate.c
326 src/amok/PeerManagement/peermanagement.c
330 src/bindings/bindings_global.c
334 src/bindings/lua/simgrid_lua.c
335 src/bindings/lua/lua_task.c
336 src/bindings/lua/lua_comm.c
337 src/bindings/lua/lua_host.c
338 src/bindings/lua/lua_process.c
339 src/bindings/lua/lua_platf.c
340 src/bindings/lua/lua_utils.c
341 src/bindings/lua/lua_state_cloner.c
342 src/bindings/lua/lua_stub_generator.c
347 src/bindings/lua/simgrid_lua.h
348 src/bindings/lua/lua_utils.h
349 src/bindings/lua/lua_state_cloner.h
350 src/bindings/lua/lua_private.h
351 src/bindings/bindings_global.c
355 src/instr/instr_routing.c
356 src/instr/instr_config.c
357 src/instr/instr_interface.c
358 src/instr/instr_paje_trace.c
359 src/instr/instr_paje_types.c
360 src/instr/instr_paje_values.c
361 src/instr/instr_paje_containers.c
362 src/instr/instr_msg_task.c
363 src/instr/instr_msg_process.c
364 src/instr/instr_surf.c
365 src/instr/instr_smpi.c
366 src/instr/instr_resource_utilization.c
367 src/instr/instr_private.h
372 include/instr/jedule/jedule_events.h
373 include/instr/jedule/jedule_output.h
374 include/instr/jedule/jedule_platform.h
375 include/instr/jedule/jedule_sd_binding.h
376 src/instr/jedule/jedule_events.c
377 src/instr/jedule/jedule_output.c
378 src/instr/jedule/jedule_platform.c
379 src/instr/jedule/jedule_sd_binding.c
384 src/mc/mc_checkpoint.c
394 set(headers_to_install
399 include/xbt/strbuff.h
401 include/xbt/function_types.h
402 include/xbt/asserts.h
403 include/xbt/automaton.h
407 include/xbt/mallocator.h
420 include/xbt/graphxml_parse.h
421 include/xbt/graphxml.h
423 include/xbt/synchro.h
424 include/xbt/synchro_core.h
427 include/xbt/mmalloc.h
430 include/xbt/datadesc.h
432 include/xbt/file_stat.h
433 include/xbt/xbt_os_thread.h
434 include/xbt/RngStream.h
435 include/simgrid/platf.h
436 include/simgrid/modelchecker.h
437 include/simgrid/simix.h
439 include/msg/datatypes.h
440 include/simdag/simdag.h
441 include/simdag/datatypes.h
445 include/smpi/smpi_cocci.h
446 include/surf/surfxml_parse.h
447 include/surf/simgrid_dtd.h
448 include/surf/surf_routing.h
449 include/gras/transport.h
452 include/gras/process.h
453 include/gras/module.h
454 include/gras/messages.h
456 include/amok/peermanagement.h
457 include/amok/bandwidth.h
458 include/instr/instr.h
462 set(source_of_generated_headers
463 include/simgrid_config.h.in
464 include/smpi/smpif.h.in
465 src/context_sysv_config.h.in)
467 ### depend of some variables setted upper
468 # -->CONTEXT_THREADS CONTEXT_UCONTEXT
469 if(${CONTEXT_THREADS}) #pthread
472 src/xbt/xbt_os_thread.c
473 src/simix/smx_context_thread.c
475 else(${CONTEXT_THREADS}) # NOT pthread
478 src/xbt/xbt_os_thread.c
479 src/simix/smx_context_thread.c
481 endif(${CONTEXT_THREADS})
483 if(${CONTEXT_UCONTEXT}) #ucontext
486 src/simix/smx_context_sysv.c
488 else(${CONTEXT_UCONTEXT}) # NOT ucontext
491 src/simix/smx_context_sysv.c
493 endif(${CONTEXT_UCONTEXT})
508 ### Simgrid Lib sources
542 src/xbt/win32_ucontext.c
543 src/xbt/xbt_os_thread.c
544 src/simix/smx_context_thread.c
572 doc/webcruft/awstats_logo3.png
573 doc/webcruft/Paje_MSG_screenshot.jpg
574 doc/webcruft/Paje_MSG_screenshot_thn.jpg
575 doc/webcruft/poster_thumbnail.png
576 doc/webcruft/simgrid_logo_2011.png
577 doc/webcruft/simgrid_logo_2011_small.png
578 doc/triva-graph_configuration.png
579 doc/triva-graph_visualization.png
581 doc/shared/doxygen/gras-examples.doc
582 doc/shared/doxygen/msg-examples.doc
583 tools/doxygen/index_create.pl
584 tools/doxygen/fig2dev_postprocessor.pl
585 tools/doxygen/xbt_log_extract_hierarchy.pl
588 set(USER_GUIDE_SOURCES
589 doc/user_guide/doxygen/install.doc
590 doc/user_guide/doxygen/bindings.doc
591 doc/user_guide/doxygen/index-API.doc
592 doc/user_guide/doxygen/options.doc
593 doc/user_guide/doxygen/use.doc
594 doc/user_guide/doxygen/tracing.doc
595 doc/user_guide/doxygen/pls.doc
596 doc/user_guide/doxygen/index.doc
597 doc/user_guide/doxygen/modules.doc
598 doc/user_guide/doxygen/platform.doc
599 doc/user_guide/doxygen/UserGuideDoxyfile.in
600 doc/user_guide/doxygen/UserGuideDoxygenLayout.xml
603 set(REF_GUIDE_SOURCES
604 doc/ref_guide/doxygen/module-amok.doc
605 doc/ref_guide/doxygen/module-gras.doc
606 doc/ref_guide/doxygen/module-msg.doc
607 doc/ref_guide/doxygen/module-sd.doc
608 doc/ref_guide/doxygen/modules.doc
609 doc/ref_guide/doxygen/module-surf.doc
610 doc/ref_guide/doxygen/module-xbt.doc
611 doc/ref_guide/doxygen/module-simix.doc
612 doc/ref_guide/doxygen/module-trace.doc
613 doc/ref_guide/doxygen/index-API.doc
614 doc/ref_guide/doxygen/main.doc
615 doc/ref_guide/doxygen/RefGuideDoxyfile.in
616 doc/ref_guide/doxygen/RefGuideDoxygenLayout.xml
620 doc/shared/doxygen/gras-examples.doc
621 doc/shared/doxygen/msg-examples.doc
625 ${CMAKE_HOME_DIRECTORY}/doc/shared/fig/simgrid_modules.fig
626 ${CMAKE_HOME_DIRECTORY}/doc/shared/fig/simgrid_modules2.fig
627 ${CMAKE_HOME_DIRECTORY}/doc/user_guide/fig/amok_bw_test.fig
628 ${CMAKE_HOME_DIRECTORY}/doc/user_guide/fig/amok_bw_sat.fig
629 ${CMAKE_HOME_DIRECTORY}/doc/user_guide/fig/gras_comm.fig
642 "testsuite/surf/trace_A_failure.txt"
643 "testsuite/surf/trace_A.txt"
644 "testsuite/surf/trace_B.txt"
655 set(EXAMPLES_CMAKEFILES_TXT
656 examples/smpi/CMakeLists.txt
657 examples/amok/saturate/CMakeLists.txt
658 examples/amok/bandwidth/CMakeLists.txt
659 examples/simdag/dot/CMakeLists.txt
660 examples/simdag/goal/CMakeLists.txt
661 examples/simdag/properties/CMakeLists.txt
662 examples/simdag/scheduling/CMakeLists.txt
663 examples/simdag/metaxml/CMakeLists.txt
664 examples/simdag/dax/CMakeLists.txt
665 examples/simdag/CMakeLists.txt
666 examples/msg/gpu/CMakeLists.txt
667 examples/msg/pmm/CMakeLists.txt
668 examples/msg/migration/CMakeLists.txt
669 examples/msg/properties/CMakeLists.txt
670 examples/msg/mc/CMakeLists.txt
671 examples/msg/masterslave/CMakeLists.txt
672 examples/msg/chord/CMakeLists.txt
673 examples/msg/suspend/CMakeLists.txt
674 examples/msg/actions/CMakeLists.txt
675 examples/msg/io/CMakeLists.txt
676 examples/msg/sendrecv/CMakeLists.txt
677 examples/msg/start_kill_time/CMakeLists.txt
678 examples/msg/parallel_task/CMakeLists.txt
679 examples/msg/priority/CMakeLists.txt
680 examples/msg/cloud/CMakeLists.txt
681 examples/msg/gtnets/CMakeLists.txt
682 examples/msg/icomms/CMakeLists.txt
683 examples/msg/tracing/CMakeLists.txt
684 examples/msg/ns3/CMakeLists.txt
685 examples/msg/token_ring/CMakeLists.txt
686 examples/gras/mutual_exclusion/simple_token/CMakeLists.txt
687 examples/gras/ping/CMakeLists.txt
688 examples/gras/pmm/CMakeLists.txt
689 examples/gras/properties/CMakeLists.txt
690 examples/gras/rpc/CMakeLists.txt
691 examples/gras/chrono/CMakeLists.txt
692 examples/gras/timer/CMakeLists.txt
693 examples/gras/mmrpc/CMakeLists.txt
694 examples/gras/all2all/CMakeLists.txt
695 examples/gras/synchro/CMakeLists.txt
696 examples/gras/console/CMakeLists.txt
697 examples/gras/spawn/CMakeLists.txt
698 examples/lua/CMakeLists.txt
699 examples/msg/CMakeLists.txt
700 examples/xbt/CMakeLists.txt
703 set(TESHSUITE_CMAKEFILES_TXT
704 teshsuite/xbt/CMakeLists.txt
705 teshsuite/simdag/network/p2p/CMakeLists.txt
706 teshsuite/simdag/network/mxn/CMakeLists.txt
707 teshsuite/simdag/network/CMakeLists.txt
708 teshsuite/simdag/platforms/CMakeLists.txt
709 teshsuite/simdag/partask/CMakeLists.txt
710 teshsuite/simdag/CMakeLists.txt
711 teshsuite/msg/trace/CMakeLists.txt
712 teshsuite/msg/CMakeLists.txt
713 teshsuite/gras/small_sleep/CMakeLists.txt
714 teshsuite/gras/empty_main/CMakeLists.txt
715 teshsuite/gras/msg_handle/CMakeLists.txt
716 teshsuite/gras/datadesc/CMakeLists.txt
717 teshsuite/CMakeLists.txt
718 teshsuite/gras/CMakeLists.txt
721 set(TOOLS_CMAKEFILES_TXT
722 tools/tesh/CMakeLists.txt
723 tools/graphicator/CMakeLists.txt
725 tools/gras/CMakeLists.txt
728 set(TESTSUITE_CMAKEFILES_TXT
729 testsuite/surf/CMakeLists.txt
730 testsuite/xbt/CMakeLists.txt
733 set(CMAKE_SOURCE_FILES
734 buildtools/Cmake/CTestConfig.cmake
735 buildtools/Cmake/UnitTesting.cmake
736 buildtools/Cmake/AddTests.cmake
737 buildtools/Cmake/Option.cmake
738 buildtools/Cmake/memcheck_tests.cmake
739 buildtools/Cmake/MakeLibWin.cmake
740 buildtools/Cmake/Flags.cmake
741 buildtools/Cmake/DefinePackages.cmake
742 buildtools/Cmake/CompleteInFiles.cmake
743 buildtools/Cmake/Scripts/SimGrid.packproj
744 buildtools/Cmake/Scripts/update_tesh.pl
745 buildtools/Cmake/Scripts/test_java.sh
746 buildtools/Cmake/Scripts/my_valgrind.pl
747 buildtools/Cmake/Scripts/tesh.pl
748 buildtools/Cmake/Scripts/Makefile.default
749 buildtools/Cmake/Scripts/preinstall.sh
750 buildtools/Cmake/Scripts/Diff.pm
751 buildtools/Cmake/Scripts/generate_new_tests.pl
752 buildtools/Cmake/Scripts/postinstall.sh
753 buildtools/Cmake/Scripts/generate_memcheck_tests.pl
754 buildtools/Cmake/MaintainerMode.cmake
755 buildtools/Cmake/Supernovae.cmake
756 buildtools/Cmake/Pipol.cmake
757 buildtools/Cmake/GenerateDoc.cmake
758 buildtools/Cmake/GenerateDocWin.cmake
759 buildtools/Cmake/GenerateUserGuide.cmake
760 buildtools/Cmake/GenerateRefGuide.cmake
761 buildtools/Cmake/test_prog/prog_getline.c
762 buildtools/Cmake/test_prog/prog_mutex_timedlock.c
763 buildtools/Cmake/test_prog/prog_GRAS_ARCH.c
764 buildtools/Cmake/test_prog/prog_printf_null.c
765 buildtools/Cmake/test_prog/prog_sem_timedwait.c
766 buildtools/Cmake/test_prog/prog_va_copy.c
767 buildtools/Cmake/test_prog/prog_thread_storage.c
768 buildtools/Cmake/test_prog/prog_AC_CHECK_MCSC.c
769 buildtools/Cmake/test_prog/prog_stacksetup.c
770 buildtools/Cmake/test_prog/prog_snprintf.c
771 buildtools/Cmake/test_prog/prog_GRAS_CHECK_STRUCT_COMPACTION.c
772 buildtools/Cmake/test_prog/prog_sem_init.c
773 buildtools/Cmake/test_prog/prog_sem_open.c
774 buildtools/Cmake/test_prog/prog_stackgrowth.c
775 buildtools/Cmake/test_prog/prog_max_size.c
776 buildtools/Cmake/test_prog/prog_vsnprintf.c
777 buildtools/Cmake/Modules/FindRubySimgrid.cmake
778 buildtools/Cmake/Modules/FindF2c.cmake
779 buildtools/Cmake/Modules/FindPCRE.cmake
780 buildtools/Cmake/Modules/FindPcreWin.cmake
781 buildtools/Cmake/Modules/FindGTnets.cmake
782 buildtools/Cmake/Modules/FindNS3.cmake
783 buildtools/Cmake/Modules/FindSimGrid.cmake
784 buildtools/Cmake/Modules/FindLua51Simgrid.cmake
785 buildtools/Cmake/Modules/FindGraphviz.cmake
786 buildtools/Cmake/Modules/FindValgrind.cmake
787 buildtools/Cmake/Modules/FindRngStream.cmake
788 buildtools/Cmake/MakeExe.cmake
789 buildtools/Cmake/PrintArgs.cmake
790 buildtools/Cmake/MakeLib.cmake
791 buildtools/Cmake/Distrib.cmake
792 buildtools/Cmake/src/gras_config.h.in
793 buildtools/Cmake/src/simgrid.nsi.in
797 set(PLATFORMS_EXAMPLES
798 examples/platforms/bypassASroute.xml
799 examples/platforms/bypassRoute.xml
800 examples/platforms/cloud.xml
801 examples/platforms/cluster_and_one_host.xml
802 examples/platforms/cluster_no_backbone.xml
803 examples/platforms/cluster_routing_rulebased.xml
804 examples/platforms/clusters_routing_full.xml
805 examples/platforms/cluster.xml
806 examples/platforms/config.xml
807 examples/platforms/data_center.xml
808 examples/platforms/g5k.xml
809 examples/platforms/griffon.xml
810 examples/platforms/multicore_machine.xml
811 examples/platforms/prop.xml
812 examples/platforms/storage.xml
813 examples/platforms/vivaldi.xml
814 examples/platforms/conf/gridpp_grid_2004.conf
815 examples/platforms/conf/gridpp_grid_2004.xml
816 examples/platforms/conf/lcg_sept2004_grid.conf
817 examples/platforms/conf/lcg_sept2004_grid.xml
818 examples/platforms/conf/transform_optorsim_platform.pl
819 examples/platforms/content/storage_content.txt
820 examples/platforms/generation_scripts/create_hierarchical_clusters.pl
821 examples/platforms/generation_scripts/enhancedDTDwithHierarchicalCluster.pl
822 examples/platforms/generation_scripts/generate_g5k_platform_cabinets.pl
823 examples/platforms/generation_scripts/generate_g5k_platform.pl
824 examples/platforms/syscoord/generate_peer_platform.pl
825 examples/platforms/syscoord/median_harvard.syscoord
826 examples/platforms/syscoord/median_harvard.xml
827 examples/platforms/syscoord/median_meridian.syscoord
828 examples/platforms/syscoord/median_meridian.xml
829 examples/platforms/syscoord/median_p2psim.syscoord
830 examples/platforms/syscoord/median_p2psim.xml
833 set(generated_src_files
834 ${CMAKE_HOME_DIRECTORY}/src/xbt/datadesc/ddt_parse.yy.c
835 src/xbt/automaton/parserPromela.tab.cacc
836 src/xbt/automaton/parserPromela.tab.hacc
837 src/xbt/automaton/automaton_lexer.yy.c
840 foreach(file ${generated_src_files})
841 set_source_files_properties(${file} PROPERTIES GENERATED true)
842 endforeach(file ${generated_src_files})