Logo AND Algorithmique Numérique Distribuée

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