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
   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/mk_supernovae.pl
  23   src/msg/msg_mailbox.h
  24   src/msg/msg_private.h
  25   src/portable.h
  26   src/simdag/dax.dtd
  27   src/simdag/dax_dtd.c
  28   src/simdag/dax_dtd.h
  29   src/simdag/private.h
  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_private.h
  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.c
 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/msg/As.java
 463   src/bindings/java/org/simgrid/msg/Comm.java
 464   src/bindings/java/org/simgrid/msg/File.java
 465   src/bindings/java/org/simgrid/msg/Host.java
 466   src/bindings/java/org/simgrid/msg/HostFailureException.java
 467   src/bindings/java/org/simgrid/msg/HostNotFoundException.java
 468   src/bindings/java/org/simgrid/msg/JniException.java
 469   src/bindings/java/org/simgrid/msg/Msg.java
 470   src/bindings/java/org/simgrid/msg/MsgException.java
 471   src/bindings/java/org/simgrid/msg/Mutex.java
 472   src/bindings/java/org/simgrid/msg/Semaphore.java
 473   src/bindings/java/org/simgrid/msg/NativeException.java
 474   src/bindings/java/org/simgrid/msg/Process.java
 475   src/bindings/java/org/simgrid/msg/ProcessKilledError.java
 476   src/bindings/java/org/simgrid/msg/ProcessNotFoundException.java
 477   src/bindings/java/org/simgrid/msg/RngStream.java
 478   src/bindings/java/org/simgrid/msg/Task.java
 479   src/bindings/java/org/simgrid/msg/TaskCancelledException.java
 480   src/bindings/java/org/simgrid/msg/TimeoutException.java
 481   src/bindings/java/org/simgrid/msg/TransferFailureException.java
 482   src/bindings/java/org/simgrid/msg/VM.java
 483 )
 484
 485 set(JTRACE_C_SRC
 486   src/bindings/java/jtrace.c
 487   src/bindings/java/jtrace.h
 488 )
 489
 490 set(JTRACE_JAVA_SRC
 491   src/bindings/java/org/simgrid/trace/Trace.java
 492 )
 493
 494 if(HAVE_TRACING)
 495   list(APPEND JMSG_C_SRC ${JTRACE_C_SRC})
 496   list(APPEND JMSG_JAVA_SRC ${JTRACE_JAVA_SRC})
 497 else()
 498   list(APPEND EXTRA_DIST ${JTRACE_C_SRC})
 499   list(APPEND EXTRA_DIST ${JTRACE_JAVA_SRC})
 500 endif()
 501
 502 set(LUA_SRC
 503   src/bindings/lua/lua_comm.c
 504   src/bindings/lua/lua_host.c
 505   src/bindings/lua/lua_platf.c
 506   src/bindings/lua/lua_process.c
 507   src/bindings/lua/lua_state_cloner.c
 508   src/bindings/lua/lua_task.c
 509   src/bindings/lua/lua_utils.c
 510   src/bindings/lua/simgrid_lua.c
 511   )
 512
 513 set(TRACING_SRC
 514   src/instr/instr_config.c
 515   src/instr/instr_interface.c
 516   src/instr/instr_paje_containers.c
 517   src/instr/instr_TI_trace.c
 518   src/instr/instr_paje_trace.c
 519   src/instr/instr_trace.c
 520   src/instr/instr_paje_header.c
 521   src/instr/instr_paje_types.c
 522   src/instr/instr_paje_values.c
 523   src/instr/instr_private.h
 524   src/instr/instr_resource_utilization.c
 525   )
 526
 527 set(JEDULE_SRC
 528   include/instr/jedule/jedule_events.h
 529   include/instr/jedule/jedule_output.h
 530   include/instr/jedule/jedule_platform.h
 531   include/instr/jedule/jedule_sd_binding.h
 532   src/instr/jedule/jedule_events.c
 533   src/instr/jedule/jedule_output.c
 534   src/instr/jedule/jedule_platform.c
 535   src/instr/jedule/jedule_sd_binding.c
 536   )
 537
 538 set(MC_SRC
 539   src/mc/mc_checkpoint.c
 540   src/mc/mc_compare.c
 541   src/mc/mc_dpor.c
 542   src/mc/mc_global.c
 543   src/mc/mc_liveness.c
 544   src/mc/mc_memory.c
 545   src/mc/mc_private.h
 546   src/mc/mc_request.c
 547   src/mc/mc_state.c
 548   src/mc/memory_map.c
 549   src/mc/mc_pair.c
 550   )
 551
 552 set(headers_to_install
 553   include/simgrid.h
 554   include/instr/instr.h
 555   include/msg/datatypes.h
 556   include/msg/msg.h
 557   include/simdag/datatypes.h
 558   include/simdag/simdag.h
 559   include/simgrid/datatypes.h
 560   include/simgrid/modelchecker.h
 561   include/simgrid/platf.h
 562   include/simgrid/platf_generator.h
 563   include/simgrid/plugins.h
 564   include/simgrid/simix.h
 565   include/smpi/mpi.h
 566   include/smpi/smpi.h
 567   include/smpi/smpi_cocci.h
 568   include/smpi/smpi_main.h
 569   include/surf/simgrid_dtd.h
 570   include/surf/surf_routing.h
 571   include/surf/surfxml_parse.h
 572   include/xbt.h
 573   include/xbt/RngStream.h
 574   include/xbt/asserts.h
 575   include/xbt/automaton.h
 576   include/xbt/config.h
 577   include/xbt/cunit.h
 578   include/xbt/dict.h
 579   include/xbt/dynar.h
 580   include/xbt/ex.h
 581   include/xbt/fifo.h
 582   include/xbt/function_types.h
 583   include/xbt/graph.h
 584   include/xbt/graphxml.h
 585   include/xbt/graphxml_parse.h
 586   include/xbt/hash.h
 587   include/xbt/heap.h
 588   include/xbt/lib.h
 589   include/xbt/log.h
 590   include/xbt/mallocator.h
 591   include/xbt/matrix.h
 592   include/xbt/misc.h
 593   include/xbt/mmalloc.h
 594   include/xbt/module.h
 595   include/xbt/parmap.h
 596   include/xbt/peer.h
 597   include/xbt/queue.h
 598   include/xbt/replay.h
 599   include/xbt/set.h
 600   include/xbt/setset.h
 601   include/xbt/str.h
 602   include/xbt/strbuff.h
 603   include/xbt/swag.h
 604   include/xbt/synchro_core.h
 605   include/xbt/sysdep.h
 606   include/xbt/virtu.h
 607   include/xbt/xbt_os_thread.h
 608   )
 609 set(source_of_generated_headers
 610   include/simgrid_config.h.in
 611   include/smpi/mpif.h.in
 612   include/smpi/smpif.h.in
 613   src/context_sysv_config.h.in)
 614
 615 ### depend of some variables setted upper
 616 # -->CONTEXT_THREADS CONTEXT_UCONTEXT
 617 if(${CONTEXT_THREADS}) #pthread
 618   set(SURF_SRC
 619     ${SURF_SRC}
 620     src/simix/smx_context_thread.c
 621     src/xbt/xbt_os_thread.c
 622     )
 623 else() # NOT pthread
 624   set(EXTRA_DIST
 625     ${EXTRA_DIST}
 626     src/simix/smx_context_thread.c
 627     src/xbt/xbt_os_thread.c
 628     )
 629 endif()
 630
 631 if(${CONTEXT_UCONTEXT}) #ucontext
 632   set(SURF_SRC
 633     ${SURF_SRC}
 634     src/simix/smx_context_sysv.c
 635     )
 636 else() # NOT ucontext
 637   set(EXTRA_DIST
 638     ${EXTRA_DIST}
 639     src/simix/smx_context_sysv.c
 640     )
 641 endif()
 642
 643 # -->HAVE_GTNETS
 644 if(HAVE_GTNETS)
 645   set(GTNETS_USED
 646     ${GTNETS_SRC}
 647     )
 648 else()
 649   set(GTNETS_USED "")
 650   set(EXTRA_DIST
 651     ${EXTRA_DIST}
 652     ${GTNETS_SRC}
 653     )
 654 endif()
 655
 656 ### Simgrid Lib sources
 657 set(simgrid_sources
 658   ${BINDINGS_SRC}
 659   ${GTNETS_USED}
 660   ${MSG_SRC}
 661   ${SIMDAG_SRC}
 662   ${SIMGRID_SRC}
 663   ${SIMIX_SRC}
 664   ${SURF_SRC}
 665   ${XBT_SRC}
 666   )
 667
 668 if(${HAVE_JEDULE})
 669   set(simgrid_sources
 670     ${simgrid_sources}
 671     ${JEDULE_SRC}
 672     )
 673 else()
 674   set(EXTRA_DIST
 675     ${EXTRA_DIST}
 676     ${JEDULE_SRC}
 677     )
 678 endif()
 679
 680 if(enable_smpi)
 681   set(simgrid_sources
 682     ${simgrid_sources}
 683     ${SMPI_SRC}
 684     )
 685 endif()
 686
 687 if(${HAVE_TRACING})
 688   set(simgrid_sources
 689     ${simgrid_sources}
 690     ${TRACING_SRC}
 691     )
 692 else()
 693   set(EXTRA_DIST
 694     ${EXTRA_DIST}
 695     ${TRACING_SRC}
 696     )
 697 endif()
 698
 699 if(HAVE_MC)
 700   set(simgrid_sources
 701     ${simgrid_sources}
 702     ${MC_SRC}
 703     )
 704 endif()
 705
 706 if(HAVE_NS3)
 707   set(simgrid_sources
 708     ${simgrid_sources}
 709     ${NS3_SRC}
 710     )
 711 endif()
 712
 713 # WINDOWS
 714 if(WIN32)
 715   set(simgrid_sources
 716     ${simgrid_sources}
 717     src/simix/smx_context_thread.c
 718     src/xbt/win32_ucontext.c
 719     src/xbt/xbt_os_thread.c
 720     )
 721 endif()
 722
 723 if(${HAVE_LUA})
 724   set(simgrid_sources
 725     ${simgrid_sources}
 726     ${LUA_SRC}
 727     )
 728 else()
 729   set(EXTRA_DIST
 730     ${EXTRA_DIST}
 731     ${LUA_SRC}
 732     )
 733 endif()
 734
 735 set(DOC_SOURCES
 736   doc/Doxyfile.in
 737   doc/Layout.xml
 738   doc/sg_thread_model.fig
 739   doc/simix.fig
 740   doc/surf_nutshell.fig
 741   doc/triva-graph_configuration.png
 742   doc/triva-graph_configuration.svg
 743   doc/triva-graph_visualization.png
 744   doc/triva-graph_visualization.svg
 745   doc/triva-time_interval.png
 746   doc/triva-time_interval.svg
 747
 748   doc/HelloWorld/CMakeLists.txt
 749   doc/HelloWorld/HelloWorld.c
 750   doc/HelloWorld/README
 751
 752   doc/doxygen/FAQ.doc
 753   doc/doxygen/advanced.doc
 754   doc/doxygen/bindings.doc
 755   doc/doxygen/contributing.doc
 756   doc/doxygen/deployment.doc
 757   doc/doxygen/footer.html
 758   doc/doxygen/getting_started.doc
 759   doc/doxygen/header.html
 760   doc/doxygen/help.doc
 761   doc/doxygen/index.doc
 762   doc/doxygen/inside_autotests.doc
 763   doc/doxygen/inside_cmake.doc
 764   doc/doxygen/inside_doxygen.doc
 765   doc/doxygen/inside_extending.doc
 766   doc/doxygen/inside_release.doc
 767   doc/doxygen/install.doc
 768   doc/doxygen/internals.doc
 769   doc/doxygen/introduction.doc
 770   doc/doxygen/module-msg.doc
 771   doc/doxygen/module-sd.doc
 772   doc/doxygen/module-simix.doc
 773   doc/doxygen/module-surf.doc
 774   doc/doxygen/module-smpi.doc
 775   doc/doxygen/module-trace.doc
 776   doc/doxygen/module-xbt.doc
 777   doc/doxygen/modules.doc
 778   doc/doxygen/options.doc
 779   doc/doxygen/platform.doc
 780   doc/doxygen/pls.doc
 781   doc/doxygen/stylesheet.css
 782   doc/doxygen/tracing.doc
 783   doc/doxygen/use.doc
 784
 785   doc/msg-tuto-src/deployment0.xml
 786   doc/msg-tuto-src/deployment1.xml
 787   doc/msg-tuto-src/deployment2.xml
 788   doc/msg-tuto-src/deployment3.xml
 789   doc/msg-tuto-src/deployment_general.xml
 790   doc/msg-tuto-src/masterworker0.c
 791   doc/msg-tuto-src/masterworker1.c
 792   doc/msg-tuto-src/masterworker2.c
 793   doc/msg-tuto-src/masterworker3.c
 794   doc/msg-tuto-src/masterworker4.c
 795   doc/msg-tuto-src/platforms/cloud.xml
 796   doc/msg-tuto-src/platforms/g5k.xml
 797   doc/msg-tuto-src/platforms/griffon.xml
 798   doc/msg-tuto-src/platforms/peers.xml
 799   doc/msg-tuto-src/platforms/platform.xml
 800
 801   CITATION.bib
 802   )
 803
 804 set(DOC_FIGS
 805   ${CMAKE_HOME_DIRECTORY}/doc/shared/fig/simgrid_modules.fig
 806   ${CMAKE_HOME_DIRECTORY}/doc/shared/fig/simgrid_modules2.fig
 807   )
 808
 809 set(DOC_TOOLS
 810   tools/doxygen/fig2dev_postprocessor.pl
 811   tools/doxygen/index_create.pl
 812   tools/doxygen/xbt_log_extract_hierarchy.pl
 813   )
 814
 815 # these files get copied automatically to the html documentation
 816 set(DOC_IMG
 817   ${CMAKE_HOME_DIRECTORY}/doc/simgrid.css
 818   ${CMAKE_HOME_DIRECTORY}/doc/sc3-description.png
 819   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/AS_hierarchy.png
 820   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/Paje_MSG_screenshot.jpg
 821   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/Paje_MSG_screenshot_thn.jpg
 822   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/SGicon.gif
 823   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/SGicon.icns
 824   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/SGicon.ico
 825   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/awstats_logo3.png
 826   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/output.goal.pdf
 827   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/poster_thumbnail.png
 828   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_2011.gif
 829   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_2011.png
 830   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_2011_small.png
 831   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_win.bmp
 832   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_win_2011.bmp
 833   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/win_install_01.png
 834   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/win_install_02.png
 835   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/win_install_03.png
 836   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/win_install_04.png
 837   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/win_install_05.png
 838   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/win_install_06.png
 839   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/smpi_simgrid_alltoall_pair_16.png
 840   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/smpi_simgrid_alltoall_ring_16.png
 841   )
 842
 843 set(bin_files
 844   ${bin_files}
 845   src/smpi/smpicc.in
 846   src/smpi/smpif2c.in
 847   src/smpi/smpiff.in
 848   src/smpi/smpif90.in
 849   src/smpi/smpirun.in
 850   src/smpi/smpitools.sh
 851   )
 852
 853 set(txt_files
 854   ${txt_files}
 855   AUTHORS
 856   COPYING
 857   README
 858   README.java
 859   ChangeLog
 860   ChangeLog.SimGrid-java
 861   INSTALL
 862   LICENSE-LGPL-2.1
 863   NEWS
 864   TODO
 865   configure
 866   )
 867
 868 set(EXAMPLES_CMAKEFILES_TXT
 869   examples/java/CMakeLists.txt
 870   examples/java/async/CMakeLists.txt
 871   examples/java/bittorrent/CMakeLists.txt
 872   examples/java/chord/CMakeLists.txt
 873   examples/java/cloud/CMakeLists.txt
 874   examples/java/commTime/CMakeLists.txt
 875   examples/java/io/CMakeLists.txt
 876   examples/java/kademlia/CMakeLists.txt
 877   examples/java/master_slave_bypass/CMakeLists.txt
 878   examples/java/master_slave_kill/CMakeLists.txt
 879   examples/java/masterslave/CMakeLists.txt
 880   examples/java/migration/CMakeLists.txt
 881   examples/java/mutualExclusion/CMakeLists.txt
 882   examples/java/pingPong/CMakeLists.txt
 883   examples/java/priority/CMakeLists.txt
 884   examples/java/startKillTime/CMakeLists.txt
 885   examples/java/suspend/CMakeLists.txt
 886   examples/java/tracing/CMakeLists.txt
 887   examples/lua/CMakeLists.txt
 888   examples/msg/CMakeLists.txt
 889   examples/msg/actions/CMakeLists.txt
 890   examples/msg/bittorrent/CMakeLists.txt
 891   examples/msg/chainsend/CMakeLists.txt
 892   examples/msg/chord/CMakeLists.txt
 893   examples/msg/cloud/CMakeLists.txt
 894   examples/msg/energy/e1/CMakeLists.txt
 895   examples/msg/energy/e2/CMakeLists.txt
 896   examples/msg/energy/e3/CMakeLists.txt
 897   examples/msg/gpu/CMakeLists.txt
 898   examples/msg/gtnets/CMakeLists.txt
 899   examples/msg/icomms/CMakeLists.txt
 900   examples/msg/io/CMakeLists.txt
 901   examples/msg/kademlia/CMakeLists.txt
 902   examples/msg/masterslave/CMakeLists.txt
 903   examples/msg/mc/CMakeLists.txt
 904   examples/msg/migration/CMakeLists.txt
 905   examples/msg/ns3/CMakeLists.txt
 906   examples/msg/parallel_task/CMakeLists.txt
 907   examples/msg/pastry/CMakeLists.txt
 908   examples/msg/pmm/CMakeLists.txt
 909   examples/msg/priority/CMakeLists.txt
 910   examples/msg/properties/CMakeLists.txt
 911   examples/msg/semaphores/CMakeLists.txt
 912   examples/msg/sendrecv/CMakeLists.txt
 913   examples/msg/start_kill_time/CMakeLists.txt
 914   examples/msg/suspend/CMakeLists.txt
 915   examples/msg/token_ring/CMakeLists.txt
 916   examples/msg/tracing/CMakeLists.txt
 917   examples/scala/CMakeLists.txt
 918   examples/scala/master_slave_bypass/CMakeLists.txt
 919   examples/scala/master_slave_kill/CMakeLists.txt
 920   examples/scala/masterslave/CMakeLists.txt
 921   examples/simdag/CMakeLists.txt
 922   examples/simdag/dax/CMakeLists.txt
 923   examples/simdag/dot/CMakeLists.txt
 924   examples/simdag/goal/CMakeLists.txt
 925   examples/simdag/io/CMakeLists.txt
 926   examples/simdag/metaxml/CMakeLists.txt
 927   examples/simdag/properties/CMakeLists.txt
 928   examples/simdag/scheduling/CMakeLists.txt
 929   examples/smpi/CMakeLists.txt
 930   examples/smpi/MM/CMakeLists.txt
 931   examples/smpi/energy/CMakeLists.txt
 932   examples/smpi/energy/f77/CMakeLists.txt
 933   examples/smpi/energy/f90/CMakeLists.txt
 934   examples/xbt/CMakeLists.txt
 935   )
 936
 937 set(TESHSUITE_CMAKEFILES_TXT
 938   teshsuite/msg/CMakeLists.txt
 939   teshsuite/msg/storage/CMakeLists.txt
 940   teshsuite/msg/trace/CMakeLists.txt
 941   teshsuite/simdag/CMakeLists.txt
 942   teshsuite/simdag/availability/CMakeLists.txt
 943   teshsuite/simdag/network/CMakeLists.txt
 944   teshsuite/simdag/network/mxn/CMakeLists.txt
 945   teshsuite/simdag/network/p2p/CMakeLists.txt
 946   teshsuite/simdag/partask/CMakeLists.txt
 947   teshsuite/simdag/platforms/CMakeLists.txt
 948   teshsuite/simix/CMakeLists.txt
 949   teshsuite/smpi/CMakeLists.txt
 950   teshsuite/smpi/mpich3-test/CMakeLists.txt
 951   teshsuite/smpi/mpich3-test/attr/CMakeLists.txt
 952   teshsuite/smpi/mpich3-test/comm/CMakeLists.txt
 953   teshsuite/smpi/mpich3-test/coll/CMakeLists.txt
 954   teshsuite/smpi/mpich3-test/datatype/CMakeLists.txt
 955   teshsuite/smpi/mpich3-test/group/CMakeLists.txt
 956   teshsuite/smpi/mpich3-test/init/CMakeLists.txt
 957   teshsuite/smpi/mpich3-test/pt2pt/CMakeLists.txt
 958   teshsuite/smpi/mpich3-test/f77/util/CMakeLists.txt
 959 #  teshsuite/smpi/mpich3-test/f77/attr/CMakeLists.txt
 960   teshsuite/smpi/mpich3-test/f77/coll/CMakeLists.txt
 961   teshsuite/smpi/mpich3-test/f77/comm/CMakeLists.txt
 962   teshsuite/smpi/mpich3-test/f77/datatype/CMakeLists.txt
 963   teshsuite/smpi/mpich3-test/f77/ext/CMakeLists.txt
 964   teshsuite/smpi/mpich3-test/f77/init/CMakeLists.txt
 965   teshsuite/smpi/mpich3-test/f77/pt2pt/CMakeLists.txt
 966   teshsuite/smpi/mpich3-test/f90/util/CMakeLists.txt
 967   teshsuite/smpi/mpich3-test/f90/coll/CMakeLists.txt
 968   teshsuite/smpi/mpich3-test/f90/datatype/CMakeLists.txt
 969   teshsuite/smpi/mpich3-test/f90/init/CMakeLists.txt
 970   teshsuite/smpi/mpich3-test/f90/pt2pt/CMakeLists.txt
 971   teshsuite/xbt/CMakeLists.txt
 972   )
 973
 974 set(TOOLS_CMAKEFILES_TXT
 975   tools/CMakeLists.txt
 976   tools/graphicator/CMakeLists.txt
 977   tools/tesh/CMakeLists.txt
 978   )
 979
 980 set(TESTSUITE_CMAKEFILES_TXT
 981   testsuite/surf/CMakeLists.txt
 982   testsuite/xbt/CMakeLists.txt
 983   )
 984
 985 set(CMAKE_SOURCE_FILES
 986   CMakeLists.txt
 987   buildtools/Cmake/AddTests.cmake
 988   buildtools/Cmake/CTestConfig.cmake
 989   buildtools/Cmake/CTestCustom.cmake
 990   buildtools/Cmake/CompleteInFiles.cmake
 991   buildtools/Cmake/DefinePackages.cmake
 992   buildtools/Cmake/Distrib.cmake
 993   buildtools/Cmake/Flags.cmake
 994   buildtools/Cmake/GenerateDoc.cmake
 995   buildtools/Cmake/GenerateDocWin.cmake
 996   buildtools/Cmake/MaintainerMode.cmake
 997   buildtools/Cmake/MakeExe.cmake
 998   buildtools/Cmake/MakeJava.cmake
 999   buildtools/Cmake/MakeLib.cmake
1000   buildtools/Cmake/MakeLibWin.cmake
1001   buildtools/Cmake/Modules/FindF2c.cmake
1002   buildtools/Cmake/Modules/FindGFortran.cmake
1003   buildtools/Cmake/Modules/FindGTnets.cmake
1004   buildtools/Cmake/Modules/FindGraphviz.cmake
1005   buildtools/Cmake/Modules/FindLibSigc++.cmake
1006   buildtools/Cmake/Modules/FindLibunwind.cmake
1007   buildtools/Cmake/Modules/FindLua51Simgrid.cmake
1008   buildtools/Cmake/Modules/FindNS3.cmake
1009   buildtools/Cmake/Modules/FindRngStream.cmake
1010   buildtools/Cmake/Modules/FindRubySimgrid.cmake
1011   buildtools/Cmake/Modules/FindScala.cmake
1012   buildtools/Cmake/Modules/FindSimGrid.cmake
1013   buildtools/Cmake/Modules/FindValgrind.cmake
1014   buildtools/Cmake/Option.cmake
1015   buildtools/Cmake/Pipol.cmake
1016   buildtools/Cmake/PrintArgs.cmake
1017   buildtools/Cmake/Scripts/Diff.pm
1018   buildtools/Cmake/Scripts/Makefile.default
1019   buildtools/Cmake/Scripts/SimGrid.packproj
1020   buildtools/Cmake/Scripts/generate_memcheck_tests.pl
1021   buildtools/Cmake/Scripts/generate_new_tests.pl
1022   buildtools/Cmake/Scripts/my_valgrind.pl
1023   buildtools/Cmake/Scripts/postinstall.sh
1024   buildtools/Cmake/Scripts/preinstall.sh
1025   buildtools/Cmake/Scripts/tesh.pl
1026   buildtools/Cmake/Scripts/update_tesh.pl
1027   buildtools/Cmake/Supernovae.cmake
1028   buildtools/Cmake/UnitTesting.cmake
1029   buildtools/Cmake/src/internal_config.h.in
1030   buildtools/Cmake/src/simgrid.nsi.in
1031   buildtools/Cmake/test_prog/prog_AC_CHECK_MCSC.c
1032   buildtools/Cmake/test_prog/prog_gnu_dynlinker.c
1033   buildtools/Cmake/test_prog/prog_gtnets.cpp
1034   buildtools/Cmake/test_prog/prog_mutex_timedlock.c
1035   buildtools/Cmake/test_prog/prog_printf_null.c
1036   buildtools/Cmake/test_prog/prog_sem_init.c
1037   buildtools/Cmake/test_prog/prog_sem_open.c
1038   buildtools/Cmake/test_prog/prog_sem_timedwait.c
1039   buildtools/Cmake/test_prog/prog_snprintf.c
1040   buildtools/Cmake/test_prog/prog_stackgrowth.c
1041   buildtools/Cmake/test_prog/prog_stacksetup.c
1042   buildtools/Cmake/test_prog/prog_thread_storage.c
1043   buildtools/Cmake/test_prog/prog_vsnprintf.c
1044   )
1045
1046 set(PLATFORMS_EXAMPLES
1047   examples/platforms/bypassASroute.xml
1048   examples/platforms/bypassRoute.xml
1049   examples/platforms/cloud.xml
1050   examples/platforms/cluster.xml
1051   examples/platforms/cluster_and_one_host.xml
1052   examples/platforms/cluster_no_backbone.xml
1053   examples/platforms/clusters_routing_full.xml
1054   examples/platforms/conf/gridpp_grid_2004.conf
1055   examples/platforms/conf/gridpp_grid_2004.xml
1056   examples/platforms/conf/lcg_sept2004_grid.conf
1057   examples/platforms/conf/lcg_sept2004_grid.xml
1058   examples/platforms/conf/transform_optorsim_platform.pl
1059   examples/platforms/config.xml
1060   examples/platforms/content/small_content.txt
1061   examples/platforms/content/storage_content.txt
1062   examples/platforms/content/win_storage_content.txt
1063   examples/platforms/data_center.xml
1064   examples/platforms/g5k.xml
1065   examples/platforms/generation_scripts/create_hierarchical_clusters.pl
1066   examples/platforms/generation_scripts/enhancedDTDwithHierarchicalCluster.pl
1067   examples/platforms/generation_scripts/generate_g5k_platform.pl
1068   examples/platforms/generation_scripts/generate_g5k_platform_cabinets.pl
1069   examples/platforms/griffon.xml
1070   examples/platforms/torus_cluster.xml
1071   examples/platforms/meta_cluster.xml
1072   examples/platforms/multicore_machine.xml
1073   examples/platforms/prop.xml
1074   examples/platforms/routing_cluster.xml
1075   examples/platforms/storage.xml
1076   examples/platforms/syscoord/generate_peer_platform.pl
1077   examples/platforms/syscoord/median_harvard.syscoord
1078   examples/platforms/syscoord/median_harvard.xml
1079   examples/platforms/syscoord/median_meridian.syscoord
1080   examples/platforms/syscoord/median_meridian.xml
1081   examples/platforms/syscoord/median_p2psim.syscoord
1082   examples/platforms/syscoord/median_p2psim.xml
1083   examples/platforms/two_peers.xml
1084   examples/platforms/vivaldi.xml
1085   )
1086
1087 set(generated_src_files
1088   src/xbt/automaton/automaton_lexer.yy.c
1089   src/xbt/automaton/parserPromela.tab.cacc
1090   src/xbt/automaton/parserPromela.tab.hacc
1091   )
1092
1093 foreach(file ${generated_src_files})
1094   set_source_files_properties(${file} PROPERTIES GENERATED true)
1095 endforeach(file ${generated_src_files})