1 ### define source packages
4 src/bindings/java/MANIFEST.in
5 src/include/instr/instr_interface.hpp
6 src/include/mc/datatypes.h
8 src/include/simgrid/sg_config.hpp
9 src/include/surf/surf.hpp
10 src/include/xbt/parmap.hpp
11 src/include/xbt/mmalloc.h
15 src/msg/msg_private.hpp
19 src/simdag/simdag_private.hpp
22 src/simix/popping_private.hpp
23 src/simix/popping_bodies.cpp
24 src/simix/popping_generated.cpp
25 src/simix/popping_enum.h
26 src/simix/popping_accessors.hpp
27 src/simix/smx_host_private.hpp
28 src/simix/smx_io_private.hpp
29 src/simix/smx_network_private.hpp
30 src/simix/smx_private.hpp
31 src/simix/smx_synchro_private.hpp
32 src/smpi/colls/coll_tuned_topo.hpp
33 src/smpi/colls/colls_private.hpp
34 src/smpi/colls/smpi_mvapich2_selector_stampede.hpp
35 src/smpi/include/private.hpp
36 src/smpi/include/smpi_utils.hpp
37 src/surf/cpu_cas01.hpp
38 src/surf/cpu_interface.hpp
40 src/surf/network_cm02.hpp
41 src/surf/network_constant.hpp
42 src/surf/network_interface.hpp
43 src/surf/network_ns3.hpp
44 src/surf/network_smpi.hpp
45 src/surf/network_ib.hpp
46 src/surf/ns3/ns3_simulator.hpp
47 src/surf/trace_mgr_test.cpp
48 src/surf/xml/simgrid.dtd
49 src/surf/xml/simgrid_dtd.h
50 src/surf/xml/simgrid_dtd.c
51 src/surf/xml/surfxml_sax_cb.cpp
53 src/surf/StorageImpl.hpp
54 src/surf/storage_n11.hpp
55 src/surf/surf_interface.hpp
56 src/surf/surf_private.hpp
57 src/surf/PropertyHolder.hpp
58 src/surf/host_clm03.hpp
60 src/surf/ptask_L07.hpp
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.cpp
67 src/xbt/backtrace_linux.cpp
68 src/xbt/dict_private.h
70 src/xbt/mallocator_private.h
72 src/xbt/mmalloc/mfree.c
74 src/xbt/mmalloc/mm_legacy.c
75 src/xbt/mmalloc/mm_module.c
76 src/xbt/mmalloc/mmalloc.c
77 src/xbt/mmalloc/mmalloc.info
78 src/xbt/mmalloc/mmalloc.texi
79 src/xbt/mmalloc/mmorecore.c
80 src/xbt/mmalloc/mmprivate.h
81 src/xbt/mmalloc/mrealloc.c
82 src/xbt/mmalloc/swag.c
83 src/xbt/mmalloc/swag.h
84 tools/tesh/generate_tesh
86 teshsuite/lua/lua_platforms.tesh
87 examples/smpi/mc/only_send_deterministic.tesh
88 examples/smpi/mc/non_deterministic.tesh
90 examples/java/.classpath
91 examples/java/.project
96 src/smpi/bindings/smpi_mpi.cpp
97 src/smpi/bindings/smpi_pmpi.cpp
98 src/smpi/bindings/smpi_pmpi_coll.cpp
99 src/smpi/bindings/smpi_pmpi_comm.cpp
100 src/smpi/bindings/smpi_pmpi_group.cpp
101 src/smpi/bindings/smpi_pmpi_info.cpp
102 src/smpi/bindings/smpi_pmpi_op.cpp
103 src/smpi/bindings/smpi_pmpi_request.cpp
104 src/smpi/bindings/smpi_pmpi_topo.cpp
105 src/smpi/bindings/smpi_pmpi_type.cpp
106 src/smpi/bindings/smpi_pmpi_win.cpp
107 src/smpi/bindings/smpi_f77.cpp
108 src/smpi/bindings/smpi_f77_coll.cpp
109 src/smpi/bindings/smpi_f77_comm.cpp
110 src/smpi/bindings/smpi_f77_request.cpp
111 src/smpi/bindings/smpi_f77_type.cpp
112 src/smpi/colls/allgather/allgather-2dmesh.cpp
113 src/smpi/colls/allgather/allgather-3dmesh.cpp
114 src/smpi/colls/allgather/allgather-GB.cpp
115 src/smpi/colls/allgather/allgather-NTSLR-NB.cpp
116 src/smpi/colls/allgather/allgather-NTSLR.cpp
117 src/smpi/colls/allgather/allgather-SMP-NTS.cpp
118 src/smpi/colls/allgather/allgather-bruck.cpp
119 src/smpi/colls/allgather/allgather-loosely-lr.cpp
120 src/smpi/colls/allgather/allgather-ompi-neighborexchange.cpp
121 src/smpi/colls/allgather/allgather-pair.cpp
122 src/smpi/colls/allgather/allgather-mvapich-smp.cpp
123 src/smpi/colls/allgather/allgather-rdb.cpp
124 src/smpi/colls/allgather/allgather-rhv.cpp
125 src/smpi/colls/allgather/allgather-ring.cpp
126 src/smpi/colls/allgather/allgather-smp-simple.cpp
127 src/smpi/colls/allgather/allgather-spreading-simple.cpp
128 src/smpi/colls/allgatherv/allgatherv-GB.cpp
129 src/smpi/colls/allgatherv/allgatherv-mpich-rdb.cpp
130 src/smpi/colls/allgatherv/allgatherv-mpich-ring.cpp
131 src/smpi/colls/allgatherv/allgatherv-ompi-bruck.cpp
132 src/smpi/colls/allgatherv/allgatherv-ompi-neighborexchange.cpp
133 src/smpi/colls/allgatherv/allgatherv-pair.cpp
134 src/smpi/colls/allgatherv/allgatherv-ring.cpp
135 src/smpi/colls/allreduce/allreduce-lr.cpp
136 src/smpi/colls/allreduce/allreduce-ompi-ring-segmented.cpp
137 src/smpi/colls/allreduce/allreduce-rab-rdb.cpp
138 src/smpi/colls/allreduce/allreduce-rab1.cpp
139 src/smpi/colls/allreduce/allreduce-rab2.cpp
140 src/smpi/colls/allreduce/allreduce-rdb.cpp
141 src/smpi/colls/allreduce/allreduce-redbcast.cpp
142 src/smpi/colls/allreduce/allreduce-smp-binomial-pipeline.cpp
143 src/smpi/colls/allreduce/allreduce-smp-binomial.cpp
144 src/smpi/colls/allreduce/allreduce-smp-rdb.cpp
145 src/smpi/colls/allreduce/allreduce-smp-rsag-lr.cpp
146 src/smpi/colls/allreduce/allreduce-smp-rsag-rab.cpp
147 src/smpi/colls/allreduce/allreduce-smp-rsag.cpp
148 src/smpi/colls/allreduce/allreduce-mvapich-rs.cpp
149 src/smpi/colls/allreduce/allreduce-mvapich-two-level.cpp
150 src/smpi/colls/alltoall/alltoall-basic-linear.cpp
151 src/smpi/colls/alltoall/alltoall-2dmesh.cpp
152 src/smpi/colls/alltoall/alltoall-3dmesh.cpp
153 src/smpi/colls/alltoall/alltoall-bruck.cpp
154 src/smpi/colls/alltoall/alltoall-pair-light-barrier.cpp
155 src/smpi/colls/alltoall/alltoall-pair-mpi-barrier.cpp
156 src/smpi/colls/alltoall/alltoall-pair-one-barrier.cpp
157 src/smpi/colls/alltoall/alltoall-pair.cpp
158 src/smpi/colls/alltoall/alltoall-rdb.cpp
159 src/smpi/colls/alltoall/alltoall-ring-light-barrier.cpp
160 src/smpi/colls/alltoall/alltoall-ring-mpi-barrier.cpp
161 src/smpi/colls/alltoall/alltoall-ring-one-barrier.cpp
162 src/smpi/colls/alltoall/alltoall-ring.cpp
163 src/smpi/colls/alltoall/alltoall-mvapich-scatter-dest.cpp
164 src/smpi/colls/alltoallv/alltoallv-bruck.cpp
165 src/smpi/colls/alltoallv/alltoallv-ompi-basic-linear.cpp
166 src/smpi/colls/alltoallv/alltoallv-pair-light-barrier.cpp
167 src/smpi/colls/alltoallv/alltoallv-pair-mpi-barrier.cpp
168 src/smpi/colls/alltoallv/alltoallv-pair-one-barrier.cpp
169 src/smpi/colls/alltoallv/alltoallv-pair.cpp
170 src/smpi/colls/alltoallv/alltoallv-ring-light-barrier.cpp
171 src/smpi/colls/alltoallv/alltoallv-ring-mpi-barrier.cpp
172 src/smpi/colls/alltoallv/alltoallv-ring-one-barrier.cpp
173 src/smpi/colls/alltoallv/alltoallv-ring.cpp
174 src/smpi/colls/barrier/barrier-ompi.cpp
175 src/smpi/colls/barrier/barrier-mvapich2-pair.cpp
176 src/smpi/colls/bcast/bcast-NTSB.cpp
177 src/smpi/colls/bcast/bcast-NTSL-Isend.cpp
178 src/smpi/colls/bcast/bcast-NTSL.cpp
179 src/smpi/colls/bcast/bcast-SMP-binary.cpp
180 src/smpi/colls/bcast/bcast-SMP-binomial.cpp
181 src/smpi/colls/bcast/bcast-SMP-linear.cpp
182 src/smpi/colls/bcast/bcast-arrival-pattern-aware-wait.cpp
183 src/smpi/colls/bcast/bcast-arrival-pattern-aware.cpp
184 src/smpi/colls/bcast/bcast-arrival-scatter.cpp
185 src/smpi/colls/bcast/bcast-binomial-tree.cpp
186 src/smpi/colls/bcast/bcast-flattree-pipeline.cpp
187 src/smpi/colls/bcast/bcast-flattree.cpp
188 src/smpi/colls/bcast/bcast-ompi-pipeline.cpp
189 src/smpi/colls/bcast/bcast-ompi-split-bintree.cpp
190 src/smpi/colls/bcast/bcast-mvapich-smp.cpp
191 src/smpi/colls/bcast/bcast-scatter-LR-allgather.cpp
192 src/smpi/colls/bcast/bcast-scatter-rdb-allgather.cpp
193 src/smpi/colls/coll_tuned_topo.cpp
194 src/smpi/colls/colls_global.cpp
195 src/smpi/colls/gather/gather-ompi.cpp
196 src/smpi/colls/gather/gather-mvapich.cpp
197 src/smpi/colls/reduce/reduce-NTSL.cpp
198 src/smpi/colls/reduce/reduce-arrival-pattern-aware.cpp
199 src/smpi/colls/reduce/reduce-binomial.cpp
200 src/smpi/colls/reduce/reduce-flat-tree.cpp
201 src/smpi/colls/reduce/reduce-ompi.cpp
202 src/smpi/colls/reduce/reduce-scatter-gather.cpp
203 src/smpi/colls/reduce_scatter/reduce_scatter-mpich.cpp
204 src/smpi/colls/reduce_scatter/reduce_scatter-ompi.cpp
205 src/smpi/colls/reduce/reduce-mvapich-knomial.cpp
206 src/smpi/colls/reduce/reduce-mvapich-two-level.cpp
207 src/smpi/colls/reduce/reduce-rab.cpp
208 src/smpi/colls/scatter/scatter-ompi.cpp
209 src/smpi/colls/scatter/scatter-mvapich-two-level.cpp
210 src/smpi/colls/smpi_automatic_selector.cpp
211 src/smpi/colls/smpi_default_selector.cpp
212 src/smpi/colls/smpi_mpich_selector.cpp
213 src/smpi/colls/smpi_intel_mpi_selector.cpp
214 src/smpi/colls/smpi_openmpi_selector.cpp
215 src/smpi/colls/smpi_mvapich2_selector.cpp
216 src/smpi/colls/smpi_coll.cpp
217 src/smpi/internals/instr_smpi.cpp
218 src/smpi/internals/smpi_bench.cpp
219 src/smpi/internals/smpi_memory.cpp
220 src/smpi/internals/smpi_shared.cpp
221 src/smpi/internals/smpi_static_variables.cpp
222 src/smpi/internals/smpi_deployment.cpp
223 src/smpi/internals/smpi_dvfs.cpp
224 src/smpi/internals/smpi_global.cpp
225 src/smpi/internals/SmpiHost.cpp
226 src/smpi/internals/smpi_replay.cpp
227 src/smpi/internals/smpi_process.cpp
228 src/smpi/internals/smpi_utils.cpp
229 src/smpi/mpi/smpi_comm.cpp
230 src/smpi/mpi/smpi_datatype.cpp
231 src/smpi/mpi/smpi_datatype_derived.cpp
232 src/smpi/mpi/smpi_f2c.cpp
233 src/smpi/mpi/smpi_group.cpp
234 src/smpi/mpi/smpi_info.cpp
235 src/smpi/mpi/smpi_keyvals.cpp
236 src/smpi/mpi/smpi_op.cpp
237 src/smpi/mpi/smpi_request.cpp
238 src/smpi/mpi/smpi_status.cpp
239 src/smpi/mpi/smpi_topo.cpp
240 src/smpi/mpi/smpi_win.cpp
241 src/smpi/include/smpi_coll.hpp
242 src/smpi/include/smpi_comm.hpp
243 src/smpi/include/smpi_f2c.hpp
244 src/smpi/include/smpi_group.hpp
245 src/smpi/include/SmpiHost.hpp
246 src/smpi/include/smpi_datatype.hpp
247 src/smpi/include/smpi_info.hpp
248 src/smpi/include/smpi_keyvals.hpp
249 src/smpi/include/smpi_datatype_derived.hpp
250 src/smpi/include/smpi_op.hpp
251 src/smpi/include/smpi_process.hpp
252 src/smpi/include/smpi_request.hpp
253 src/smpi/include/smpi_status.hpp
254 src/smpi/include/smpi_win.hpp
255 src/smpi/include/smpi_topo.hpp
256 src/smpi/plugins/sampi_loadbalancer.cpp
257 src/surf/network_smpi.cpp
258 src/surf/network_ib.cpp
263 src/xbt/automaton/automaton.c
264 src/xbt/automaton/automatonparse_promela.c
265 src/xbt/backtrace.cpp
269 src/xbt/dict_cursor.c
273 src/xbt/exception.cpp
277 src/xbt/memory_map.cpp
278 src/xbt/memory_map.hpp
282 src/xbt/xbt_log_appender_file.c
283 src/xbt/xbt_log_layout_format.c
284 src/xbt/xbt_log_layout_simple.c
286 src/xbt/xbt_os_file.cpp
287 src/xbt/xbt_os_synchro.cpp
288 src/xbt/xbt_os_time.c
289 src/xbt/xbt_replay.cpp
296 set(XBT_SRC ${XBT_SRC} src/xbt/mmalloc/mm.c )
299 set(NS3_SRC src/surf/network_ns3.cpp
300 src/surf/ns3/ns3_simulator.cpp )
303 src/kernel/lmm/fair_bottleneck.cpp
304 src/kernel/lmm/lagrange.cpp
305 src/kernel/lmm/maxmin.hpp
306 src/kernel/lmm/maxmin.cpp
308 src/kernel/resource/Action.cpp
309 src/kernel/resource/Model.cpp
310 src/kernel/resource/Resource.cpp
312 src/kernel/routing/ClusterZone.cpp
313 src/kernel/routing/DijkstraZone.cpp
314 src/kernel/routing/DragonflyZone.cpp
315 src/kernel/routing/EmptyZone.cpp
316 src/kernel/routing/FatTreeZone.cpp
317 src/kernel/routing/FloydZone.cpp
318 src/kernel/routing/FullZone.cpp
319 src/kernel/routing/NetPoint.cpp
320 src/kernel/routing/NetZoneImpl.cpp
321 src/kernel/routing/TorusZone.cpp
322 src/kernel/routing/RoutedZone.cpp
323 src/kernel/routing/VivaldiZone.cpp
325 src/kernel/EngineImpl.cpp
326 src/kernel/EngineImpl.hpp
328 src/surf/cpu_cas01.cpp
329 src/surf/cpu_interface.cpp
331 src/surf/instr_routing.cpp
332 src/surf/network_cm02.cpp
333 src/surf/network_constant.cpp
334 src/surf/network_interface.cpp
335 src/surf/plugins/dirty_page_tracking.cpp
336 src/surf/plugins/host_dvfs.cpp
337 src/surf/plugins/host_energy.cpp
338 src/surf/plugins/link_energy.cpp
339 src/surf/plugins/host_load.cpp
340 src/surf/PropertyHolder.cpp
341 src/surf/sg_platf.cpp
342 src/surf/StorageImpl.cpp
343 src/surf/storage_n11.cpp
344 src/surf/surf_c_bindings.cpp
345 src/surf/surf_interface.cpp
346 src/surf/xml/platf.hpp
347 src/surf/xml/platf_private.hpp
348 src/surf/xml/surfxml_sax_cb.cpp
349 src/surf/xml/surfxml_parseplatf.cpp
350 src/surf/trace_mgr.hpp
351 src/surf/trace_mgr.cpp
352 src/surf/host_clm03.cpp
353 src/surf/HostImpl.cpp
354 src/surf/ptask_L07.cpp
358 src/plugins/file_system/s4u_FileSystem.cpp
359 src/plugins/vm/VirtualMachineImpl.hpp
360 src/plugins/vm/s4u_VirtualMachine.cpp
361 src/plugins/vm/VirtualMachineImpl.hpp
362 src/plugins/vm/VirtualMachineImpl.cpp
363 src/plugins/vm/VmHostExt.hpp
364 src/plugins/vm/VmHostExt.cpp
365 src/plugins/vm/VmLiveMigration.cpp
366 src/plugins/vm/VmLiveMigration.hpp
369 set(SIMIX_GENERATED_SRC src/simix/popping_generated.cpp )
371 src/kernel/future.cpp
373 src/simix/smx_context.cpp
374 src/kernel/context/Context.cpp
375 src/kernel/context/Context.hpp
376 src/kernel/context/ContextRaw.cpp
377 src/kernel/context/ContextRaw.hpp
378 src/simix/smx_deployment.cpp
379 src/simix/smx_environment.cpp
380 src/simix/smx_global.cpp
381 src/simix/smx_host.cpp
383 src/simix/smx_network.cpp
384 src/simix/ActorImpl.cpp
385 src/simix/ActorImpl.hpp
386 src/simix/smx_synchro.cpp
387 src/simix/popping.cpp
388 src/kernel/activity/ActivityImpl.cpp
389 src/kernel/activity/ActivityImpl.hpp
390 src/kernel/activity/ConditionVariableImpl.cpp
391 src/kernel/activity/ConditionVariableImpl.hpp
392 src/kernel/activity/CommImpl.cpp
393 src/kernel/activity/CommImpl.hpp
394 src/kernel/activity/ExecImpl.cpp
395 src/kernel/activity/ExecImpl.hpp
396 src/kernel/activity/MailboxImpl.cpp
397 src/kernel/activity/MailboxImpl.hpp
398 src/kernel/activity/MutexImpl.cpp
399 src/kernel/activity/MutexImpl.hpp
400 src/kernel/activity/SleepImpl.cpp
401 src/kernel/activity/SleepImpl.hpp
402 src/kernel/activity/SynchroIo.cpp
403 src/kernel/activity/SynchroIo.hpp
404 src/kernel/activity/SynchroRaw.cpp
405 src/kernel/activity/SynchroRaw.hpp
407 ${SIMIX_GENERATED_SRC}
410 # Boost context may not be available
411 if (HAVE_BOOST_CONTEXTS)
414 src/kernel/context/ContextBoost.hpp
415 src/kernel/context/ContextBoost.cpp)
419 src/kernel/context/ContextBoost.hpp
420 src/kernel/context/ContextBoost.cpp)
424 src/s4u/s4u_Actor.cpp
425 src/s4u/s4u_Activity.cpp
426 src/s4u/s4u_ConditionVariable.cpp
428 src/s4u/s4u_Engine.cpp
432 src/s4u/s4u_Mailbox.cpp
433 src/s4u/s4u_Mutex.cpp
434 src/s4u/s4u_Netzone.cpp
435 src/s4u/s4u_Storage.cpp
439 src/simgrid/sg_config.cpp
445 src/msg/instr_msg_process.cpp
446 src/msg/instr_msg_task.cpp
447 src/msg/msg_deployment.cpp
448 src/msg/msg_environment.cpp
449 src/msg/msg_global.cpp
451 src/msg/msg_legacy.cpp
452 src/msg/msg_mailbox.cpp
453 src/msg/msg_process.cpp
454 src/msg/msg_synchro.cpp
459 src/simdag/sd_daxloader.cpp
460 src/simdag/sd_dotloader.cpp
461 src/simdag/sd_global.cpp
462 src/simdag/sd_task.cpp
466 src/bindings/lua/lua_private.hpp
467 src/bindings/lua/lua_utils.hpp
468 src/bindings/lua/simgrid_lua.hpp
472 src/bindings/java/jmsg.cpp
473 src/bindings/java/jmsg.hpp
474 src/bindings/java/jmsg_as.cpp
475 src/bindings/java/jmsg_as.hpp
476 src/bindings/java/jmsg_comm.cpp
477 src/bindings/java/jmsg_comm.h
478 src/bindings/java/jmsg_file.cpp
479 src/bindings/java/jmsg_file.h
480 src/bindings/java/jmsg_host.cpp
481 src/bindings/java/jmsg_host.h
482 src/bindings/java/jmsg_process.cpp
483 src/bindings/java/jmsg_process.h
484 src/bindings/java/jmsg_rngstream.cpp
485 src/bindings/java/jmsg_rngstream.h
486 src/bindings/java/jmsg_synchro.cpp
487 src/bindings/java/jmsg_synchro.h
488 src/bindings/java/jmsg_task.cpp
489 src/bindings/java/jmsg_task.h
490 src/bindings/java/jmsg_vm.cpp
491 src/bindings/java/jmsg_vm.h
492 src/bindings/java/jxbt_utilities.cpp
493 src/bindings/java/jxbt_utilities.hpp
494 src/bindings/java/JavaContext.cpp
495 src/bindings/java/JavaContext.hpp
496 src/bindings/java/jmsg_storage.cpp
497 src/bindings/java/jmsg_storage.h
501 src/bindings/java/org/simgrid/NativeLib.java
502 src/bindings/java/org/simgrid/msg/As.java
503 src/bindings/java/org/simgrid/msg/Comm.java
504 src/bindings/java/org/simgrid/msg/File.java
505 src/bindings/java/org/simgrid/msg/Host.java
506 src/bindings/java/org/simgrid/msg/HostFailureException.java
507 src/bindings/java/org/simgrid/msg/HostNotFoundException.java
508 src/bindings/java/org/simgrid/msg/JniException.java
509 src/bindings/java/org/simgrid/msg/Msg.java
510 src/bindings/java/org/simgrid/msg/MsgException.java
511 src/bindings/java/org/simgrid/msg/Mutex.java
512 src/bindings/java/org/simgrid/msg/Process.java
513 src/bindings/java/org/simgrid/msg/ProcessKilledError.java
514 src/bindings/java/org/simgrid/msg/ProcessNotFoundException.java
515 src/bindings/java/org/simgrid/msg/RngStream.java
516 src/bindings/java/org/simgrid/msg/Semaphore.java
517 src/bindings/java/org/simgrid/msg/Storage.java
518 src/bindings/java/org/simgrid/msg/StorageNotFoundException.java
519 src/bindings/java/org/simgrid/msg/Task.java
520 src/bindings/java/org/simgrid/msg/TaskCancelledException.java
521 src/bindings/java/org/simgrid/msg/TimeoutException.java
522 src/bindings/java/org/simgrid/msg/TransferFailureException.java
523 src/bindings/java/org/simgrid/msg/VM.java
527 src/bindings/java/jtrace.cpp
528 src/bindings/java/jtrace.h
531 set(JTRACE_JAVA_SRC src/bindings/java/org/simgrid/trace/Trace.java)
533 list(APPEND JMSG_C_SRC ${JTRACE_C_SRC})
534 list(APPEND JMSG_JAVA_SRC ${JTRACE_JAVA_SRC})
537 src/bindings/lua/lua_host.cpp
538 src/bindings/lua/lua_platf.cpp
539 src/bindings/lua/lua_debug.cpp
540 src/bindings/lua/simgrid_lua.cpp
544 src/instr/instr_config.cpp
545 src/instr/instr_interface.cpp
546 src/instr/instr_paje_containers.cpp
547 src/instr/instr_paje_containers.hpp
548 src/instr/instr_paje_events.cpp
549 src/instr/instr_paje_events.hpp
550 src/instr/instr_paje_header.cpp
551 src/instr/instr_paje_trace.cpp
552 src/instr/instr_paje_types.cpp
553 src/instr/instr_paje_types.hpp
554 src/instr/instr_paje_values.cpp
555 src/instr/instr_paje_values.hpp
556 src/instr/instr_private.hpp
557 src/instr/instr_smpi.hpp
558 src/instr/instr_resource_utilization.cpp
562 include/simgrid/jedule/jedule_events.hpp
563 include/simgrid/jedule/jedule.hpp
564 include/simgrid/jedule/jedule_platform.hpp
565 include/simgrid/jedule/jedule_sd_binding.h
566 src/instr/jedule/jedule_events.cpp
567 src/instr/jedule/jedule.cpp
568 src/instr/jedule/jedule_platform.cpp
569 src/instr/jedule/jedule_sd_binding.cpp
584 src/mc/checker/Checker.cpp
585 src/mc/checker/Checker.hpp
586 src/mc/checker/CommunicationDeterminismChecker.cpp
587 src/mc/checker/CommunicationDeterminismChecker.hpp
588 src/mc/checker/SafetyChecker.cpp
589 src/mc/checker/SafetyChecker.hpp
590 src/mc/checker/LivenessChecker.cpp
591 src/mc/checker/LivenessChecker.hpp
592 src/mc/remote/Channel.cpp
593 src/mc/remote/Channel.hpp
594 src/mc/remote/Client.cpp
595 src/mc/remote/Client.hpp
596 src/mc/remote/RemoteClient.hpp
597 src/mc/remote/RemoteClient.cpp
598 src/mc/remote/RemotePtr.hpp
599 src/mc/remote/mc_protocol.h
600 src/mc/remote/mc_protocol.cpp
602 src/mc/AddressSpace.hpp
605 src/mc/ModelChecker.hpp
606 src/mc/ModelChecker.cpp
607 src/mc/ObjectInformation.hpp
608 src/mc/ObjectInformation.cpp
611 src/mc/ChunkedData.hpp
612 src/mc/ChunkedData.cpp
613 src/mc/RegionSnapshot.cpp
614 src/mc/RegionSnapshot.hpp
617 src/mc/mc_forward.hpp
622 src/mc/mc_unw_vmread.cpp
623 src/mc/mc_checkpoint.cpp
624 src/mc/mc_snapshot.hpp
625 src/mc/mc_snapshot.cpp
626 src/mc/mc_page_snapshot.cpp
627 src/mc/mc_comm_pattern.cpp
628 src/mc/mc_comm_pattern.hpp
632 src/mc/mc_dwarf_attrnames.cpp
633 src/mc/DwarfExpression.hpp
634 src/mc/DwarfExpression.cpp
635 src/mc/mc_dwarf_tagnames.cpp
639 src/mc/LocationList.hpp
640 src/mc/LocationList.cpp
644 src/mc/mc_private.hpp
645 src/mc/mc_request.hpp
646 src/mc/mc_request.cpp
650 src/mc/VisitedState.cpp
651 src/mc/VisitedState.hpp
652 src/mc/mc_client_api.cpp
658 src/mc/Transition.hpp
661 set(MC_SIMGRID_MC_SRC src/mc/checker/simgrid_mc.cpp)
663 set(headers_to_install
665 include/simgrid/actor.h
666 include/simgrid/chrono.hpp
667 include/simgrid/plugins/dvfs.h
668 include/simgrid/plugins/energy.h
669 include/simgrid/plugins/file_system.h
670 include/simgrid/plugins/live_migration.h
671 include/simgrid/plugins/load.h
672 include/simgrid/plugins/load_balancer.h
673 include/simgrid/smpi/replay.hpp
674 include/simgrid/instr.h
675 include/simgrid/msg.h
676 include/simgrid/simdag.h
677 include/simgrid/modelchecker.h
678 include/simgrid/forward.h
679 include/simgrid/simix.h
680 include/simgrid/simix.hpp
681 include/simgrid/simix/blocking_simcall.hpp
682 include/simgrid/kernel/future.hpp
683 include/simgrid/host.h
684 include/simgrid/link.h
685 include/simgrid/storage.h
687 include/simgrid/zone.h
688 include/simgrid/s4u/Activity.hpp
689 include/simgrid/s4u/Actor.hpp
690 include/simgrid/s4u/Comm.hpp
691 include/simgrid/s4u/ConditionVariable.hpp
692 include/simgrid/s4u/Engine.hpp
693 include/simgrid/s4u/Exec.hpp
694 include/simgrid/s4u/Host.hpp
695 include/simgrid/s4u/Link.hpp
696 include/simgrid/s4u/Mailbox.hpp
697 include/simgrid/s4u/Mutex.hpp
698 include/simgrid/s4u/NetZone.hpp
699 include/simgrid/s4u/Storage.hpp
700 include/simgrid/s4u/VirtualMachine.hpp
701 include/simgrid/s4u.hpp
703 include/simgrid/kernel/resource/Action.hpp
704 include/simgrid/kernel/resource/Model.hpp
705 include/simgrid/kernel/resource/Resource.hpp
707 include/simgrid/kernel/routing/ClusterZone.hpp
708 include/simgrid/kernel/routing/DijkstraZone.hpp
709 include/simgrid/kernel/routing/DragonflyZone.hpp
710 include/simgrid/kernel/routing/EmptyZone.hpp
711 include/simgrid/kernel/routing/FatTreeZone.hpp
712 include/simgrid/kernel/routing/FloydZone.hpp
713 include/simgrid/kernel/routing/FullZone.hpp
714 include/simgrid/kernel/routing/NetPoint.hpp
715 include/simgrid/kernel/routing/NetZoneImpl.hpp
716 include/simgrid/kernel/routing/RoutedZone.hpp
717 include/simgrid/kernel/routing/TorusZone.hpp
718 include/simgrid/kernel/routing/VivaldiZone.hpp
722 include/smpi/smpi_main.h
723 include/smpi/smpi_helpers.h
724 include/smpi/smpi_extended_traces.h
725 include/smpi/smpi_extended_traces_fortran.h
726 include/smpi/forward.hpp
728 include/xbt/asserts.h
729 include/xbt/automaton.h
730 include/xbt/automaton.hpp
731 include/xbt/backtrace.h
732 include/xbt/backtrace.hpp
735 include/xbt/config.hpp
741 include/xbt/exception.hpp
742 include/xbt/Extendable.hpp
744 include/xbt/functional.hpp
745 include/xbt/function_types.h
746 include/xbt/future.hpp
750 include/xbt/mallocator.h
754 include/xbt/range.hpp
755 include/xbt/replay.hpp
756 include/xbt/RngStream.h
757 include/xbt/signal.hpp
759 include/xbt/string.hpp
760 include/xbt/synchro.h
762 include/xbt/system_error.hpp
763 include/xbt/utility.hpp
765 include/xbt/xbt_os_thread.h
766 include/xbt/xbt_os_time.h
768 set(source_of_generated_headers
769 include/simgrid_config.h.in
770 include/smpi/mpif.h.in)
772 ### depend of some variables setted upper
773 # -->HAVE_THREAD_CONTEXTS HAVE_UCONTEXT_CONTEXTS
774 if(${HAVE_THREAD_CONTEXTS}) #pthread
775 set(SURF_SRC ${SURF_SRC} src/kernel/context/ContextThread.cpp
776 src/kernel/context/ContextThread.hpp )
778 set(EXTRA_DIST ${EXTRA_DIST} src/kernel/context/ContextThread.cpp
779 src/kernel/context/ContextThread.hpp )
782 if(${HAVE_THREAD_CONTEXTS}) #pthread
783 set(SURF_SRC ${SURF_SRC} src/xbt/xbt_os_thread.c)
785 set(EXTRA_DIST ${EXTRA_DIST} src/xbt/xbt_os_thread.c
789 if(${HAVE_UCONTEXT_CONTEXTS}) #ucontext
790 set(SURF_SRC ${SURF_SRC} src/kernel/context/ContextUnix.hpp
791 src/kernel/context/ContextUnix.cpp)
792 else() # NOT ucontext
793 set(EXTRA_DIST ${EXTRA_DIST} src/kernel/context/ContextUnix.hpp
794 src/kernel/context/ContextUnix.cpp)
797 ### Simgrid Lib sources
812 if(${SIMGRID_HAVE_JEDULE})
813 set(simgrid_sources ${simgrid_sources} ${JEDULE_SRC})
815 set(EXTRA_DIST ${EXTRA_DIST} ${JEDULE_SRC})
819 set(simgrid_sources ${simgrid_sources} ${SMPI_SRC})
823 set(simgrid_sources ${simgrid_sources} ${MC_SRC})
827 set(simgrid_sources ${simgrid_sources} ${NS3_SRC})
834 src/kernel/context/ContextThread.cpp
835 src/kernel/context/ContextThread.hpp
836 src/xbt/xbt_os_thread.c
841 set(simgrid_sources ${simgrid_sources} ${LUA_SRC})
843 set(EXTRA_DIST ${EXTRA_DIST} ${LUA_SRC})
849 doc/graphical-toc.svg
850 doc/sg_thread_model.fig
852 doc/surf_nutshell.fig
857 doc/triva-graph_configuration.png
858 doc/triva-graph_configuration.svg
859 doc/triva-graph_visualization.png
860 doc/triva-graph_visualization.svg
861 doc/triva-time_interval.png
862 doc/triva-time_interval.svg
865 doc/doxygen/application.doc
866 doc/doxygen/community.doc
867 doc/doxygen/deployment.doc
868 doc/doxygen/examples.doc
869 doc/doxygen/footer.html
870 doc/doxygen/getting_started.doc
871 doc/doxygen/header.html
872 doc/doxygen/howtos.doc
873 doc/doxygen/index.doc
874 doc/doxygen/inside.doc
875 doc/doxygen/inside_tests.doc
876 doc/doxygen/inside_cmake.doc
877 doc/doxygen/inside_doxygen.doc
878 doc/doxygen/inside_extending.doc
879 doc/doxygen/inside_release.doc
880 doc/doxygen/install.doc
881 doc/doxygen/install_yours.doc
883 doc/tuto-msg/tuto-msg.doc
884 doc/tuto-msg/overview.svg
885 doc/doxygen/tutorial_smpi.doc
886 doc/doxygen/models.doc
887 doc/doxygen/module-msg.doc
888 doc/doxygen/module-s4u.doc
889 doc/doxygen/module-sd.doc
890 doc/doxygen/module-simix.doc
891 doc/doxygen/module-smpi.doc
892 doc/doxygen/module-surf.doc
893 doc/doxygen/module-trace.doc
894 doc/doxygen/module-xbt.doc
895 doc/doxygen/module-index.doc
897 doc/doxygen/options.doc
898 doc/doxygen/outcomes.doc
899 doc/doxygen/outcomes_logs.doc
900 doc/doxygen/outcomes_MC.doc
901 doc/doxygen/outcomes_vizu.doc
902 doc/doxygen/platform.doc
903 doc/doxygen/platform_lua.doc
904 doc/doxygen/scenario.doc
905 doc/doxygen/stylesheet.css
906 doc/doxygen/uhood.doc
907 doc/doxygen/uhood_switch.doc
908 doc/doxygen/uhood_arch.doc
911 doc/manpage/smpicxx.1
912 doc/manpage/smpif90.1
914 doc/manpage/smpirun.1
917 doc/tuto-msg/deployment0.xml
918 doc/tuto-msg/deployment1.xml
919 doc/tuto-msg/deployment2.xml
920 doc/tuto-msg/deployment3.xml
921 doc/tuto-msg/deployment_general.xml
922 doc/tuto-msg/Makefile
923 doc/tuto-msg/masterworker.c
924 doc/tuto-msg/masterworker-sol1.c
925 doc/tuto-msg/masterworker-sol2.c
926 doc/tuto-msg/masterworker-sol3.c
927 doc/tuto-msg/masterworker-sol4.c
933 ${CMAKE_HOME_DIRECTORY}/doc/shared/fig/simgrid_modules.fig
934 ${CMAKE_HOME_DIRECTORY}/doc/shared/fig/simgrid_modules2.fig
938 tools/doxygen/fig2dev_postprocessor.pl
939 tools/doxygen/xbt_log_extract_hierarchy.pl
940 tools/doxygen/list_routing_models_examples.sh
943 # these files get copied automatically to the html documentation
945 ${CMAKE_HOME_DIRECTORY}/doc/sc3-description.png
946 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/AS_hierarchy.png
947 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/eclipseScreenShot.png
948 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/Paje_MSG_screenshot.jpg
949 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/Paje_MSG_screenshot_thn.jpg
950 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/SGicon.gif
951 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/SGicon.icns
952 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/SGicon.ico
953 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/awstats_logo3.png
954 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/output.goal.pdf
955 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/poster_thumbnail.png
956 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/storage_sample_scenario.png
957 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_2011.gif
958 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_2011.png
959 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_2011_small.png
960 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_win.bmp
961 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_win_2011.bmp
962 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/smpi_simgrid_alltoall_pair_16.png
963 ${CMAKE_HOME_DIRECTORY}/doc/webcruft/smpi_simgrid_alltoall_ring_16.png
973 src/smpi/smpitools.sh
988 # The list of cmake build directories is constructed from the following list.
989 # Add your CMakeLists file here to see your subdir built.
991 examples/java/CMakeLists.txt
992 examples/msg/CMakeLists.txt
993 examples/msg/mc/CMakeLists.txt
994 examples/s4u/CMakeLists.txt
995 examples/simdag/CMakeLists.txt
996 examples/smpi/CMakeLists.txt
997 examples/smpi/NAS/CMakeLists.txt
998 examples/smpi/smpi_msg_masterslave/CMakeLists.txt
999 examples/smpi/replay_multiple/CMakeLists.txt
1000 examples/smpi/energy/f77/CMakeLists.txt
1001 examples/smpi/energy/f90/CMakeLists.txt
1003 teshsuite/java/CMakeLists.txt
1004 teshsuite/mc/CMakeLists.txt
1005 teshsuite/msg/CMakeLists.txt
1006 teshsuite/s4u/CMakeLists.txt
1007 teshsuite/simdag/CMakeLists.txt
1008 teshsuite/simix/CMakeLists.txt
1009 teshsuite/smpi/CMakeLists.txt
1010 teshsuite/surf/CMakeLists.txt
1011 teshsuite/xbt/CMakeLists.txt
1013 teshsuite/smpi/isp/umpire/CMakeLists.txt
1014 teshsuite/smpi/mpich3-test/CMakeLists.txt
1015 teshsuite/smpi/mpich3-test/attr/CMakeLists.txt
1016 teshsuite/smpi/mpich3-test/coll/CMakeLists.txt
1017 teshsuite/smpi/mpich3-test/comm/CMakeLists.txt
1018 teshsuite/smpi/mpich3-test/datatype/CMakeLists.txt
1019 # teshsuite/smpi/mpich3-test/f77/attr/CMakeLists.txt
1020 teshsuite/smpi/mpich3-test/f77/coll/CMakeLists.txt
1021 teshsuite/smpi/mpich3-test/f77/info/CMakeLists.txt
1022 teshsuite/smpi/mpich3-test/f77/comm/CMakeLists.txt
1023 teshsuite/smpi/mpich3-test/f77/datatype/CMakeLists.txt
1024 teshsuite/smpi/mpich3-test/f77/ext/CMakeLists.txt
1025 teshsuite/smpi/mpich3-test/f77/init/CMakeLists.txt
1026 teshsuite/smpi/mpich3-test/f77/pt2pt/CMakeLists.txt
1027 teshsuite/smpi/mpich3-test/f77/util/CMakeLists.txt
1028 teshsuite/smpi/mpich3-test/f77/topo/CMakeLists.txt
1029 teshsuite/smpi/mpich3-test/f77/rma/CMakeLists.txt
1030 teshsuite/smpi/mpich3-test/f90/coll/CMakeLists.txt
1031 teshsuite/smpi/mpich3-test/f90/datatype/CMakeLists.txt
1032 teshsuite/smpi/mpich3-test/f90/info/CMakeLists.txt
1033 teshsuite/smpi/mpich3-test/f90/init/CMakeLists.txt
1034 teshsuite/smpi/mpich3-test/f90/pt2pt/CMakeLists.txt
1035 teshsuite/smpi/mpich3-test/f90/util/CMakeLists.txt
1036 teshsuite/smpi/mpich3-test/f90/rma/CMakeLists.txt
1037 teshsuite/smpi/mpich3-test/group/CMakeLists.txt
1038 teshsuite/smpi/mpich3-test/info/CMakeLists.txt
1039 teshsuite/smpi/mpich3-test/init/CMakeLists.txt
1040 teshsuite/smpi/mpich3-test/pt2pt/CMakeLists.txt
1041 teshsuite/smpi/mpich3-test/topo/CMakeLists.txt
1042 teshsuite/smpi/mpich3-test/rma/CMakeLists.txt
1043 teshsuite/smpi/mpich3-test/perf/CMakeLists.txt
1045 tools/CMakeLists.txt
1046 tools/graphicator/CMakeLists.txt
1047 tools/tesh/CMakeLists.txt
1050 set(CMAKE_SOURCE_FILES
1053 tools/cmake/Tests.cmake
1054 tools/cmake/CTestConfig.cmake
1055 tools/cmake/CTestCustom.cmake
1056 tools/cmake/DefinePackages.cmake
1057 tools/cmake/Distrib.cmake
1058 tools/cmake/GCCFlags.cmake
1059 tools/cmake/Documentation.cmake
1060 tools/cmake/MaintainerMode.cmake
1061 tools/cmake/Java.cmake
1062 tools/cmake/MakeLib.cmake
1063 tools/cmake/MakeLibWin.cmake
1064 tools/cmake/Modules/FindGraphviz.cmake
1065 tools/cmake/Modules/FindLibdw.cmake
1066 tools/cmake/Modules/FindLibelf.cmake
1067 tools/cmake/Modules/FindLibunwind.cmake
1068 tools/cmake/Modules/FindLibevent.cmake
1069 tools/cmake/Modules/FindLuaSimgrid.cmake
1070 tools/cmake/Modules/FindNS3.cmake
1071 tools/cmake/Modules/FindPAPI.cmake
1072 tools/cmake/Modules/FindRngStream.cmake
1073 tools/cmake/Modules/FindValgrind.cmake
1074 tools/cmake/Option.cmake
1075 tools/cmake/scripts/my_valgrind.pl
1076 tools/cmake/scripts/update_tesh.pl
1077 tools/cmake/UnitTesting.cmake
1078 tools/cmake/src/internal_config.h.in
1079 tools/cmake/test_prog/prog_asan.cpp
1080 tools/cmake/test_prog/prog_gnu_dynlinker.c
1081 tools/cmake/test_prog/prog_makecontext.c
1082 tools/cmake/test_prog/prog_mutex_timedlock.c
1083 tools/cmake/test_prog/prog_sem_init.c
1084 tools/cmake/test_prog/prog_sem_open.c
1085 tools/cmake/test_prog/prog_sem_timedwait.c
1086 tools/cmake/test_prog/prog_snprintf.c
1087 tools/cmake/test_prog/prog_stackgrowth.c
1088 tools/cmake/test_prog/prog_stacksetup.c
1089 tools/cmake/test_prog/prog_thread_storage.c
1090 tools/cmake/test_prog/prog_vsnprintf.c
1091 tools/cmake/cross-mingw.cmake
1092 tools/smpi/generate_smpi_defines.pl
1093 tools/stack-cleaner/as
1094 tools/stack-cleaner/cc
1095 tools/stack-cleaner/c++
1096 tools/stack-cleaner/fortran
1097 tools/stack-cleaner/clean-stack-filter
1098 tools/stack-cleaner/compiler-wrapper
1099 tools/stack-cleaner/README
1102 set(PLATFORMS_EXAMPLES
1103 examples/platforms/bypassASroute.xml
1104 examples/platforms/bypassRoute.xml
1105 examples/platforms/cloud.xml
1106 examples/platforms/cluster.xml
1107 examples/platforms/cluster_backbone.xml
1108 examples/platforms/cluster_and_one_host.xml
1109 examples/platforms/cluster_prototype.lua
1110 examples/platforms/cluster_no_backbone.xml
1111 examples/platforms/cluster_torus.xml
1112 examples/platforms/cluster_fat_tree.xml
1113 examples/platforms/cluster_dragonfly.xml
1114 examples/platforms/crosstraffic.xml
1115 examples/platforms/optorsim/gridpp_grid_2004.conf
1116 examples/platforms/optorsim/lcg_sept2004_grid.conf
1117 examples/platforms/optorsim/transform_optorsim_platform.pl
1118 examples/platforms/config.xml
1119 examples/platforms/config_tracing.xml
1120 examples/platforms/trace/bourassa_state.trace
1121 examples/platforms/trace/fafard_state.trace
1122 examples/platforms/trace/faulty_host.trace
1123 examples/platforms/trace/ginette_state.trace
1124 examples/platforms/trace/jupiter_speed.trace
1125 examples/platforms/trace/jupiter_state.trace
1126 examples/platforms/trace/link1_avail.trace
1127 examples/platforms/trace/link3_state.trace
1128 examples/platforms/trace/link4_state.trace
1129 examples/platforms/trace/linkBandwidth7.bw
1130 examples/platforms/trace/trace_A_failure.txt
1131 examples/platforms/trace/trace_A.txt
1132 examples/platforms/trace/trace_B.txt
1133 examples/platforms/data_center.xml
1134 examples/platforms/dogbone.xml
1135 examples/platforms/energy_platform.xml
1136 examples/platforms/energy_cluster.xml
1137 examples/platforms/faulty_host.xml
1138 examples/platforms/g5k.xml
1139 examples/platforms/griffon.xml
1140 examples/platforms/meta_cluster.xml
1141 examples/platforms/multicore_machine.xml
1142 examples/platforms/onelink.xml
1143 examples/platforms/prop.xml
1144 examples/platforms/routing_cluster.xml
1145 examples/platforms/routing_cluster.lua
1146 examples/platforms/routing_none.xml
1147 examples/platforms/simulacrum_7_hosts.xml
1148 examples/platforms/storage/content/small_content.txt
1149 examples/platforms/storage/content/storage_content.txt
1150 examples/platforms/storage/content/win_storage_content.txt
1151 examples/platforms/storage/remote_io.xml
1152 examples/platforms/storage/storage.xml
1153 examples/platforms/small_platform.xml
1154 examples/platforms/small_platform.lua
1155 examples/platforms/small_platform_constant.xml
1156 examples/platforms/small_platform_fatpipe.xml
1157 examples/platforms/small_platform_one_link_routes.xml
1158 examples/platforms/small_platform_with_failures.xml
1159 examples/platforms/small_platform_with_routers.xml
1160 examples/platforms/syscoord/generate_peer_platform.pl
1161 examples/platforms/syscoord/median_harvard.syscoord
1162 examples/platforms/syscoord/median_meridian.syscoord
1163 examples/platforms/syscoord/median_p2psim.syscoord
1164 examples/platforms/three_multicore_hosts.xml
1165 examples/platforms/two_hosts.xml
1166 examples/platforms/two_hosts_platform_shared.xml
1167 examples/platforms/two_hosts_platform_with_availability.xml
1168 examples/platforms/two_hosts_platform_with_availability_included.xml
1169 examples/platforms/two_peers.xml
1170 examples/platforms/vivaldi.xml
1173 set(generated_src_files
1174 src/xbt/automaton/automaton_lexer.yy.c
1175 src/xbt/automaton/parserPromela.tab.cacc
1176 src/xbt/automaton/parserPromela.tab.hacc
1179 foreach(file ${generated_src_files})
1180 set_source_files_properties(${file} PROPERTIES GENERATED true)
1181 endforeach(file ${generated_src_files})