Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Dummy SafetyChecker class
[simgrid.git] / tools / cmake / DefinePackages.cmake
1 ### define source packages
2
3 set(EXTRA_DIST
4   src/bindings/java/MANIFEST.in
5   src/include/instr/instr_interface.h
6   src/include/mc/datatypes.h
7   src/include/mc/mc.h
8   src/mc/mc_mmu.h
9   src/mc/PageStore.hpp
10   src/mc/mc_record.h
11   src/include/simgrid/sg_config.h
12   src/include/smpi/smpi_interface.h
13   src/include/surf/datatypes.h
14   src/include/surf/maxmin.h
15   src/include/surf/surf.h
16   src/msg/msg_private.h
17   src/simdag/dax.dtd
18   src/simdag/dax_dtd.c
19   src/simdag/dax_dtd.h
20   src/simdag/simdag_private.h
21   src/simix/simcalls.in
22   src/simix/simcalls.py
23   src/simix/popping_private.h
24   src/simix/popping_bodies.cpp
25   src/simix/popping_generated.cpp
26   src/simix/popping_enum.h
27   src/simix/popping_accessors.h
28   src/simix/smx_host_private.h
29   src/simix/smx_io_private.h
30   src/simix/smx_network_private.h
31   src/simix/smx_private.h
32   src/simix/smx_private.hpp
33   src/simix/smx_process_private.h
34   src/simix/smx_synchro_private.h
35   src/smpi/README
36   src/smpi/colls/coll_tuned_topo.h
37   src/smpi/colls/colls.h
38   src/smpi/colls/colls_private.h
39   src/smpi/colls/smpi_mvapich2_selector_stampede.h
40   src/smpi/private.h
41   src/smpi/smpi_mpi_dt_private.h
42   src/surf/cpu_cas01.hpp
43   src/surf/cpu_interface.hpp
44   src/surf/cpu_ti.hpp
45   src/surf/maxmin_private.hpp
46   src/surf/network_cm02.hpp
47   src/surf/network_constant.hpp
48   src/surf/network_interface.hpp
49   src/surf/network_ns3.hpp
50   src/surf/network_smpi.hpp
51   src/surf/network_ib.hpp
52   src/surf/ns3/my-point-to-point-helper.h
53   src/surf/ns3/ns3_interface.h
54   src/surf/ns3/ns3_simulator.h
55   src/surf/ns3/red-queue.h
56   src/surf/plugins/energy.hpp
57   src/surf/xml/simgrid.dtd
58   src/surf/xml/simgrid_dtd.h
59   src/surf/xml/simgrid_dtd.c
60   src/surf/xml/surfxml_sax_cb.cpp
61
62   src/surf/AsImpl.hpp
63   src/surf/AsCluster.hpp
64   src/surf/AsClusterFatTree.hpp
65   src/surf/AsClusterTorus.hpp
66   src/surf/AsDijkstra.hpp
67   src/surf/AsFloyd.hpp
68   src/surf/AsFull.hpp
69   src/surf/AsRoutedGraph.hpp
70   src/surf/AsNone.hpp
71   src/surf/AsVivaldi.hpp
72
73   src/surf/storage_interface.hpp
74   src/surf/storage_n11.hpp
75   src/surf/surf_interface.hpp
76   src/surf/surf_private.h
77   src/surf/surf_routing.hpp
78   src/surf/vm_hl13.hpp
79   src/surf/PropertyHolder.hpp
80   src/surf/virtual_machine.hpp
81   src/surf/host_clm03.hpp
82   src/surf/HostImpl.hpp
83   src/surf/ptask_L07.hpp
84   src/xbt/automaton/automaton_lexer.yy.c
85   src/xbt/automaton/parserPromela.lex
86   src/xbt/automaton/parserPromela.tab.cacc
87   src/xbt/automaton/parserPromela.tab.hacc
88   src/xbt/automaton/parserPromela.yacc
89   src/xbt/backtrace_dummy.c
90   src/xbt/backtrace_linux.c
91   src/xbt/dict_private.h
92   src/xbt/ex_interface.h
93   src/xbt/fifo_private.h
94   src/xbt/graph_private.h
95   src/xbt/heap_private.h
96   src/xbt/log_private.h
97   src/xbt/mallocator_private.h
98
99   src/xbt/mmalloc/mfree.c
100   src/xbt/mmalloc/mm.c
101   src/xbt/mmalloc/mm_legacy.c
102   src/xbt/mmalloc/mm_module.c
103   src/xbt/mmalloc/mmalloc.c
104   src/xbt/mmalloc/mmalloc.info
105   src/xbt/mmalloc/mmalloc.texi
106   src/xbt/mmalloc/mmorecore.c
107   src/xbt/mmalloc/mmprivate.h
108   src/xbt/mmalloc/mrealloc.c
109   tools/tesh/generate_tesh
110   tools/lualib.patch
111   teshsuite/lua/lua_platforms.tesh
112   examples/smpi/mc/only_send_deterministic.tesh
113   examples/smpi/mc/non_deterministic.tesh
114   )
115
116 set(SMPI_SRC
117   src/smpi/colls/allgather-2dmesh.c
118   src/smpi/colls/allgather-3dmesh.c
119   src/smpi/colls/allgather-GB.c
120   src/smpi/colls/allgather-NTSLR-NB.c
121   src/smpi/colls/allgather-NTSLR.c
122   src/smpi/colls/allgather-SMP-NTS.c
123   src/smpi/colls/allgather-bruck.c
124   src/smpi/colls/allgather-loosely-lr.c
125   src/smpi/colls/allgather-ompi-neighborexchange.c
126   src/smpi/colls/allgather-pair.c
127   src/smpi/colls/allgather-mvapich-smp.c
128   src/smpi/colls/allgather-rdb.c
129   src/smpi/colls/allgather-rhv.c
130   src/smpi/colls/allgather-ring.c
131   src/smpi/colls/allgather-smp-simple.c
132   src/smpi/colls/allgather-spreading-simple.c
133   src/smpi/colls/allgatherv-GB.c
134   src/smpi/colls/allgatherv-mpich-rdb.c
135   src/smpi/colls/allgatherv-mpich-ring.c
136   src/smpi/colls/allgatherv-ompi-bruck.c
137   src/smpi/colls/allgatherv-ompi-neighborexchange.c
138   src/smpi/colls/allgatherv-pair.c
139   src/smpi/colls/allgatherv-ring.c
140   src/smpi/colls/allreduce-lr.c
141   src/smpi/colls/allreduce-ompi-ring-segmented.c
142   src/smpi/colls/allreduce-rab-rdb.c
143   src/smpi/colls/allreduce-rab1.c
144   src/smpi/colls/allreduce-rab2.c
145   src/smpi/colls/allreduce-rdb.c
146   src/smpi/colls/allreduce-redbcast.c
147   src/smpi/colls/allreduce-smp-binomial-pipeline.c
148   src/smpi/colls/allreduce-smp-binomial.c
149   src/smpi/colls/allreduce-smp-rdb.c
150   src/smpi/colls/allreduce-smp-rsag-lr.c
151   src/smpi/colls/allreduce-smp-rsag-rab.c
152   src/smpi/colls/allreduce-smp-rsag.c
153   src/smpi/colls/allreduce-mvapich-rs.c
154   src/smpi/colls/allreduce-mvapich-two-level.c
155   src/smpi/colls/alltoall-2dmesh.c
156   src/smpi/colls/alltoall-3dmesh.c
157 #  src/smpi/colls/alltoall-bruck.c
158   src/smpi/colls/alltoall-pair-light-barrier.c
159   src/smpi/colls/alltoall-pair-mpi-barrier.c
160   src/smpi/colls/alltoall-pair-one-barrier.c
161   src/smpi/colls/alltoall-pair.c
162   src/smpi/colls/alltoall-rdb.c
163   src/smpi/colls/alltoall-ring-light-barrier.c
164   src/smpi/colls/alltoall-ring-mpi-barrier.c
165   src/smpi/colls/alltoall-ring-one-barrier.c
166   src/smpi/colls/alltoall-ring.c
167   src/smpi/colls/alltoall-mvapich-scatter-dest.c
168   src/smpi/colls/alltoallv-bruck.c
169   src/smpi/colls/alltoallv-ompi-basic-linear.c
170   src/smpi/colls/alltoallv-pair-light-barrier.c
171   src/smpi/colls/alltoallv-pair-mpi-barrier.c
172   src/smpi/colls/alltoallv-pair-one-barrier.c
173   src/smpi/colls/alltoallv-pair.c
174   src/smpi/colls/alltoallv-ring-light-barrier.c
175   src/smpi/colls/alltoallv-ring-mpi-barrier.c
176   src/smpi/colls/alltoallv-ring-one-barrier.c
177   src/smpi/colls/alltoallv-ring.c
178   src/smpi/colls/barrier-ompi.c
179   src/smpi/colls/barrier-mvapich2-pair.c
180   src/smpi/colls/bcast-NTSB.c
181   src/smpi/colls/bcast-NTSL-Isend.c
182   src/smpi/colls/bcast-NTSL.c
183   src/smpi/colls/bcast-SMP-binary.c
184   src/smpi/colls/bcast-SMP-binomial.c
185   src/smpi/colls/bcast-SMP-linear.c
186   src/smpi/colls/bcast-arrival-pattern-aware-wait.c
187   src/smpi/colls/bcast-arrival-pattern-aware.c
188   src/smpi/colls/bcast-arrival-scatter.c
189   src/smpi/colls/bcast-binomial-tree.c
190   src/smpi/colls/bcast-flattree-pipeline.c
191   src/smpi/colls/bcast-flattree.c
192   src/smpi/colls/bcast-ompi-pipeline.c
193   src/smpi/colls/bcast-ompi-split-bintree.c
194   src/smpi/colls/bcast-mvapich-smp.c
195   src/smpi/colls/bcast-scatter-LR-allgather.c
196   src/smpi/colls/bcast-scatter-rdb-allgather.c
197   src/smpi/colls/coll_tuned_topo.c
198   src/smpi/colls/colls_global.c
199   src/smpi/colls/gather-ompi.c
200   src/smpi/colls/gather-mvapich.c
201   src/smpi/colls/reduce-NTSL.c
202   src/smpi/colls/reduce-arrival-pattern-aware.c
203   src/smpi/colls/reduce-binomial.c
204   src/smpi/colls/reduce-flat-tree.c
205   src/smpi/colls/reduce-ompi.c
206   src/smpi/colls/reduce-scatter-gather.c
207   src/smpi/colls/reduce_scatter-mpich.c
208   src/smpi/colls/reduce_scatter-ompi.c
209   src/smpi/colls/reduce-mvapich-knomial.c
210   src/smpi/colls/reduce-mvapich-two-level.c
211   src/smpi/colls/reduce-rab.c
212   src/smpi/colls/scatter-ompi.c
213   src/smpi/colls/scatter-mvapich-two-level.c
214   src/smpi/colls/smpi_automatic_selector.c
215   src/smpi/colls/smpi_mpich_selector.c
216   src/smpi/colls/smpi_intel_mpi_selector.c
217   src/smpi/colls/smpi_openmpi_selector.c
218   src/smpi/colls/smpi_mvapich2_selector.c
219   src/smpi/instr_smpi.cpp
220   src/smpi/smpi_base.cpp
221   src/smpi/smpi_bench.cpp
222   src/smpi/smpi_memory.cpp
223   src/smpi/smpi_c99.cpp
224   src/smpi/smpi_coll.cpp
225   src/smpi/smpi_comm.cpp
226   src/smpi/smpi_deployment.cpp
227   src/smpi/smpi_dvfs.cpp
228   src/smpi/smpi_global.cpp
229   src/smpi/smpi_group.cpp
230   src/smpi/smpi_mpi.cpp
231   src/smpi/smpi_mpi_dt.cpp
232   src/smpi/smpi_pmpi.cpp
233   src/smpi/smpi_replay.cpp
234   src/smpi/smpi_rma.cpp
235   src/smpi/smpi_topo.cpp
236   src/smpi/smpi_f77.cpp
237   )
238
239 set(XBT_SRC
240   src/xbt/RngStream.c
241   src/xbt/automaton/automaton.c
242   src/xbt/automaton/automatonparse_promela.c
243   src/xbt/config.c
244   src/xbt/cunit.c
245   src/xbt/dict.c
246   src/xbt/dict_cursor.c
247   src/xbt/dict_elm.c
248   src/xbt/dynar.c
249   src/xbt/ex.c
250   src/xbt/fifo.c
251   src/xbt/graph.c
252   src/xbt/heap.c
253   src/xbt/lib.c
254   src/xbt/log.c
255   src/xbt/mallocator.c
256   src/xbt/memory_map.cpp
257   src/xbt/memory_map.hpp
258   src/xbt/parmap.cpp
259   src/xbt/snprintf.c
260   src/xbt/string.cpp
261   src/xbt/swag.c
262   src/xbt/xbt_log_appender_file.c
263   src/xbt/xbt_log_layout_format.c
264   src/xbt/xbt_log_layout_simple.c
265   src/xbt/xbt_main.c
266   src/xbt/xbt_matrix.c
267   src/xbt/xbt_os_file.c
268   src/xbt/xbt_os_synchro.c
269   src/xbt/xbt_os_time.c
270   src/xbt/xbt_replay.c
271   src/xbt/xbt_str.c
272   src/xbt/xbt_strbuff.c
273   src/xbt/xbt_virtu.c
274   src/xbt_modinter.h
275
276   )
277
278 if(HAVE_MMALLOC)
279   set(XBT_SRC
280     ${XBT_SRC}
281     src/xbt/mmalloc/mm.c
282     )
283 endif()
284
285 set(NS3_SRC
286   src/surf/network_ns3.cpp
287   src/surf/ns3/my-point-to-point-helper.cc
288   src/surf/ns3/ns3_simulator.cc
289   src/surf/ns3/red-queue.cc
290   )
291
292 set(SURF_SRC
293   src/surf/AsImpl.cpp
294   src/surf/AsCluster.cpp
295   src/surf/AsClusterFatTree.cpp
296   src/surf/AsClusterTorus.cpp
297   src/surf/AsDijkstra.cpp
298   src/surf/AsFloyd.cpp
299   src/surf/AsFull.cpp
300   src/surf/AsRoutedGraph.cpp
301   src/surf/AsNone.cpp
302   src/surf/AsVivaldi.cpp
303   
304   src/surf/cpu_cas01.cpp
305   src/surf/cpu_interface.cpp
306   src/surf/cpu_ti.cpp
307   src/surf/fair_bottleneck.cpp
308   src/surf/instr_routing.cpp
309   src/surf/instr_surf.cpp
310   src/surf/lagrange.cpp
311   src/surf/maxmin.cpp
312   src/surf/network_cm02.cpp
313   src/surf/network_constant.cpp
314   src/surf/network_interface.cpp
315   src/surf/network_smpi.cpp
316   src/surf/network_ib.cpp
317   src/surf/plugins/energy.cpp
318   src/surf/PropertyHolder.cpp
319   src/surf/sg_platf.cpp
320   src/surf/storage_interface.cpp
321   src/surf/storage_n11.cpp
322   src/surf/surf_c_bindings.cpp
323   src/surf/surf_interface.cpp
324   src/surf/surf_routing.cpp
325   src/surf/xml/platf.hpp
326   src/surf/xml/platf_private.hpp
327   src/surf/xml/surfxml_sax_cb.cpp
328   src/surf/xml/surfxml_parseplatf.cpp
329   src/surf/trace_mgr.hpp
330   src/surf/trace_mgr.cpp
331   src/surf/vm_hl13.cpp
332   src/surf/virtual_machine.cpp
333   src/surf/host_clm03.cpp
334   src/surf/HostImpl.cpp
335   src/surf/ptask_L07.cpp
336   )
337
338 set(SIMIX_GENERATED_SRC
339   src/simix/popping_generated.cpp
340   )
341 set(SIMIX_SRC
342   src/simix/libsmx.cpp
343   src/simix/smx_context.cpp
344   src/simix/Context.cpp
345   src/simix/smx_deployment.cpp
346   src/simix/smx_environment.cpp
347   src/simix/smx_global.cpp
348   src/simix/smx_host.cpp
349   src/simix/smx_io.cpp
350   src/simix/smx_network.cpp
351   src/simix/smx_process.cpp
352   src/simix/smx_synchro.cpp
353   src/simix/smx_vm.cpp
354   src/simix/popping.cpp
355
356   ${SIMIX_GENERATED_SRC}
357   )
358
359 # Don't try to compile our inline assembly with MSVC
360 if (MSVC)
361   set(EXTRA_DIST
362       ${EXTRA_DIST}
363       src/simix/RawContext.cpp)
364 else()
365   set(SIMIX_SRC
366       ${SIMIX_SRC}
367       src/simix/RawContext.cpp)
368 endif()
369
370 # Boost context may not be available
371 if (HAVE_BOOST_CONTEXTS)
372   set(SIMIX_SRC
373       ${SIMIX_SRC}
374       src/simix/BoostContext.hpp
375       src/simix/BoostContext.cpp)
376 else()
377   set(EXTRA_DIST
378       ${EXTRA_DIST}
379       src/simix/BoostContext.hpp
380       src/simix/BoostContext.cpp)
381 endif()
382
383 set(S4U_SRC
384   src/s4u/s4u_actor.cpp
385   src/s4u/s4u_as.cpp
386   src/s4u/s4u_async.cpp
387   src/s4u/s4u_comm.cpp
388   src/s4u/s4u_engine.cpp  
389   src/s4u/s4u_file.cpp  
390   src/s4u/s4u_host.cpp  
391   src/s4u/s4u_mailbox.cpp
392   src/s4u/s4u_storage.cpp
393 )
394
395 set(SIMGRID_SRC
396   src/simgrid/sg_config.c
397   src/simgrid/host.cpp
398   src/simgrid/util.hpp
399   )
400
401 set(MSG_SRC
402   src/msg/instr_msg_process.cpp
403   src/msg/instr_msg_task.cpp
404   src/msg/instr_msg_vm.cpp
405   src/msg/msg_actions.cpp
406   src/msg/msg_deployment.cpp
407   src/msg/msg_environment.cpp
408   src/msg/msg_global.cpp
409   src/msg/msg_gos.cpp
410   src/msg/msg_host.cpp
411   src/msg/msg_io.cpp
412   src/msg/msg_mailbox.cpp
413   src/msg/msg_process.cpp
414   src/msg/msg_synchro.cpp
415   src/msg/msg_task.cpp
416   src/msg/msg_vm.cpp
417   )
418
419 set(SIMDAG_SRC
420   src/simdag/sd_daxloader.cpp
421   src/simdag/sd_global.cpp
422   src/simdag/sd_task.cpp
423   src/simdag/sd_workstation.cpp
424   )
425 if(HAVE_GRAPHVIZ)
426   set(SIMDAG_SRC    ${SIMDAG_SRC} src/simdag/sd_dotloader.cpp)
427 else()
428   set(EXTRA_DIST    ${EXTRA_DIST} src/simdag/sd_dotloader.cpp)
429 endif()
430
431 set(BINDINGS_SRC
432   src/bindings/lua/lua_private.h
433   src/bindings/lua/lua_utils.h
434   src/bindings/lua/simgrid_lua.h
435   )
436
437 set(JMSG_C_SRC
438   src/bindings/java/jmsg.cpp
439   src/bindings/java/jmsg.h
440   src/bindings/java/jmsg_as.cpp
441   src/bindings/java/jmsg_as.h
442   src/bindings/java/jmsg_comm.cpp
443   src/bindings/java/jmsg_comm.h
444   src/bindings/java/jmsg_file.cpp
445   src/bindings/java/jmsg_file.h
446   src/bindings/java/jmsg_host.cpp
447   src/bindings/java/jmsg_host.h
448   src/bindings/java/jmsg_process.cpp
449   src/bindings/java/jmsg_process.h
450   src/bindings/java/jmsg_rngstream.cpp
451   src/bindings/java/jmsg_rngstream.h
452   src/bindings/java/jmsg_synchro.cpp
453   src/bindings/java/jmsg_synchro.h
454   src/bindings/java/jmsg_task.cpp
455   src/bindings/java/jmsg_task.h
456   src/bindings/java/jmsg_vm.cpp
457   src/bindings/java/jmsg_vm.h
458   src/bindings/java/jxbt_utilities.cpp
459   src/bindings/java/jxbt_utilities.h
460   src/bindings/java/JavaContext.cpp
461   src/bindings/java/JavaContext.hpp
462   src/bindings/java/jmsg_storage.cpp
463   src/bindings/java/jmsg_storage.h
464 )
465
466 set(JMSG_JAVA_SRC
467   src/bindings/java/org/simgrid/NativeLib.java
468   src/bindings/java/org/simgrid/msg/As.java
469   src/bindings/java/org/simgrid/msg/Comm.java
470   src/bindings/java/org/simgrid/msg/File.java
471   src/bindings/java/org/simgrid/msg/Host.java
472   src/bindings/java/org/simgrid/msg/HostFailureException.java
473   src/bindings/java/org/simgrid/msg/HostNotFoundException.java
474   src/bindings/java/org/simgrid/msg/JniException.java
475   src/bindings/java/org/simgrid/msg/Msg.java
476   src/bindings/java/org/simgrid/msg/MsgException.java
477   src/bindings/java/org/simgrid/msg/Mutex.java
478   src/bindings/java/org/simgrid/msg/NativeException.java
479   src/bindings/java/org/simgrid/msg/Process.java
480   src/bindings/java/org/simgrid/msg/ProcessKilledError.java
481   src/bindings/java/org/simgrid/msg/ProcessNotFoundException.java
482   src/bindings/java/org/simgrid/msg/RngStream.java
483   src/bindings/java/org/simgrid/msg/Semaphore.java
484   src/bindings/java/org/simgrid/msg/Storage.java
485   src/bindings/java/org/simgrid/msg/StorageNotFoundException.java
486   src/bindings/java/org/simgrid/msg/Task.java
487   src/bindings/java/org/simgrid/msg/TaskCancelledException.java
488   src/bindings/java/org/simgrid/msg/TimeoutException.java
489   src/bindings/java/org/simgrid/msg/TransferFailureException.java
490   src/bindings/java/org/simgrid/msg/VM.java
491 )
492
493 set(JTRACE_C_SRC
494   src/bindings/java/jtrace.cpp
495   src/bindings/java/jtrace.h
496 )
497
498 set(JTRACE_JAVA_SRC
499   src/bindings/java/org/simgrid/trace/Trace.java
500 )
501
502 list(APPEND JMSG_C_SRC ${JTRACE_C_SRC})
503 list(APPEND JMSG_JAVA_SRC ${JTRACE_JAVA_SRC})
504
505 set(LUA_SRC
506   src/bindings/lua/lua_host.cpp
507   src/bindings/lua/lua_platf.cpp
508   src/bindings/lua/lua_debug.cpp
509   src/bindings/lua/simgrid_lua.cpp
510   )
511
512 set(TRACING_SRC
513   src/instr/instr_TI_trace.cpp
514   src/instr/instr_config.cpp
515   src/instr/instr_interface.cpp
516   src/instr/instr_paje_containers.cpp
517   src/instr/instr_paje_header.cpp
518   src/instr/instr_paje_trace.cpp
519   src/instr/instr_paje_types.cpp
520   src/instr/instr_paje_values.cpp
521   src/instr/instr_private.h
522   src/instr/instr_resource_utilization.cpp
523   src/instr/instr_trace.cpp
524   )
525
526 set(JEDULE_SRC
527   include/simgrid/jedule/jedule_events.h
528   include/simgrid/jedule/jedule_output.h
529   include/simgrid/jedule/jedule_platform.h
530   include/simgrid/jedule/jedule_sd_binding.h
531   src/instr/jedule/jedule_events.cpp
532   src/instr/jedule/jedule_output.cpp
533   src/instr/jedule/jedule_platform.cpp
534   src/instr/jedule/jedule_sd_binding.cpp
535   )
536
537 set(MC_SRC_BASE
538   src/mc/mc_base.cpp
539   src/mc/mc_base.h
540   src/mc/mc_record.h
541   src/mc/mc_replay.h
542   src/mc/mc_record.cpp
543   src/mc/mc_config.cpp
544   src/mc/mc_global.cpp
545   )
546
547 set(MC_SRC
548   src/mc/RemotePtr.hpp
549   src/mc/AddressSpace.hpp
550   src/mc/AddressSpace.cpp
551   src/mc/Channel.cpp
552   src/mc/Channel.hpp
553   src/mc/Checker.cpp
554   src/mc/Checker.hpp
555   src/mc/Client.cpp
556   src/mc/Client.hpp
557   src/mc/Frame.hpp
558   src/mc/Frame.cpp
559   src/mc/ModelChecker.hpp
560   src/mc/ModelChecker.cpp
561   src/mc/ObjectInformation.hpp
562   src/mc/ObjectInformation.cpp
563   src/mc/PageStore.hpp
564   src/mc/PageStore.cpp
565   src/mc/SafetyChecker.cpp
566   src/mc/SafetyChecker.hpp
567   src/mc/ChunkedData.hpp
568   src/mc/ChunkedData.cpp
569   src/mc/RegionSnapshot.cpp
570   src/mc/RegionSnapshot.hpp
571   src/mc/Type.hpp
572   src/mc/Variable.cpp
573   src/mc/Variable.hpp
574   src/mc/mc_forward.hpp
575   src/mc/Process.hpp
576   src/mc/Process.cpp
577   src/mc/Session.cpp
578   src/mc/Session.hpp
579   src/mc/mc_unw.h
580   src/mc/mc_unw.cpp
581   src/mc/mc_unw_vmread.cpp
582   src/mc/mc_checkpoint.cpp
583   src/mc/mc_snapshot.h
584   src/mc/mc_snapshot.cpp
585   src/mc/mc_page_snapshot.cpp
586   src/mc/mc_comm_pattern.h
587   src/mc/mc_comm_pattern.cpp
588   src/mc/mc_comm_determinism.cpp
589   src/mc/mc_compare.cpp
590   src/mc/mc_diff.cpp
591   src/mc/mc_dwarf.hpp
592   src/mc/mc_dwarf.cpp
593   src/mc/mc_dwarf_attrnames.cpp
594   src/mc/DwarfExpression.hpp
595   src/mc/DwarfExpression.cpp
596   src/mc/mc_dwarf_tagnames.cpp
597   src/mc/mc_hash.hpp
598   src/mc/mc_hash.cpp
599   src/mc/mc_ignore.h
600   src/mc/mc_mmalloc.h
601   src/mc/mc_liveness.h
602   src/mc/LocationList.hpp
603   src/mc/malloc.hpp
604   src/mc/LocationList.cpp
605   src/mc/mc_liveness.cpp
606   src/mc/mc_record.cpp
607   src/mc/mc_member.cpp
608   src/mc/mc_memory.cpp
609   src/mc/mc_private.h
610   src/mc/mc_request.h
611   src/mc/mc_request.cpp
612   src/mc/mc_safety.h
613   src/mc/mc_state.h
614   src/mc/mc_state.cpp
615   src/mc/mc_visited.cpp
616   src/mc/mc_client_api.cpp
617   src/mc/mc_protocol.h
618   src/mc/mc_protocol.cpp
619   src/mc/mc_smx.h
620   src/mc/mc_smx.cpp
621   src/mc/mc_xbt.hpp
622   src/mc/mc_xbt.cpp
623   src/mc/mc_exit.h
624   )
625
626 set(MC_SIMGRID_MC_SRC
627   src/mc/simgrid_mc.cpp)
628
629 set(headers_to_install
630   include/msg/msg.h
631   include/msg/datatypes.h
632   include/simdag/simdag.h
633   include/simdag/datatypes.h
634   
635   include/simgrid/plugins/energy.h
636   include/simgrid/instr.h
637   include/simgrid/msg.h
638   include/simgrid/simdag.h
639   include/simgrid.h
640   include/simgrid/datatypes.h
641   include/simgrid/modelchecker.h
642   include/simgrid/forward.h
643   include/simgrid/simix.h
644   include/simgrid/simix.hpp
645   include/simgrid/host.h
646   include/simgrid/link.h
647   include/simgrid/s4u/forward.hpp
648   include/simgrid/s4u/actor.hpp
649   include/simgrid/s4u/As.hpp
650   include/simgrid/s4u/async.hpp
651   include/simgrid/s4u/comm.hpp
652   include/simgrid/s4u/engine.hpp  
653   include/simgrid/s4u/file.hpp  
654   include/simgrid/s4u/host.hpp  
655   include/simgrid/s4u/mailbox.hpp  
656   include/simgrid/s4u/storage.hpp  
657   include/simgrid/s4u.h
658   include/simgrid/plugins/energy.h
659   include/smpi/mpi.h
660   include/smpi/smpi.h
661   include/smpi/smpi_main.h
662   include/surf/surf_routing.h
663   include/xbt.h
664   include/xbt/RngStream.h
665   include/xbt/asserts.h
666   include/xbt/automaton.h
667   include/xbt/automaton.hpp
668   include/xbt/base.h
669   include/xbt/config.h
670   include/xbt/cunit.h
671   include/xbt/dict.h
672   include/xbt/string.hpp
673   include/xbt/signal.hpp
674   include/xbt/dynar.h
675   include/xbt/dynar.hpp
676   include/xbt/ex.h
677   include/xbt/fifo.h
678   include/xbt/file.h
679   include/xbt/function_types.h
680   include/xbt/graph.h
681   include/xbt/heap.h
682   include/xbt/lib.h
683   include/xbt/Extendable.hpp
684   include/xbt/log.h
685   include/xbt/mallocator.h
686   include/xbt/matrix.h
687   include/xbt/memory.hpp
688   include/xbt/misc.h
689   include/xbt/mmalloc.h
690   include/xbt/module.h
691   include/xbt/parmap.h
692   include/xbt/range.hpp
693   include/xbt/replay.h
694   include/xbt/str.h
695   include/xbt/strbuff.h
696   include/xbt/swag.h
697   include/xbt/synchro_core.h
698   include/xbt/sysdep.h
699   include/xbt/system_error.hpp
700   include/xbt/virtu.h
701   include/xbt/xbt_os_thread.h
702   include/xbt/xbt_os_time.h
703   )
704 set(source_of_generated_headers
705   include/simgrid_config.h.in
706   include/smpi/mpif.h.in)
707
708 ### depend of some variables setted upper
709 # -->HAVE_THREAD_CONTEXTS HAVE_UCONTEXT_CONTEXTS
710 if(${HAVE_THREAD_CONTEXTS}) #pthread
711   set(SURF_SRC
712     ${SURF_SRC}
713     src/simix/ThreadContext.cpp
714     src/simix/ThreadContext.hpp
715     )
716 else() # NOT pthread
717   set(EXTRA_DIST
718     ${EXTRA_DIST}
719     src/simix/ThreadContext.cpp
720     src/simix/ThreadContext.hpp
721     )
722 endif()
723
724 if(${HAVE_THREAD_CONTEXTS}) #pthread
725   set(SURF_SRC
726     ${SURF_SRC}
727     src/xbt/xbt_os_thread.c
728     )
729 else() # NOT pthread
730   set(EXTRA_DIST
731     ${EXTRA_DIST}
732     src/xbt/xbt_os_thread.c
733     )
734 endif()
735
736 if(${HAVE_UCONTEXT_CONTEXTS}) #ucontext
737   set(SURF_SRC
738     ${SURF_SRC}
739     src/simix/UContext.cpp
740     )
741 else() # NOT ucontext
742   set(EXTRA_DIST
743     ${EXTRA_DIST}
744     src/simix/UContext.cpp
745     )
746 endif()
747
748 ### Simgrid Lib sources
749 set(simgrid_sources
750   ${BINDINGS_SRC}
751   ${MC_SRC_BASE}
752   ${MSG_SRC}
753   ${S4U_SRC}
754   ${SIMDAG_SRC}
755   ${SIMGRID_SRC}
756   ${SIMIX_SRC}
757   ${SURF_SRC}
758   ${TRACING_SRC}
759   ${XBT_SRC}
760   )
761
762 if(${HAVE_JEDULE})  
763   set(simgrid_sources  ${simgrid_sources}  ${JEDULE_SRC})
764 else()
765   set(EXTRA_DIST       ${EXTRA_DIST}       ${JEDULE_SRC})
766 endif()
767
768 if(enable_smpi)
769   set(simgrid_sources  ${simgrid_sources}  ${SMPI_SRC})
770 endif()
771
772 if(HAVE_MC)
773   set(simgrid_sources  ${simgrid_sources}  ${MC_SRC})
774 endif()
775
776 if(HAVE_NS3)
777   set(simgrid_sources  ${simgrid_sources}  ${NS3_SRC})
778 endif()
779
780 # WINDOWS
781 if(WIN32)
782   set(simgrid_sources
783     ${simgrid_sources}
784     src/simix/ThreadContext.cpp
785     src/simix/ThreadContext.hpp
786     src/xbt/xbt_os_thread.c
787     )
788 endif()
789
790 if(HAVE_LUA)
791   set(simgrid_sources  ${simgrid_sources}  ${LUA_SRC})
792 else()
793   set(EXTRA_DIST       ${EXTRA_DIST}       ${LUA_SRC})
794 endif()
795
796 set(DOC_SOURCES
797   doc/Doxyfile.in
798   doc/Layout.xml
799   doc/sg_thread_model.fig
800   doc/simix.fig
801   doc/surf_nutshell.fig
802   doc/surf++.png
803   doc/surf++.pdf
804   doc/surf++.graphml
805   doc/surf++.uml
806   doc/triva-graph_configuration.png
807   doc/triva-graph_configuration.svg
808   doc/triva-graph_visualization.png
809   doc/triva-graph_visualization.svg
810   doc/triva-time_interval.png
811   doc/triva-time_interval.svg
812
813   doc/doxygen/FAQ.doc
814   doc/doxygen/advanced.doc
815   doc/doxygen/bindings.doc
816   doc/doxygen/contributing.doc
817   doc/doxygen/deployment.doc
818   doc/doxygen/footer.html
819   doc/doxygen/getting_started.doc
820   doc/doxygen/getting_started_index.doc
821   doc/doxygen/header.html
822   doc/doxygen/help.doc
823   doc/doxygen/index.doc
824   doc/doxygen/inside.doc
825   doc/doxygen/inside_tests.doc
826   doc/doxygen/inside_cmake.doc
827   doc/doxygen/inside_doxygen.doc
828   doc/doxygen/inside_extending.doc
829   doc/doxygen/inside_release.doc
830   doc/doxygen/install.doc
831   doc/doxygen/tutorial.doc
832   doc/doxygen/module-msg.doc
833   doc/doxygen/module-sd.doc
834   doc/doxygen/module-simix.doc
835   doc/doxygen/module-smpi.doc
836   doc/doxygen/module-surf.doc
837   doc/doxygen/module-trace.doc
838   doc/doxygen/module-xbt.doc
839   doc/doxygen/modules.doc
840   doc/doxygen/options.doc
841   doc/doxygen/platform.doc
842   doc/doxygen/pls.doc
843   doc/doxygen/stylesheet.css
844   doc/doxygen/tracing.doc
845   doc/doxygen/examples.doc
846
847   doc/manpage/smpicc.1
848   doc/manpage/smpicxx.1
849   doc/manpage/smpif90.1
850   doc/manpage/smpiff.1
851   doc/manpage/smpirun.1
852
853   doc/msg-tuto-src/deployment0.xml
854   doc/msg-tuto-src/deployment1.xml
855   doc/msg-tuto-src/deployment2.xml
856   doc/msg-tuto-src/deployment3.xml
857   doc/msg-tuto-src/deployment_general.xml
858   doc/msg-tuto-src/masterworker0.c
859   doc/msg-tuto-src/masterworker1.c
860   doc/msg-tuto-src/masterworker2.c
861   doc/msg-tuto-src/masterworker3.c
862   doc/msg-tuto-src/masterworker4.c
863
864   CITATION.bib
865   )
866
867 set(DOC_FIGS
868   ${CMAKE_HOME_DIRECTORY}/doc/shared/fig/simgrid_modules.fig
869   ${CMAKE_HOME_DIRECTORY}/doc/shared/fig/simgrid_modules2.fig
870   )
871
872 set(DOC_TOOLS
873   tools/doxygen/fig2dev_postprocessor.pl
874   tools/doxygen/index_create.pl
875   tools/doxygen/xbt_log_extract_hierarchy.pl
876   tools/doxygen/list_routing_models_examples.sh
877   )
878
879 # these files get copied automatically to the html documentation
880 set(DOC_IMG
881   ${CMAKE_HOME_DIRECTORY}/doc/sc3-description.png
882   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/AS_hierarchy.png
883   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/Paje_MSG_screenshot.jpg
884   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/Paje_MSG_screenshot_thn.jpg
885   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/SGicon.gif
886   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/SGicon.icns
887   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/SGicon.ico
888   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/awstats_logo3.png
889   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/DiscoveringSimgrid.gif
890   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/output.goal.pdf
891   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/poster_thumbnail.png
892   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/storage_sample_scenario.png
893   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_2011.gif
894   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_2011.png
895   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_2011_small.png
896   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_win.bmp
897   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_win_2011.bmp
898   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/smpi_simgrid_alltoall_pair_16.png
899   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/smpi_simgrid_alltoall_ring_16.png
900   )
901
902 set(bin_files
903   ${bin_files}
904   src/smpi/smpicc.in
905   src/smpi/smpicxx.in
906   src/smpi/smpiff.in
907   src/smpi/smpif90.in
908   src/smpi/smpirun.in
909   src/smpi/smpitools.sh
910   )
911
912 set(txt_files
913   ${txt_files}
914   AUTHORS
915   COPYING
916   README
917   README.java
918   README.lua
919   ChangeLog
920   INSTALL
921   LICENSE-LGPL-2.1
922   NEWS
923   TODO
924   )
925
926 # The list of cmake build directories is constructed from the following list. 
927 # Add your CMakeLists file here to see your subdir built.
928 set(CMAKEFILES_TXT
929   examples/java/async/CMakeLists.txt
930   examples/java/bittorrent/CMakeLists.txt
931   examples/java/chord/CMakeLists.txt
932   examples/java/cloud/CMakeLists.txt
933   examples/java/cloud/energy/CMakeLists.txt
934   examples/java/cloud/migration/CMakeLists.txt
935   examples/java/commTime/CMakeLists.txt
936   examples/java/energy/CMakeLists.txt
937   examples/java/io/CMakeLists.txt
938   examples/java/kademlia/CMakeLists.txt
939   examples/java/master_slave_bypass/CMakeLists.txt
940   examples/java/master_slave_kill/CMakeLists.txt
941   examples/java/masterslave/CMakeLists.txt
942   examples/java/migration/CMakeLists.txt
943   examples/java/mutualExclusion/CMakeLists.txt
944   examples/java/pingPong/CMakeLists.txt
945   examples/java/priority/CMakeLists.txt
946   examples/java/startKillTime/CMakeLists.txt
947   examples/java/suspend/CMakeLists.txt
948   examples/java/tracing/CMakeLists.txt
949   
950   examples/msg/CMakeLists.txt
951     examples/msg/actions/CMakeLists.txt
952     examples/msg/bittorrent/CMakeLists.txt
953     examples/msg/chainsend/CMakeLists.txt
954     examples/msg/chord/CMakeLists.txt
955     examples/msg/cloud/CMakeLists.txt
956     examples/msg/energy/CMakeLists.txt
957     examples/msg/gtnets/CMakeLists.txt 
958     examples/msg/icomms/CMakeLists.txt
959     examples/msg/io/CMakeLists.txt
960     examples/msg/kademlia/CMakeLists.txt
961     examples/msg/masterslave/CMakeLists.txt
962     examples/msg/mc/CMakeLists.txt
963     examples/msg/ns3/CMakeLists.txt
964     examples/msg/pastry/CMakeLists.txt
965     examples/msg/sendrecv/CMakeLists.txt
966     examples/msg/set-maestro/CMakeLists.txt
967     examples/msg/start_kill_time/CMakeLists.txt
968     examples/msg/tracing/CMakeLists.txt
969   examples/s4u/CMakeLists.txt
970   examples/simdag/CMakeLists.txt
971     examples/simdag/dot/CMakeLists.txt
972   examples/smpi/CMakeLists.txt
973     examples/smpi/NAS/CMakeLists.txt
974     examples/smpi/smpi_msg_masterslave/CMakeLists.txt
975     examples/smpi/replay_multiple/CMakeLists.txt
976     examples/smpi/energy/f77/CMakeLists.txt
977     examples/smpi/energy/f90/CMakeLists.txt
978
979   teshsuite/java/CMakeLists.txt
980   teshsuite/mc/CMakeLists.txt
981   teshsuite/msg/CMakeLists.txt
982   teshsuite/simdag/CMakeLists.txt
983   teshsuite/simix/CMakeLists.txt
984   teshsuite/smpi/CMakeLists.txt
985   teshsuite/surf/CMakeLists.txt
986   teshsuite/xbt/CMakeLists.txt
987   
988   teshsuite/smpi/isp/umpire/CMakeLists.txt
989   teshsuite/smpi/mpich3-test/CMakeLists.txt
990   teshsuite/smpi/mpich3-test/attr/CMakeLists.txt
991   teshsuite/smpi/mpich3-test/coll/CMakeLists.txt
992   teshsuite/smpi/mpich3-test/comm/CMakeLists.txt
993   teshsuite/smpi/mpich3-test/datatype/CMakeLists.txt
994 #  teshsuite/smpi/mpich3-test/f77/attr/CMakeLists.txt
995   teshsuite/smpi/mpich3-test/f77/coll/CMakeLists.txt
996   teshsuite/smpi/mpich3-test/f77/info/CMakeLists.txt
997   teshsuite/smpi/mpich3-test/f77/comm/CMakeLists.txt
998   teshsuite/smpi/mpich3-test/f77/datatype/CMakeLists.txt
999   teshsuite/smpi/mpich3-test/f77/ext/CMakeLists.txt
1000   teshsuite/smpi/mpich3-test/f77/init/CMakeLists.txt
1001   teshsuite/smpi/mpich3-test/f77/pt2pt/CMakeLists.txt
1002   teshsuite/smpi/mpich3-test/f77/util/CMakeLists.txt
1003   teshsuite/smpi/mpich3-test/f77/topo/CMakeLists.txt
1004   teshsuite/smpi/mpich3-test/f77/rma/CMakeLists.txt
1005   teshsuite/smpi/mpich3-test/f90/coll/CMakeLists.txt
1006   teshsuite/smpi/mpich3-test/f90/datatype/CMakeLists.txt
1007   teshsuite/smpi/mpich3-test/f90/info/CMakeLists.txt
1008   teshsuite/smpi/mpich3-test/f90/init/CMakeLists.txt
1009   teshsuite/smpi/mpich3-test/f90/pt2pt/CMakeLists.txt
1010   teshsuite/smpi/mpich3-test/f90/util/CMakeLists.txt
1011   teshsuite/smpi/mpich3-test/f90/rma/CMakeLists.txt
1012   teshsuite/smpi/mpich3-test/group/CMakeLists.txt
1013   teshsuite/smpi/mpich3-test/info/CMakeLists.txt
1014   teshsuite/smpi/mpich3-test/init/CMakeLists.txt
1015   teshsuite/smpi/mpich3-test/pt2pt/CMakeLists.txt
1016   teshsuite/smpi/mpich3-test/topo/CMakeLists.txt
1017   teshsuite/smpi/mpich3-test/rma/CMakeLists.txt
1018   teshsuite/smpi/mpich3-test/perf/CMakeLists.txt
1019   
1020   tools/CMakeLists.txt
1021   tools/graphicator/CMakeLists.txt
1022   tools/tesh/CMakeLists.txt
1023   )
1024
1025 set(CMAKE_SOURCE_FILES
1026   CMakeLists.txt
1027   tools/cmake/Tests.cmake
1028   tools/cmake/CTestConfig.cmake
1029   tools/cmake/CTestCustom.cmake
1030   tools/cmake/DefinePackages.cmake
1031   tools/cmake/Distrib.cmake
1032   tools/cmake/GCCFlags.cmake
1033   tools/cmake/Documentation.cmake
1034   tools/cmake/MaintainerMode.cmake
1035   tools/cmake/Java.cmake
1036   tools/cmake/MakeLib.cmake
1037   tools/cmake/MakeLibWin.cmake
1038   tools/cmake/Modules/FindGFortran.cmake
1039   tools/cmake/Modules/FindGraphviz.cmake
1040   tools/cmake/Modules/FindLibSigc++.cmake
1041   tools/cmake/Modules/FindLibdw.cmake
1042   tools/cmake/Modules/FindLibunwind.cmake
1043   tools/cmake/Modules/FindLuaSimgrid.cmake
1044   tools/cmake/Modules/FindNS3.cmake
1045   tools/cmake/Modules/FindRngStream.cmake
1046   tools/cmake/Modules/FindSimGrid.cmake
1047   tools/cmake/Modules/FindValgrind.cmake
1048   tools/cmake/Option.cmake
1049   tools/cmake/scripts/IPC/Run.pm
1050   tools/cmake/scripts/IPC/Run/Debug.pm
1051   tools/cmake/scripts/IPC/Run/IO.pm
1052   tools/cmake/scripts/IPC/Run/Timer.pm
1053   tools/cmake/scripts/IPC/Run/Win32Helper.pm
1054   tools/cmake/scripts/IPC/Run/Win32IO.pm
1055   tools/cmake/scripts/IPC/Run/Win32Pump.pm
1056   tools/cmake/scripts/Diff.pm
1057   tools/cmake/scripts/generate_memcheck_tests.pl
1058   tools/cmake/scripts/my_valgrind.pl
1059   tools/cmake/scripts/update_tesh.pl
1060   tools/cmake/UnitTesting.cmake
1061   tools/cmake/src/internal_config.h.in
1062   tools/cmake/test_prog/prog_gnu_dynlinker.c
1063   tools/cmake/test_prog/prog_makecontext.c
1064   tools/cmake/test_prog/prog_mutex_timedlock.c
1065   tools/cmake/test_prog/prog_sem_init.c
1066   tools/cmake/test_prog/prog_sem_open.c
1067   tools/cmake/test_prog/prog_sem_timedwait.c
1068   tools/cmake/test_prog/prog_snprintf.c
1069   tools/cmake/test_prog/prog_stackgrowth.c
1070   tools/cmake/test_prog/prog_stacksetup.c
1071   tools/cmake/test_prog/prog_thread_storage.c
1072   tools/cmake/test_prog/prog_vsnprintf.c
1073   tools/cmake/cross-mingw.cmake
1074   tools/stack-cleaner/as
1075   tools/stack-cleaner/cc
1076   tools/stack-cleaner/c++
1077   tools/stack-cleaner/fortran
1078   tools/stack-cleaner/clean-stack-filter
1079   tools/stack-cleaner/compiler-wrapper
1080   tools/stack-cleaner/README
1081   )
1082
1083 set(PLATFORMS_EXAMPLES
1084   examples/platforms/2clusters.xml
1085   examples/platforms/bypassASroute.xml
1086   examples/platforms/bypassRoute.xml
1087   examples/platforms/cloud.xml
1088   examples/platforms/cluster.xml
1089   examples/platforms/cluster_and_one_host.xml
1090   examples/platforms/cluster_prototype.lua
1091   examples/platforms/cluster_no_backbone.xml
1092   examples/platforms/clusters_routing_full.xml
1093   examples/platforms/crosstraffic.xml
1094   examples/platforms/optorsim/gridpp_grid_2004.conf
1095   examples/platforms/optorsim/lcg_sept2004_grid.conf
1096   examples/platforms/optorsim/transform_optorsim_platform.pl
1097   examples/platforms/config.xml
1098   examples/platforms/config_tracing.xml
1099   examples/platforms/trace/faulty_host.trace
1100   examples/platforms/trace/jupiter_speed.trace
1101   examples/platforms/trace/link1_avail.trace
1102   examples/platforms/trace/linkBandwidth7.bw
1103   examples/platforms/trace/trace_A_failure.txt
1104   examples/platforms/trace/trace_A.txt
1105   examples/platforms/trace/trace_B.txt
1106   examples/platforms/data_center.xml
1107   examples/platforms/energy_platform.xml
1108   examples/platforms/faulty_host.xml
1109   examples/platforms/fat_tree_cluster.xml
1110   examples/platforms/g5k.xml
1111   examples/platforms/griffon.xml
1112   examples/platforms/meta_cluster.xml
1113   examples/platforms/multicore_machine.xml
1114   examples/platforms/platform.xml
1115   examples/platforms/prop.xml
1116   examples/platforms/routing_cluster.xml
1117   examples/platforms/routing_cluster.lua
1118   examples/platforms/routing_none.xml
1119   examples/platforms/simulacrum_7_hosts.xml
1120   examples/platforms/storage/content/small_content.txt
1121   examples/platforms/storage/content/storage_content.txt
1122   examples/platforms/storage/content/win_storage_content.txt
1123   examples/platforms/storage/remote_io.xml
1124   examples/platforms/storage/storage.xml
1125   examples/platforms/small_platform.xml
1126   examples/platforms/small_platform.lua
1127   examples/platforms/small_platform_fatpipe.xml
1128   examples/platforms/small_platform_one_link_routes.xml
1129   examples/platforms/small_platform_with_failures.xml
1130   examples/platforms/small_platform_with_routers.xml
1131   examples/platforms/syscoord/generate_peer_platform.pl
1132   examples/platforms/syscoord/median_harvard.syscoord
1133   examples/platforms/syscoord/median_meridian.syscoord
1134   examples/platforms/syscoord/median_p2psim.syscoord
1135   examples/platforms/torus_cluster.xml
1136   examples/platforms/two_hosts.xml
1137   examples/platforms/two_hosts_platform.xml
1138   examples/platforms/two_hosts_platform_shared.xml
1139   examples/platforms/two_hosts_platform_with_availability.xml
1140   examples/platforms/two_hosts_platform_with_availability_included.xml
1141   examples/platforms/two_peers.xml
1142   examples/platforms/vivaldi.xml
1143   )
1144
1145 set(generated_src_files
1146   src/xbt/automaton/automaton_lexer.yy.c
1147   src/xbt/automaton/parserPromela.tab.cacc
1148   src/xbt/automaton/parserPromela.tab.hacc
1149   )
1150
1151 foreach(file ${generated_src_files})
1152   set_source_files_properties(${file} PROPERTIES GENERATED true)
1153 endforeach(file ${generated_src_files})