Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Move win32_ucontext.h to private area.
[simgrid.git] / buildtools / Cmake / DefinePackages.cmake
1 ### define source packages
2
3 set(EXTRA_DIST
4   src/bindings/java/MANIFEST.MF.in
5   src/include/instr/instr_interface.h
6   src/include/mc/datatypes.h
7   src/include/mc/mc.h
8   src/include/simgrid/sg_config.h
9   src/include/smpi/smpi_interface.h
10   src/include/surf/datatypes.h
11   src/include/surf/maxmin.h
12   src/include/surf/random_mgr.h
13   src/include/surf/surf.h
14   src/include/surf/surf_resource.h
15   src/include/surf/surf_resource_lmm.h
16   src/include/surf/surfxml_parse_values.h
17   src/include/surf/trace_mgr.h
18   src/include/xbt/win32_ucontext.h
19   src/include/xbt/wine_dbghelp.h
20   src/include/xbt/xbt_os_time.h
21   src/msg/msg_mailbox.h
22   src/msg/msg_private.h
23   src/portable.h
24   src/simdag/dax.dtd
25   src/simdag/dax_dtd.c
26   src/simdag/dax_dtd.h
27   src/simdag/private.h
28   src/simix/simcalls.in
29   src/simix/simcalls.py
30   src/simix/simcalls_generated_enum.h
31   src/simix/simcalls_generated_string.c
32   src/simix/simcalls_generated_res_getter_setter.h
33   src/simix/simcalls_generated_args_getter_setter.h
34   src/simix/simcalls_generated_case.c
35   src/simix/simcalls_generated_body.c
36   src/simix/smx_host_private.h
37   src/simix/smx_io_private.h
38   src/simix/smx_network_private.h
39   src/simix/smx_private.h
40   src/simix/smx_process_private.h
41   src/simix/smx_smurf_private.h
42   src/simix/smx_synchro_private.h
43   src/smpi/README
44   src/smpi/colls/colls.h
45   src/smpi/colls/colls_private.h
46   src/smpi/colls/coll_tuned_topo.h
47   src/smpi/private.h
48   src/smpi/smpi_mpi_dt_private.h
49   src/surf/plugins/energy.hpp
50   src/surf/cpu_interface.hpp
51   src/surf/cpu_ti.hpp
52   src/surf/cpu_cas01.hpp
53   src/surf/gtnets/gtnets_interface.h
54   src/surf/gtnets/gtnets_simulator.h
55   src/surf/gtnets/gtnets_topology.h
56   src/surf/maxmin_private.hpp
57   src/surf/network_interface.hpp
58   src/surf/network_gtnets.hpp
59   src/surf/network_ns3.hpp
60   src/surf/network_cm02.hpp
61   src/surf/network_smpi.hpp
62   src/surf/network_constant.hpp
63   src/surf/ns3/my-point-to-point-helper.h
64   src/surf/ns3/ns3_interface.h
65   src/surf/ns3/ns3_simulator.h
66   src/surf/ns3/red-queue.h
67   src/surf/platf_generator_private.h
68   src/surf/simgrid.dtd
69   src/surf/simgrid_dtd.c
70   src/surf/storage_interface.hpp
71   src/surf/storage_n11.hpp
72   src/surf/surf_interface.hpp
73   src/surf/surf_private.h
74   src/surf/surf_routing_private.hpp
75   src/surf/surf_routing.hpp
76   src/surf/surf_routing_cluster.hpp
77   src/surf/surf_routing_cluster_torus.hpp
78   src/surf/surf_routing_dijkstra.hpp
79   src/surf/surf_routing_floyd.hpp
80   src/surf/surf_routing_full.hpp
81   src/surf/surf_routing_generic.hpp
82   src/surf/surf_routing_none.hpp
83   src/surf/surf_routing_vivaldi.hpp
84   src/surf/surfxml_parse.c
85   src/surf/trace_mgr_private.h
86   src/surf/vm_workstation_interface.hpp
87   src/surf/vm_workstation_hl13.hpp
88   src/surf/workstation_interface.hpp
89   src/surf/workstation_clm03.hpp
90   src/surf/workstation_ptask_L07.hpp
91   src/win32/config.h
92   src/xbt/automaton/automaton_lexer.yy.c
93   src/xbt/automaton/parserPromela.lex
94   src/xbt/automaton/parserPromela.tab.cacc
95   src/xbt/automaton/parserPromela.tab.hacc
96   src/xbt/automaton/parserPromela.yacc
97   src/xbt/backtrace_dummy.c
98   src/xbt/backtrace_linux.c
99   src/xbt/backtrace_windows.c
100   src/xbt/dict_private.h
101   src/xbt/ex_interface.h
102   src/xbt/fifo_private.h
103   src/xbt/graph_private.h
104   src/xbt/graphxml.c
105   src/xbt/graphxml.dtd
106   src/xbt/graphxml_parse.c
107   src/xbt/heap_private.h
108   src/xbt/log_private.h
109   src/xbt/mallocator_private.h
110   src/xbt/mmalloc/mfree.c
111   src/xbt/mmalloc/mm.c
112   src/xbt/mmalloc/mm_diff.c
113   src/xbt/mmalloc/mm_legacy.c
114   src/xbt/mmalloc/mm_module.c
115   src/xbt/mmalloc/mmalloc.c
116   src/xbt/mmalloc/mmalloc.info
117   src/xbt/mmalloc/mmalloc.texi
118   src/xbt/mmalloc/mmorecore.c
119   src/xbt/mmalloc/mmprivate.h
120   src/xbt/mmalloc/mmtrace.awk
121   src/xbt/mmalloc/mrealloc.c
122   src/xbt/setset_private.h
123   src/xbt/win32_ucontext.c
124   tools/tesh/run_context.h
125   tools/tesh/tesh.h
126   )
127
128 set(SMPI_SRC
129   src/smpi/instr_smpi.c
130   src/smpi/smpi_base.c
131   src/smpi/smpi_bench.c
132   src/smpi/smpi_c99.c
133   src/smpi/smpi_coll.c
134   src/smpi/smpi_comm.c
135   src/smpi/smpi_dvfs.c
136   src/smpi/smpi_global.c
137   src/smpi/smpi_group.c
138   src/smpi/smpi_mpi.c
139   src/smpi/smpi_mpi_dt.c
140   src/smpi/smpi_pmpi.c
141   src/smpi/smpi_replay.c
142   src/smpi/colls/smpi_openmpi_selector.c
143   src/smpi/colls/smpi_mpich_selector.c
144   src/smpi/colls/colls_global.c
145   src/smpi/colls/allgather-2dmesh.c
146   src/smpi/colls/allgather-3dmesh.c
147   src/smpi/colls/allgather-bruck.c
148   src/smpi/colls/allgather-GB.c
149   src/smpi/colls/allgather-loosely-lr.c
150   src/smpi/colls/allgather-NTSLR.c
151   src/smpi/colls/allgather-NTSLR-NB.c
152   src/smpi/colls/allgather-pair.c
153   src/smpi/colls/allgather-rdb.c
154   src/smpi/colls/allgather-rhv.c
155   src/smpi/colls/allgather-ring.c
156   src/smpi/colls/allgather-SMP-NTS.c
157   src/smpi/colls/allgather-smp-simple.c
158   src/smpi/colls/allgather-spreading-simple.c
159   src/smpi/colls/allgather-ompi-neighborexchange.c
160   src/smpi/colls/allgatherv-GB.c  
161   src/smpi/colls/allgatherv-pair.c
162   src/smpi/colls/allgatherv-ring.c
163   src/smpi/colls/allgatherv-ompi-neighborexchange.c
164   src/smpi/colls/allgatherv-ompi-bruck.c
165   src/smpi/colls/allgatherv-mpich-rdb.c
166   src/smpi/colls/allgatherv-mpich-ring.c
167   src/smpi/colls/allreduce-lr.c
168   src/smpi/colls/allreduce-rab1.c
169   src/smpi/colls/allreduce-rab2.c
170   src/smpi/colls/allreduce-rab-rdb.c
171   src/smpi/colls/allreduce-rdb.c
172   src/smpi/colls/allreduce-redbcast.c
173   src/smpi/colls/allreduce-smp-binomial.c
174   src/smpi/colls/allreduce-smp-binomial-pipeline.c
175   src/smpi/colls/allreduce-smp-rdb.c
176   src/smpi/colls/allreduce-smp-rsag.c
177   src/smpi/colls/allreduce-smp-rsag-lr.c
178   src/smpi/colls/allreduce-smp-rsag-rab.c
179   src/smpi/colls/allreduce-ompi-ring-segmented.c
180   src/smpi/colls/alltoall-2dmesh.c
181   src/smpi/colls/alltoall-3dmesh.c
182 #  src/smpi/colls/alltoall-bruck.c
183   src/smpi/colls/alltoall-pair.c
184   src/smpi/colls/alltoall-pair-light-barrier.c
185   src/smpi/colls/alltoall-pair-mpi-barrier.c
186   src/smpi/colls/alltoall-pair-one-barrier.c
187   src/smpi/colls/alltoall-rdb.c
188   src/smpi/colls/alltoall-ring.c
189   src/smpi/colls/alltoall-ring-light-barrier.c
190   src/smpi/colls/alltoall-ring-mpi-barrier.c
191   src/smpi/colls/alltoall-ring-one-barrier.c
192   src/smpi/colls/alltoallv-pair.c   
193   src/smpi/colls/alltoallv-pair-light-barrier.c
194   src/smpi/colls/alltoallv-pair-mpi-barrier.c
195   src/smpi/colls/alltoallv-pair-one-barrier.c 
196   src/smpi/colls/alltoallv-ring.c
197   src/smpi/colls/alltoallv-ring-light-barrier.c
198   src/smpi/colls/alltoallv-ring-mpi-barrier.c
199   src/smpi/colls/alltoallv-ring-one-barrier.c
200   src/smpi/colls/alltoallv-bruck.c
201   src/smpi/colls/alltoallv-ompi-basic-linear.c
202   src/smpi/colls/bcast-arrival-pattern-aware.c
203   src/smpi/colls/bcast-arrival-pattern-aware-wait.c
204   src/smpi/colls/bcast-arrival-scatter.c
205   src/smpi/colls/bcast-binomial-tree.c
206   src/smpi/colls/bcast-flattree.c
207   src/smpi/colls/bcast-flattree-pipeline.c
208   src/smpi/colls/bcast-NTSB.c
209   src/smpi/colls/bcast-NTSL.c
210   src/smpi/colls/bcast-NTSL-Isend.c
211   src/smpi/colls/bcast-scatter-LR-allgather.c
212   src/smpi/colls/bcast-scatter-rdb-allgather.c
213   src/smpi/colls/bcast-SMP-binary.c
214   src/smpi/colls/bcast-SMP-binomial.c
215   src/smpi/colls/bcast-SMP-linear.c
216   src/smpi/colls/coll_tuned_topo.c
217   src/smpi/colls/bcast-ompi-split-bintree.c
218   src/smpi/colls/bcast-ompi-pipeline.c
219   src/smpi/colls/reduce-arrival-pattern-aware.c
220   src/smpi/colls/reduce-binomial.c
221   src/smpi/colls/reduce-flat-tree.c
222   src/smpi/colls/reduce-NTSL.c
223   src/smpi/colls/reduce-scatter-gather.c
224   src/smpi/colls/reduce-ompi.c
225   src/smpi/colls/gather-ompi.c
226   src/smpi/colls/reduce_scatter-ompi.c
227   src/smpi/colls/reduce_scatter-mpich.c
228   src/smpi/colls/smpi_automatic_selector.c
229   src/smpi/colls/scatter-ompi.c
230   src/smpi/colls/barrier-ompi.c
231   )
232
233 if(SMPI_F2C)
234   set(SMPI_SRC
235     ${SMPI_SRC}
236     src/smpi/smpi_f77.c
237     )
238 else()
239   set(EXTRA_DIST
240     ${EXTRA_DIST}
241     src/smpi/smpi_f77.c
242   )
243 endif()
244
245
246 set(XBT_SRC
247   src/xbt/RngStream.c
248   src/xbt/automaton/automaton.c
249   src/xbt/automaton/automatonparse_promela.c
250   src/xbt/config.c
251   src/xbt/cunit.c
252   src/xbt/dict.c
253   src/xbt/dict_cursor.c
254   src/xbt/dict_elm.c
255   src/xbt/dict_multi.c
256   src/xbt/dynar.c
257   src/xbt/ex.c
258   src/xbt/fifo.c
259   src/xbt/graph.c
260   src/xbt/graphxml_parse.c
261   src/xbt/heap.c
262   src/xbt/lib.c
263   src/xbt/log.c
264   src/xbt/mallocator.c
265   src/xbt/parmap.c
266   src/xbt/set.c
267   src/xbt/setset.c
268   src/xbt/snprintf.c
269   src/xbt/swag.c
270   src/xbt/xbt_log_appender_file.c
271   src/xbt/xbt_log_layout_format.c
272   src/xbt/xbt_log_layout_simple.c
273   src/xbt/xbt_main.c
274   src/xbt/xbt_matrix.c
275   src/xbt/xbt_os_time.c
276   src/xbt/xbt_peer.c
277   src/xbt/xbt_queue.c
278   src/xbt/xbt_replay.c
279   src/xbt/xbt_sg_synchro.c
280   src/xbt/xbt_sha.c
281   src/xbt/xbt_str.c
282   src/xbt/xbt_strbuff.c
283   src/xbt/xbt_virtu.c
284   src/xbt_modinter.h
285   )
286
287 if(HAVE_MMALLOC)
288   set(XBT_SRC
289     ${XBT_SRC}
290     src/xbt/mmalloc/mm.c
291     )
292 endif()
293
294 set(GTNETS_SRC
295   src/surf/gtnets/gtnets_interface.cc
296   src/surf/gtnets/gtnets_simulator.cc
297   src/surf/gtnets/gtnets_topology.cc
298   src/surf/network_gtnets.cpp
299   )
300
301 set(NS3_SRC
302   src/surf/network_ns3.cpp
303   src/surf/ns3/my-point-to-point-helper.cc
304   src/surf/ns3/ns3_interface.cc
305   src/surf/ns3/ns3_simulator.cc
306   src/surf/ns3/red-queue.cc
307   )
308
309 set(SURF_SRC
310   src/surf/plugins/energy.cpp
311   src/surf/cpu_interface.cpp
312   src/surf/cpu_ti.cpp
313   src/surf/cpu_cas01.cpp
314   src/surf/fair_bottleneck.cpp
315   src/surf/instr_routing.c
316   src/surf/instr_surf.c
317   src/surf/lagrange.cpp
318   src/surf/maxmin.cpp
319   src/surf/network_interface.cpp
320   src/surf/network_cm02.cpp
321   src/surf/network_smpi.cpp  
322   src/surf/network_constant.cpp
323   src/surf/platf_generator.c
324   src/surf/random_mgr.c
325   src/surf/sg_platf.c
326   src/surf/storage_interface.cpp
327   src/surf/storage_n11.cpp
328   src/surf/surf_interface.cpp
329   src/surf/surf_c_bindings.cpp
330   src/surf/surf_routing.cpp  
331   src/surf/surf_routing_cluster.cpp
332   src/surf/surf_routing_cluster_torus.cpp
333   src/surf/surf_routing_dijkstra.cpp
334   src/surf/surf_routing_floyd.cpp
335   src/surf/surf_routing_full.cpp
336   src/surf/surf_routing_generic.cpp
337   src/surf/surf_routing_none.cpp
338   src/surf/surf_routing_vivaldi.cpp
339   src/surf/surfxml_parse.c
340   src/surf/surfxml_parseplatf.c
341   src/surf/trace_mgr.c
342   src/surf/workstation_interface.cpp
343   src/surf/workstation_clm03.cpp
344   src/surf/workstation_ptask_L07.cpp
345   src/surf/vm_workstation_interface.cpp
346   src/surf/vm_workstation_hl13.cpp
347   src/xbt/xbt_sg_stubs.c
348   )
349
350 set(SIMIX_SRC
351   src/simix/smx_context.c
352   src/simix/smx_context_base.c
353   src/simix/smx_context_raw.c
354   src/simix/smx_deployment.c
355   src/simix/smx_environment.c
356   src/simix/smx_global.c
357   src/simix/smx_host.c
358   src/simix/smx_io.c
359   src/simix/smx_network.c
360   src/simix/smx_process.c
361   src/simix/smx_smurf.c
362   src/simix/smx_synchro.c
363   src/simix/smx_user.c
364   src/simix/smx_vm.c
365   )
366
367 set(SIMGRID_SRC
368   src/simgrid/sg_config.c
369   )
370
371 set(MSG_SRC
372   src/msg/instr_msg_process.c
373   src/msg/instr_msg_task.c
374   src/msg/instr_msg_vm.c
375   src/msg/msg_actions.c
376   src/msg/msg_deployment.c
377   src/msg/msg_environment.c
378   src/msg/msg_global.c
379   src/msg/msg_gos.c
380   src/msg/msg_host.c
381   src/msg/msg_io.c
382   src/msg/msg_mailbox.c
383   src/msg/msg_process.c
384   src/msg/msg_synchro.c
385   src/msg/msg_task.c
386   src/msg/msg_vm.c
387   )
388
389 #* ****************************************************************************************** *#
390 #* TUTORIAL: New API                                                                          *#
391
392 set(MSG_SRC
393   ${MSG_SRC}
394   src/msg/msg_new_api.c
395   )
396 set(EXTRA_DIST
397   ${EXTRA_DIST}
398   src/simix/smx_new_api_private.h
399   )
400 set(SIMIX_SRC
401   ${SIMIX_SRC}
402   src/simix/smx_new_api.c
403 )
404 #* ****************************************************************************************** *#
405
406 set(SIMDAG_SRC
407   src/simdag/instr_sd_task.c
408   src/simdag/sd_daxloader.c
409   src/simdag/sd_global.c
410   src/simdag/sd_link.c
411   src/simdag/sd_task.c
412   src/simdag/sd_workstation.c
413   )
414 if(HAVE_GRAPHVIZ)
415   set(SIMDAG_SRC
416     ${SIMDAG_SRC} src/simdag/sd_dotloader.c
417     )
418 else()
419   set(EXTRA_DIST
420     ${EXTRA_DIST} src/simdag/sd_dotloader.c
421     )
422 endif()
423
424 set(BINDINGS_SRC
425   src/bindings/bindings_global.c
426   src/bindings/lua/lua_private.h
427   src/bindings/lua/lua_state_cloner.h
428   src/bindings/lua/lua_utils.h
429   src/bindings/lua/simgrid_lua.h
430   )
431
432 set(JMSG_C_SRC
433   src/bindings/java/jmsg.c
434   src/bindings/java/jmsg.h
435   src/bindings/java/jmsg_as.c
436   src/bindings/java/jmsg_as.h
437   src/bindings/java/jmsg_comm.c
438   src/bindings/java/jmsg_comm.h
439   src/bindings/java/jmsg_file.c
440   src/bindings/java/jmsg_file.h
441   src/bindings/java/jmsg_host.c
442   src/bindings/java/jmsg_host.h
443   src/bindings/java/jmsg_process.c
444   src/bindings/java/jmsg_process.h
445   src/bindings/java/jmsg_rngstream.c
446   src/bindings/java/jmsg_rngstream.h
447   src/bindings/java/jmsg_synchro.c
448   src/bindings/java/jmsg_synchro.h
449   src/bindings/java/jmsg_task.c
450   src/bindings/java/jmsg_task.h
451   src/bindings/java/jmsg_vm.c
452   src/bindings/java/jmsg_vm.h
453   src/bindings/java/jxbt_utilities.c
454   src/bindings/java/jxbt_utilities.h
455   src/bindings/java/smx_context_cojava.c
456   src/bindings/java/smx_context_cojava.h
457   src/bindings/java/smx_context_java.c
458   src/bindings/java/smx_context_java.h
459 )
460
461 set(JMSG_JAVA_SRC
462   src/bindings/java/org/simgrid/NativeLib.java
463   #src/bindings/java/org/simgrid/NativeException.java
464
465   src/bindings/java/org/simgrid/msg/As.java     
466   src/bindings/java/org/simgrid/msg/Comm.java
467   src/bindings/java/org/simgrid/msg/File.java
468   src/bindings/java/org/simgrid/msg/Host.java
469   src/bindings/java/org/simgrid/msg/HostFailureException.java
470   src/bindings/java/org/simgrid/msg/HostNotFoundException.java
471   src/bindings/java/org/simgrid/msg/JniException.java
472   src/bindings/java/org/simgrid/msg/Msg.java
473   src/bindings/java/org/simgrid/msg/MsgException.java
474   src/bindings/java/org/simgrid/msg/Mutex.java
475   src/bindings/java/org/simgrid/msg/NativeException.java    
476   src/bindings/java/org/simgrid/msg/Process.java
477   src/bindings/java/org/simgrid/msg/ProcessKilledError.java
478   src/bindings/java/org/simgrid/msg/ProcessNotFoundException.java
479   src/bindings/java/org/simgrid/msg/RngStream.java
480   src/bindings/java/org/simgrid/msg/Semaphore.java
481   src/bindings/java/org/simgrid/msg/Task.java
482   src/bindings/java/org/simgrid/msg/TaskCancelledException.java
483   src/bindings/java/org/simgrid/msg/TimeoutException.java
484   src/bindings/java/org/simgrid/msg/TransferFailureException.java
485   src/bindings/java/org/simgrid/msg/VM.java
486 )
487
488 set(JSURF_SWIG_SRC
489   src/bindings/java/surf.i
490 )
491 set(JSURF_JAVA_C_SRC
492   src/bindings/java/surf_swig.cpp
493   src/bindings/java/surf_swig.hpp
494 )
495
496 set(JSURF_JAVA_GENERATED_SRC
497   ${CMAKE_BINARY_DIR}/src/bindings/java/org/simgrid/surf/Surf.java
498   ${CMAKE_BINARY_DIR}/src/bindings/java/org/simgrid/surf/SurfJNI.java
499   ${CMAKE_BINARY_DIR}/src/bindings/java/org/simgrid/surf/Plugin.java
500   ${CMAKE_BINARY_DIR}/src/bindings/java/org/simgrid/surf/Model.java
501   ${CMAKE_BINARY_DIR}/src/bindings/java/org/simgrid/surf/Resource.java
502   ${CMAKE_BINARY_DIR}/src/bindings/java/org/simgrid/surf/Action.java  
503   ${CMAKE_BINARY_DIR}/src/bindings/java/org/simgrid/surf/Cpu.java
504   ${CMAKE_BINARY_DIR}/src/bindings/java/org/simgrid/surf/CpuAction.java  
505   ${CMAKE_BINARY_DIR}/src/bindings/java/org/simgrid/surf/NetworkLink.java  
506   ${CMAKE_BINARY_DIR}/src/bindings/java/org/simgrid/surf/NetworkAction.java  
507
508   ${CMAKE_BINARY_DIR}/src/bindings/java/org/simgrid/surf/LmmConstraint.java  
509   ${CMAKE_BINARY_DIR}/src/bindings/java/org/simgrid/surf/XbtDict.java
510
511
512 set(JTRACE_C_SRC
513   src/bindings/java/jtrace.c
514   src/bindings/java/jtrace.h
515 )
516
517 set(JTRACE_JAVA_SRC
518   src/bindings/java/org/simgrid/trace/Trace.java
519 )
520
521 if(HAVE_TRACING)
522   list(APPEND JMSG_C_SRC ${JTRACE_C_SRC})
523   list(APPEND JMSG_JAVA_SRC ${JTRACE_JAVA_SRC})
524 else()
525   list(APPEND EXTRA_DIST ${JTRACE_C_SRC})
526   list(APPEND EXTRA_DIST ${JTRACE_JAVA_SRC})
527 endif()
528
529 set(LUA_SRC
530   src/bindings/lua/lua_comm.c
531   src/bindings/lua/lua_host.c
532   src/bindings/lua/lua_platf.c
533   src/bindings/lua/lua_process.c
534   src/bindings/lua/lua_state_cloner.c
535   src/bindings/lua/lua_task.c
536   src/bindings/lua/lua_utils.c
537   src/bindings/lua/simgrid_lua.c
538   )
539
540 set(TRACING_SRC
541   src/instr/instr_config.c
542   src/instr/instr_interface.c
543   src/instr/instr_paje_containers.c
544   src/instr/instr_TI_trace.c
545   src/instr/instr_paje_trace.c
546   src/instr/instr_trace.c
547   src/instr/instr_paje_header.c
548   src/instr/instr_paje_types.c
549   src/instr/instr_paje_values.c
550   src/instr/instr_private.h
551   src/instr/instr_resource_utilization.c
552   )
553
554 set(JEDULE_SRC
555   include/instr/jedule/jedule_events.h
556   include/instr/jedule/jedule_output.h
557   include/instr/jedule/jedule_platform.h
558   include/instr/jedule/jedule_sd_binding.h
559   src/instr/jedule/jedule_events.c
560   src/instr/jedule/jedule_output.c
561   src/instr/jedule/jedule_platform.c
562   src/instr/jedule/jedule_sd_binding.c
563   )
564
565 set(MC_SRC
566   src/mc/mc_checkpoint.c
567   src/mc/mc_compare.c
568   src/mc/mc_dpor.c
569   src/mc/mc_global.c
570   src/mc/mc_dwarf.c
571   src/mc/mc_member.c
572   src/mc/mc_dwarf_attrnames.h
573   src/mc/mc_dwarf_expression.c
574   src/mc/mc_dwarf_tagnames.h
575   src/mc/mc_liveness.c
576   src/mc/mc_memory.c
577   src/mc/mc_private.h
578   src/mc/mc_request.c
579   src/mc/mc_state.c
580   src/mc/memory_map.c
581   src/mc/mc_pair.c
582   src/mc/mc_hash.c
583   src/mc/mc_set.cpp
584   )
585
586 set(headers_to_install
587   include/simgrid.h
588   include/instr/instr.h
589   include/msg/datatypes.h
590   include/msg/msg.h
591   include/simdag/datatypes.h
592   include/simdag/simdag.h
593   include/simgrid/datatypes.h
594   include/simgrid/modelchecker.h
595   include/simgrid/platf.h
596   include/simgrid/platf_generator.h
597   include/simgrid/platf_interface.h
598   include/simgrid/plugins.h
599   include/simgrid/simix.h
600   include/smpi/mpi.h
601   include/smpi/smpi.h
602   include/smpi/smpi_cocci.h
603   include/smpi/smpi_main.h
604   include/surf/simgrid_dtd.h
605   include/surf/surf_routing.h
606   include/surf/surfxml_parse.h
607   include/xbt.h
608   include/xbt/RngStream.h
609   include/xbt/asserts.h
610   include/xbt/automaton.h
611   include/xbt/config.h
612   include/xbt/cunit.h
613   include/xbt/dict.h
614   include/xbt/dynar.h
615   include/xbt/ex.h
616   include/xbt/fifo.h
617   include/xbt/function_types.h
618   include/xbt/graph.h
619   include/xbt/graphxml.h
620   include/xbt/graphxml_parse.h
621   include/xbt/hash.h
622   include/xbt/heap.h
623   include/xbt/lib.h
624   include/xbt/log.h
625   include/xbt/mallocator.h
626   include/xbt/matrix.h
627   include/xbt/misc.h
628   include/xbt/mmalloc.h
629   include/xbt/module.h
630   include/xbt/parmap.h
631   include/xbt/peer.h
632   include/xbt/queue.h
633   include/xbt/replay.h
634   include/xbt/set.h
635   include/xbt/setset.h
636   include/xbt/str.h
637   include/xbt/strbuff.h
638   include/xbt/swag.h
639   include/xbt/synchro_core.h
640   include/xbt/sysdep.h
641   include/xbt/virtu.h
642   include/xbt/xbt_os_thread.h
643   )
644 set(source_of_generated_headers
645   include/simgrid_config.h.in
646   include/smpi/mpif.h.in
647   include/smpi/smpif.h.in
648   src/context_sysv_config.h.in)
649
650 ### depend of some variables setted upper
651 # -->CONTEXT_THREADS CONTEXT_UCONTEXT
652 if(${CONTEXT_THREADS}) #pthread
653   set(SURF_SRC
654     ${SURF_SRC}
655     src/simix/smx_context_thread.c
656     src/xbt/xbt_os_thread.c
657     )
658 else() # NOT pthread
659   set(EXTRA_DIST
660     ${EXTRA_DIST}
661     src/simix/smx_context_thread.c
662     src/xbt/xbt_os_thread.c
663     )
664 endif()
665
666 if(${CONTEXT_UCONTEXT}) #ucontext
667   set(SURF_SRC
668     ${SURF_SRC}
669     src/simix/smx_context_sysv.c
670     )
671 else() # NOT ucontext
672   set(EXTRA_DIST
673     ${EXTRA_DIST}
674     src/simix/smx_context_sysv.c
675     )
676 endif()
677
678 # -->HAVE_GTNETS
679 if(HAVE_GTNETS)
680   set(GTNETS_USED
681     ${GTNETS_SRC}
682     )
683 else()
684   set(GTNETS_USED "")
685   set(EXTRA_DIST
686     ${EXTRA_DIST}
687     ${GTNETS_SRC}
688     )
689 endif()
690
691 ### Simgrid Lib sources
692 set(simgrid_sources
693   ${BINDINGS_SRC}
694   ${GTNETS_USED}
695   ${MSG_SRC}
696   ${SIMDAG_SRC}
697   ${SIMGRID_SRC}
698   ${SIMIX_SRC}
699   ${SURF_SRC}
700   ${XBT_SRC}
701   )
702
703 if(${HAVE_JEDULE})
704   set(simgrid_sources
705     ${simgrid_sources}
706     ${JEDULE_SRC}
707     )
708 else()
709   set(EXTRA_DIST
710     ${EXTRA_DIST}
711     ${JEDULE_SRC}
712     )
713 endif()
714
715 if(enable_smpi)
716   set(simgrid_sources
717     ${simgrid_sources}
718     ${SMPI_SRC}
719     )
720 endif()
721
722 if(${HAVE_TRACING})
723   set(simgrid_sources
724     ${simgrid_sources}
725     ${TRACING_SRC}
726     )
727 else()
728   set(EXTRA_DIST
729     ${EXTRA_DIST}
730     ${TRACING_SRC}
731     )
732 endif()
733
734 if(HAVE_MC)
735   set(simgrid_sources
736     ${simgrid_sources}
737     ${MC_SRC}
738     )
739 endif()
740
741 if(HAVE_NS3)
742   set(simgrid_sources
743     ${simgrid_sources}
744     ${NS3_SRC}
745     )
746 endif()
747
748 # WINDOWS
749 if(WIN32)
750   set(simgrid_sources
751     ${simgrid_sources}
752     src/simix/smx_context_thread.c
753     src/xbt/win32_ucontext.c
754     src/xbt/xbt_os_thread.c
755     )
756 endif()
757
758 if(${HAVE_LUA})
759   set(simgrid_sources
760     ${simgrid_sources}
761     ${LUA_SRC}
762     )
763 else()
764   set(EXTRA_DIST
765     ${EXTRA_DIST}
766     ${LUA_SRC}
767     )
768 endif()
769
770 set(DOC_SOURCES
771   doc/Doxyfile.in
772   doc/Layout.xml
773   doc/sg_thread_model.fig
774   doc/simix.fig
775   doc/surf_nutshell.fig
776   doc/triva-graph_configuration.png
777   doc/triva-graph_configuration.svg
778   doc/triva-graph_visualization.png
779   doc/triva-graph_visualization.svg
780   doc/triva-time_interval.png
781   doc/triva-time_interval.svg
782
783   doc/HelloWorld/CMakeLists.txt
784   doc/HelloWorld/HelloWorld.c
785   doc/HelloWorld/README
786
787   doc/doxygen/FAQ.doc
788   doc/doxygen/advanced.doc
789   doc/doxygen/bindings.doc
790   doc/doxygen/contributing.doc
791   doc/doxygen/deployment.doc
792   doc/doxygen/footer.html
793   doc/doxygen/getting_started.doc
794   doc/doxygen/header.html
795   doc/doxygen/help.doc
796   doc/doxygen/index.doc
797   doc/doxygen/inside_autotests.doc
798   doc/doxygen/inside_cmake.doc
799   doc/doxygen/inside_doxygen.doc
800   doc/doxygen/inside_extending.doc
801   doc/doxygen/inside_release.doc
802   doc/doxygen/install.doc
803   doc/doxygen/internals.doc
804   doc/doxygen/introduction.doc
805   doc/doxygen/module-msg.doc
806   doc/doxygen/module-sd.doc
807   doc/doxygen/module-simix.doc
808   doc/doxygen/module-surf.doc
809   doc/doxygen/module-smpi.doc
810   doc/doxygen/module-trace.doc
811   doc/doxygen/module-xbt.doc
812   doc/doxygen/modules.doc
813   doc/doxygen/options.doc
814   doc/doxygen/platform.doc
815   doc/doxygen/pls.doc
816   doc/doxygen/stylesheet.css
817   doc/doxygen/tracing.doc
818   doc/doxygen/use.doc
819
820   doc/msg-tuto-src/deployment0.xml
821   doc/msg-tuto-src/deployment1.xml
822   doc/msg-tuto-src/deployment2.xml
823   doc/msg-tuto-src/deployment3.xml
824   doc/msg-tuto-src/deployment_general.xml
825   doc/msg-tuto-src/masterworker0.c
826   doc/msg-tuto-src/masterworker1.c
827   doc/msg-tuto-src/masterworker2.c
828   doc/msg-tuto-src/masterworker3.c
829   doc/msg-tuto-src/masterworker4.c
830   doc/msg-tuto-src/platforms/cloud.xml
831   doc/msg-tuto-src/platforms/g5k.xml
832   doc/msg-tuto-src/platforms/griffon.xml
833   doc/msg-tuto-src/platforms/peers.xml
834   doc/msg-tuto-src/platforms/platform.xml
835   
836   CITATION.bib
837   )
838
839 set(DOC_FIGS
840   ${CMAKE_HOME_DIRECTORY}/doc/shared/fig/simgrid_modules.fig
841   ${CMAKE_HOME_DIRECTORY}/doc/shared/fig/simgrid_modules2.fig
842   )
843
844 set(DOC_TOOLS
845   tools/doxygen/fig2dev_postprocessor.pl
846   tools/doxygen/index_create.pl
847   tools/doxygen/xbt_log_extract_hierarchy.pl
848   )
849
850 # these files get copied automatically to the html documentation
851 set(DOC_IMG
852   ${CMAKE_HOME_DIRECTORY}/doc/simgrid.css
853   ${CMAKE_HOME_DIRECTORY}/doc/sc3-description.png
854   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/AS_hierarchy.png
855   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/Paje_MSG_screenshot.jpg
856   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/Paje_MSG_screenshot_thn.jpg
857   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/SGicon.gif
858   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/SGicon.icns
859   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/SGicon.ico
860   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/awstats_logo3.png
861   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/output.goal.pdf
862   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/poster_thumbnail.png
863   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_2011.gif
864   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_2011.png
865   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_2011_small.png
866   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_win.bmp
867   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_win_2011.bmp
868   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/win_install_01.png
869   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/win_install_02.png
870   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/win_install_03.png
871   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/win_install_04.png
872   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/win_install_05.png
873   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/win_install_06.png
874   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/smpi_simgrid_alltoall_pair_16.png
875   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/smpi_simgrid_alltoall_ring_16.png
876   )
877
878 set(bin_files
879   ${bin_files}
880   src/smpi/smpicc.in
881   src/smpi/smpif2c.in
882   src/smpi/smpiff.in
883   src/smpi/smpif90.in
884   src/smpi/smpirun.in
885   src/smpi/smpitools.sh
886   )
887
888 set(txt_files
889   ${txt_files}
890   AUTHORS
891   COPYING
892   README
893   README.java
894   ChangeLog
895   ChangeLog.SimGrid-java
896   INSTALL
897   LICENSE-LGPL-2.1
898   NEWS
899   TODO
900   configure
901   )
902
903 set(EXAMPLES_CMAKEFILES_TXT
904   examples/java/CMakeLists.txt
905   examples/java/async/CMakeLists.txt
906   examples/java/bittorrent/CMakeLists.txt
907   examples/java/chord/CMakeLists.txt
908   examples/java/cloud/CMakeLists.txt
909   examples/java/cloud/migration/CMakeLists.txt
910   examples/java/commTime/CMakeLists.txt
911   examples/java/surfPlugin/CMakeLists.txt
912   examples/java/io/CMakeLists.txt
913   examples/java/kademlia/CMakeLists.txt
914   examples/java/master_slave_bypass/CMakeLists.txt
915   examples/java/master_slave_kill/CMakeLists.txt
916   examples/java/masterslave/CMakeLists.txt
917   examples/java/migration/CMakeLists.txt
918   examples/java/mutualExclusion/CMakeLists.txt
919   examples/java/pingPong/CMakeLists.txt
920   examples/java/priority/CMakeLists.txt
921   examples/java/startKillTime/CMakeLists.txt
922   examples/java/suspend/CMakeLists.txt
923   examples/java/tracing/CMakeLists.txt
924   examples/lua/CMakeLists.txt
925   examples/msg/CMakeLists.txt
926   examples/msg/actions/CMakeLists.txt
927   examples/msg/bittorrent/CMakeLists.txt
928   examples/msg/chainsend/CMakeLists.txt
929   examples/msg/chord/CMakeLists.txt
930   examples/msg/cloud/CMakeLists.txt
931   examples/msg/energy/e1/CMakeLists.txt
932   examples/msg/energy/e2/CMakeLists.txt
933   examples/msg/energy/e3/CMakeLists.txt
934   examples/msg/gpu/CMakeLists.txt
935   examples/msg/gtnets/CMakeLists.txt
936   examples/msg/icomms/CMakeLists.txt
937   examples/msg/io/CMakeLists.txt
938   examples/msg/kademlia/CMakeLists.txt
939   examples/msg/masterslave/CMakeLists.txt
940   examples/msg/mc/CMakeLists.txt
941   examples/msg/migration/CMakeLists.txt
942   examples/msg/ns3/CMakeLists.txt
943   examples/msg/parallel_task/CMakeLists.txt
944   examples/msg/pastry/CMakeLists.txt
945   examples/msg/pmm/CMakeLists.txt
946   examples/msg/priority/CMakeLists.txt
947   examples/msg/properties/CMakeLists.txt
948   examples/msg/semaphores/CMakeLists.txt
949   examples/msg/sendrecv/CMakeLists.txt
950   examples/msg/start_kill_time/CMakeLists.txt
951   examples/msg/suspend/CMakeLists.txt
952   examples/msg/token_ring/CMakeLists.txt
953   examples/msg/tracing/CMakeLists.txt
954   examples/scala/CMakeLists.txt
955   examples/scala/master_slave_bypass/CMakeLists.txt
956   examples/scala/master_slave_kill/CMakeLists.txt
957   examples/scala/masterslave/CMakeLists.txt
958   examples/simdag/CMakeLists.txt
959   examples/simdag/dax/CMakeLists.txt
960   examples/simdag/dot/CMakeLists.txt
961   examples/simdag/goal/CMakeLists.txt
962   examples/simdag/io/CMakeLists.txt
963   examples/simdag/metaxml/CMakeLists.txt
964   examples/simdag/properties/CMakeLists.txt
965   examples/simdag/scheduling/CMakeLists.txt
966   examples/smpi/CMakeLists.txt
967   examples/smpi/MM/CMakeLists.txt
968   examples/smpi/energy/CMakeLists.txt
969   examples/smpi/energy/f77/CMakeLists.txt
970   examples/smpi/energy/f90/CMakeLists.txt
971   examples/xbt/CMakeLists.txt
972   )
973
974 set(TESHSUITE_CMAKEFILES_TXT
975   teshsuite/msg/CMakeLists.txt
976   teshsuite/msg/storage/CMakeLists.txt
977   teshsuite/msg/trace/CMakeLists.txt
978   teshsuite/simdag/CMakeLists.txt
979   teshsuite/simdag/availability/CMakeLists.txt
980   teshsuite/simdag/network/CMakeLists.txt
981   teshsuite/simdag/network/mxn/CMakeLists.txt
982   teshsuite/simdag/network/p2p/CMakeLists.txt
983   teshsuite/simdag/partask/CMakeLists.txt
984   teshsuite/simdag/platforms/CMakeLists.txt
985   teshsuite/simix/CMakeLists.txt
986   teshsuite/smpi/CMakeLists.txt
987   teshsuite/smpi/mpich3-test/CMakeLists.txt
988   teshsuite/smpi/mpich3-test/attr/CMakeLists.txt
989   teshsuite/smpi/mpich3-test/comm/CMakeLists.txt
990   teshsuite/smpi/mpich3-test/coll/CMakeLists.txt
991   teshsuite/smpi/mpich3-test/datatype/CMakeLists.txt
992   teshsuite/smpi/mpich3-test/group/CMakeLists.txt
993   teshsuite/smpi/mpich3-test/topo/CMakeLists.txt
994   teshsuite/smpi/mpich3-test/init/CMakeLists.txt
995   teshsuite/smpi/mpich3-test/pt2pt/CMakeLists.txt
996   teshsuite/smpi/mpich3-test/f77/util/CMakeLists.txt
997 #  teshsuite/smpi/mpich3-test/f77/attr/CMakeLists.txt
998   teshsuite/smpi/mpich3-test/f77/coll/CMakeLists.txt
999   teshsuite/smpi/mpich3-test/f77/comm/CMakeLists.txt
1000   teshsuite/smpi/mpich3-test/f77/datatype/CMakeLists.txt
1001   teshsuite/smpi/mpich3-test/f77/ext/CMakeLists.txt
1002   teshsuite/smpi/mpich3-test/f77/init/CMakeLists.txt
1003   teshsuite/smpi/mpich3-test/f77/pt2pt/CMakeLists.txt
1004   teshsuite/smpi/mpich3-test/f90/util/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/init/CMakeLists.txt
1008   teshsuite/smpi/mpich3-test/f90/pt2pt/CMakeLists.txt
1009   teshsuite/xbt/CMakeLists.txt
1010   )
1011
1012 set(TOOLS_CMAKEFILES_TXT
1013   tools/CMakeLists.txt
1014   tools/graphicator/CMakeLists.txt
1015   tools/tesh/CMakeLists.txt
1016   )
1017
1018 set(TESTSUITE_CMAKEFILES_TXT
1019   testsuite/surf/CMakeLists.txt
1020   testsuite/xbt/CMakeLists.txt
1021   testsuite/mc/CMakeLists.txt
1022   )
1023
1024 set(CMAKE_SOURCE_FILES
1025   CMakeLists.txt
1026   buildtools/Cmake/AddTests.cmake
1027   buildtools/Cmake/CTestConfig.cmake
1028   buildtools/Cmake/CTestCustom.cmake
1029   buildtools/Cmake/CompleteInFiles.cmake
1030   buildtools/Cmake/DefinePackages.cmake
1031   buildtools/Cmake/Distrib.cmake
1032   buildtools/Cmake/Flags.cmake
1033   buildtools/Cmake/GenerateDoc.cmake
1034   buildtools/Cmake/GenerateDocWin.cmake
1035   buildtools/Cmake/MaintainerMode.cmake
1036   buildtools/Cmake/MakeExe.cmake
1037   buildtools/Cmake/MakeJava.cmake
1038   buildtools/Cmake/MakeLib.cmake
1039   buildtools/Cmake/MakeLibWin.cmake
1040   buildtools/Cmake/Modules/FindF2c.cmake
1041   buildtools/Cmake/Modules/FindGFortran.cmake
1042   buildtools/Cmake/Modules/FindGTnets.cmake
1043   buildtools/Cmake/Modules/FindGraphviz.cmake
1044   buildtools/Cmake/Modules/FindLibSigc++.cmake
1045   buildtools/Cmake/Modules/FindLibunwind.cmake
1046   buildtools/Cmake/Modules/FindLibdw.cmake
1047   buildtools/Cmake/Modules/FindLua51Simgrid.cmake
1048   buildtools/Cmake/Modules/FindNS3.cmake
1049   buildtools/Cmake/Modules/FindRngStream.cmake
1050   buildtools/Cmake/Modules/FindRubySimgrid.cmake
1051   buildtools/Cmake/Modules/FindScala.cmake
1052   buildtools/Cmake/Modules/FindSimGrid.cmake
1053   buildtools/Cmake/Modules/FindValgrind.cmake
1054   buildtools/Cmake/Option.cmake
1055   buildtools/Cmake/Pipol.cmake
1056   buildtools/Cmake/PrintArgs.cmake
1057   buildtools/Cmake/Scripts/Diff.pm
1058   buildtools/Cmake/Scripts/Makefile.default
1059   buildtools/Cmake/Scripts/SimGrid.packproj
1060   buildtools/Cmake/Scripts/generate_memcheck_tests.pl
1061   buildtools/Cmake/Scripts/generate_new_tests.pl
1062   buildtools/Cmake/Scripts/java_bundle.sh
1063   buildtools/Cmake/Scripts/my_valgrind.pl
1064   buildtools/Cmake/Scripts/postinstall.sh
1065   buildtools/Cmake/Scripts/preinstall.sh
1066   buildtools/Cmake/Scripts/tesh.pl
1067   buildtools/Cmake/Scripts/update_tesh.pl
1068   buildtools/Cmake/UnitTesting.cmake
1069   buildtools/Cmake/src/internal_config.h.in
1070   buildtools/Cmake/src/simgrid.nsi.in
1071   buildtools/Cmake/test_prog/prog_AC_CHECK_MCSC.c
1072   buildtools/Cmake/test_prog/prog_gnu_dynlinker.c
1073   buildtools/Cmake/test_prog/prog_gtnets.cpp
1074   buildtools/Cmake/test_prog/prog_mutex_timedlock.c
1075   buildtools/Cmake/test_prog/prog_printf_null.c
1076   buildtools/Cmake/test_prog/prog_sem_init.c
1077   buildtools/Cmake/test_prog/prog_sem_open.c
1078   buildtools/Cmake/test_prog/prog_sem_timedwait.c
1079   buildtools/Cmake/test_prog/prog_snprintf.c
1080   buildtools/Cmake/test_prog/prog_stackgrowth.c
1081   buildtools/Cmake/test_prog/prog_stacksetup.c
1082   buildtools/Cmake/test_prog/prog_thread_storage.c
1083   buildtools/Cmake/test_prog/prog_vsnprintf.c
1084   )
1085
1086 set(PLATFORMS_EXAMPLES
1087   examples/platforms/bypassASroute.xml
1088   examples/platforms/bypassRoute.xml
1089   examples/platforms/cloud.xml
1090   examples/platforms/cluster.xml
1091   examples/platforms/cluster_and_one_host.xml
1092   examples/platforms/cluster_no_backbone.xml
1093   examples/platforms/clusters_routing_full.xml
1094   examples/platforms/conf/gridpp_grid_2004.conf
1095   examples/platforms/conf/gridpp_grid_2004.xml
1096   examples/platforms/conf/lcg_sept2004_grid.conf
1097   examples/platforms/conf/lcg_sept2004_grid.xml
1098   examples/platforms/conf/transform_optorsim_platform.pl
1099   examples/platforms/config.xml
1100   examples/platforms/content/small_content.txt
1101   examples/platforms/content/storage_content.txt
1102   examples/platforms/content/win_storage_content.txt
1103   examples/platforms/data_center.xml
1104   examples/platforms/g5k.xml
1105   examples/platforms/generation_scripts/create_hierarchical_clusters.pl
1106   examples/platforms/generation_scripts/enhancedDTDwithHierarchicalCluster.pl
1107   examples/platforms/generation_scripts/generate_g5k_platform.pl
1108   examples/platforms/generation_scripts/generate_g5k_platform_cabinets.pl
1109   examples/platforms/griffon.xml
1110   examples/platforms/torus_cluster.xml
1111   examples/platforms/meta_cluster.xml
1112   examples/platforms/multicore_machine.xml
1113   examples/platforms/prop.xml
1114   examples/platforms/routing_cluster.xml
1115   examples/platforms/storage.xml
1116   examples/platforms/syscoord/generate_peer_platform.pl
1117   examples/platforms/syscoord/median_harvard.syscoord
1118   examples/platforms/syscoord/median_harvard.xml
1119   examples/platforms/syscoord/median_meridian.syscoord
1120   examples/platforms/syscoord/median_meridian.xml
1121   examples/platforms/syscoord/median_p2psim.syscoord
1122   examples/platforms/syscoord/median_p2psim.xml
1123   examples/platforms/two_peers.xml
1124   examples/platforms/vivaldi.xml
1125   )
1126
1127 set(generated_src_files
1128   src/xbt/automaton/automaton_lexer.yy.c
1129   src/xbt/automaton/parserPromela.tab.cacc
1130   src/xbt/automaton/parserPromela.tab.hacc
1131   )
1132
1133 foreach(file ${generated_src_files})
1134   set_source_files_properties(${file} PROPERTIES GENERATED true)
1135 endforeach(file ${generated_src_files})