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