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