Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : more informations if log enabled for mc_liveness
[simgrid.git] / buildtools / Cmake / DefinePackages.cmake
1 ### define source packages
2
3 set(EXTRA_DIST 
4         src/portable.h
5         src/xbt/mallocator_private.h
6         src/xbt/dict_private.h
7         src/xbt/heap_private.h
8         src/xbt/fifo_private.h
9         src/xbt/graph_private.h
10         src/xbt/graphxml_parse.c
11         src/xbt/graphxml.c
12         src/xbt/graphxml.dtd
13         src/xbt/log_private.h
14         src/xbt/ex_interface.h
15         src/xbt/backtrace_linux.c
16         src/xbt/backtrace_windows.c
17         src/xbt/backtrace_dummy.c
18         src/xbt/setset_private.h
19         src/xbt/automatonparse_promela.c
20         src/xbt/mmalloc/attach.c
21         src/xbt/mmalloc/detach.c        
22         src/xbt/mmalloc/keys.c
23         src/xbt/mmalloc/mcalloc.c
24         src/xbt/mmalloc/mfree.c
25         src/xbt/mmalloc/mm_legacy.c             
26         src/xbt/mmalloc/mm.c
27         src/xbt/mmalloc/mmalloc.c
28         src/xbt/mmalloc/mmap-sup.c
29         src/xbt/mmalloc/mmcheck.c
30         src/xbt/mmalloc/mmemalign.c
31         src/xbt/mmalloc/mmprivate.h
32         src/xbt/mmalloc/mmstats.c
33         src/xbt/mmalloc/mmtrace.c
34         src/xbt/mmalloc/mrealloc.c
35         src/xbt/mmalloc/mvalloc.c
36         src/xbt/mmalloc/sbrk-sup.c
37         src/xbt/mmalloc/test/mmalloc_test.c
38         src/surf/maxmin_private.h
39         src/surf/trace_mgr_private.h
40         src/surf/surf_private.h
41         src/surf/surfxml_parse.c
42         src/surf/simgrid_dtd.c
43         src/surf/simgrid.dtd
44         src/surf/network_private.h
45         src/surf/network_gtnets_private.h
46         src/surf/gtnets/gtnets_interface.h
47         src/surf/gtnets/gtnets_simulator.h
48         src/surf/gtnets/gtnets_topology.h
49         src/surf/cpu_ti_private.h
50         src/surf/surf_routing_private.h
51         src/include/simgrid/platf_interface.h
52         src/include/surf/surf_resource.h
53         src/include/surf/datatypes.h
54         src/include/surf/maxmin.h
55         src/include/surf/trace_mgr.h
56         src/include/surf/surf.h
57         src/include/surf/surfxml_parse_values.h
58         src/include/surf/random_mgr.h
59         src/include/surf/surf_resource_lmm.h
60         src/include/xbt/wine_dbghelp.h
61         src/include/xbt/xbt_os_time.h
62         src/include/xbt/xbt_os_thread.h
63         src/include/mc/datatypes.h
64         src/include/mc/mc.h
65         src/include/simix/context.h
66         src/msg/msg_private.h
67         src/msg/msg_mailbox.h
68         src/simdag/private.h
69         src/simdag/dax.dtd
70         src/simdag/dax_dtd.h
71         src/simdag/dax_dtd.c
72         src/gras/DataDesc/ddt_parse.yy.l
73         src/gras/DataDesc/ddt_parse.yy.h
74         src/gras/Virtu/virtu_rl.h
75         src/gras/Virtu/virtu_sg.h
76         src/gras/Virtu/virtu_interface.h
77         src/gras/Virtu/virtu_private.h
78         src/gras/Transport/transport_interface.h
79         src/amok/Bandwidth/bandwidth_private.h
80         src/amok/amok_modinter.h
81         src/simix/private.h
82         src/simix/process_private.h
83         src/simix/host_private.h
84         src/simix/network_private.h
85         src/simix/smurf_private.h
86         src/simix/synchro_private.h
87         
88         src/smpi/private.h
89         src/smpi/smpi_mpi_dt_private.h
90         src/smpi/README
91         src/mk_supernovae.pl
92         
93         examples/gras/ping/ping.h
94         examples/gras/console/ping.h
95         examples/gras/mmrpc/mmrpc.h
96
97         tools/gras/gras_stub_generator.h
98         tools/tesh/run_context.h  
99         tools/tesh/tesh.h
100         
101         src/surf/network_ns3_private.h
102         src/surf/ns3/ns3_interface.h
103         src/surf/ns3/ns3_simulator.h
104         src/surf/ns3/my-point-to-point-helper.h
105         src/surf/ns3/red-queue.h
106 )
107
108 set(XBT_RL_SRC 
109         src/xbt/xbt_rl_synchro.c
110         src/xbt/xbt_rl_time.c
111 )
112
113 set(XBT_SG_SRC 
114         src/xbt/xbt_sg_synchro.c
115         src/xbt/xbt_sg_time.c
116 )     
117
118 set(SMPI_SRC
119         src/smpi/smpi_base.c
120         src/smpi/smpi_bench.c
121         src/smpi/smpi_global.c
122         src/smpi/smpi_mpi.c
123         src/smpi/smpi_pmpi.c
124         src/smpi/smpi_c99.c
125         src/smpi/smpi_f77.c
126         src/smpi/smpi_comm.c
127         src/smpi/smpi_group.c
128         src/smpi/smpi_coll.c
129         src/smpi/smpi_mpi_dt.c
130 )
131
132
133 set(GRAS_RL_SRC
134         src/gras/rl_stubs.c
135         src/xbt/xbt_os_thread.c
136         src/gras/Transport/rl_transport.c
137         src/gras/Transport/transport_plugin_file.c
138         src/gras/Transport/transport_plugin_tcp.c
139         src/gras/Virtu/rl_emul.c
140         src/gras/Virtu/rl_process.c
141         src/gras/Virtu/rl_dns.c
142         src/gras/Msg/rl_msg.c
143         ${XBT_RL_SRC}
144 )
145
146 set(XBT_SRC 
147         src/xbt/snprintf.c
148         src/xbt/xbt_str.c
149         src/xbt/xbt_strbuff.c
150         src/xbt/xbt_sha.c
151         src/xbt/ex.c
152         src/xbt_modinter.h
153         src/gras_modinter.h
154         src/xbt/xbt_virtu.c
155         src/xbt/xbt_os_time.c
156         src/xbt/log.c
157         src/xbt/xbt_log_appender_file.c
158         src/xbt/xbt_log_layout_simple.c
159         src/xbt/xbt_log_layout_format.c
160         src/xbt/mallocator.c
161         src/xbt/dynar.c
162         src/xbt/dict.c
163         src/xbt/dict_elm.c
164         src/xbt/dict_cursor.c
165         src/xbt/dict_multi.c
166         src/xbt/heap.c
167         src/xbt/fifo.c
168         src/xbt/swag.c
169         src/xbt/graph.c
170         src/xbt/set.c
171         src/xbt/xbt_matrix.c
172         src/xbt/xbt_queue.c
173         src/xbt/xbt_synchro.c
174         src/xbt/xbt_peer.c
175         src/xbt/xbt_main.c
176         src/xbt/config.c
177         src/xbt/cunit.c
178         src/xbt/graphxml_parse.c
179         src/xbt/setset.c
180         src/xbt/parmap.c
181         src/xbt/xbt_replay_trace_reader.c
182         src/xbt/lib.c
183         src/xbt/automaton.c
184 )
185
186 if(HAVE_MMAP)
187         set(XBT_SRC
188         ${XBT_SRC}
189         src/xbt/mmalloc/mm.c    
190         )
191 endif(HAVE_MMAP)
192
193 set(GTNETS_SRC 
194         src/surf/gtnets/gtnets_simulator.cc
195         src/surf/gtnets/gtnets_topology.cc
196         src/surf/gtnets/gtnets_interface.cc
197         src/surf/network_gtnets.c
198 )
199
200 set(NS3_SRC
201         src/surf/network_ns3.c
202         src/surf/ns3/ns3_interface.cc
203         src/surf/ns3/ns3_simulator.cc
204         src/surf/ns3/red-queue.cc
205         src/surf/ns3/my-point-to-point-helper.cc
206 )
207         
208 set(SURF_SRC 
209         src/surf/surf_model.c
210         src/surf/surf_action.c
211         src/surf/surf_routing.c
212         src/surf/surf_routing_none.c
213         src/surf/surf_routing_generic.c
214         src/surf/surf_routing_full.c
215         src/surf/surf_routing_floyd.c
216         src/surf/surf_routing_rulebased.c
217         src/surf/surf_routing_dijkstra.c
218         src/surf/surf_routing_cluster.c
219         src/surf/surf_routing_vivaldi.c
220         src/surf/surf_config.c
221         src/surf/maxmin.c
222         src/surf/fair_bottleneck.c
223         src/surf/lagrange.c
224         src/surf/trace_mgr.c
225         src/surf/random_mgr.c
226         src/surf/surf.c
227         src/surf/surfxml_parse.c
228         src/surf/surfxml_parseplatf.c
229         src/surf/cpu.c
230         src/surf/network.c
231         src/surf/network_im.c
232         src/surf/network_constant.c
233         src/surf/workstation.c
234         src/surf/workstation_ptask_L07.c
235         src/surf/cpu_ti.c
236         src/surf/cpu_im.c
237         src/surf/sg_platf.c
238         src/xbt/xbt_sg_stubs.c
239 )
240
241 set(SIMIX_SRC 
242         src/simix/smx_global.c
243         src/simix/smx_deployment.c
244         src/simix/smx_environment.c
245         src/simix/smx_host.c
246         src/simix/smx_process.c
247         src/simix/smx_context.c
248         src/simix/smx_synchro.c
249         src/simix/smx_network.c
250         src/simix/smx_context_base.c
251         src/simix/smx_user.c
252         src/simix/smx_smurf.c
253         src/simix/smx_context_raw.c
254 )
255
256 set(MSG_SRC
257         src/msg/msg_config.c
258         src/msg/msg_task.c
259         src/msg/msg_host.c
260         src/msg/msg_process.c
261         src/msg/msg_gos.c
262         src/msg/msg_global.c
263         src/msg/msg_environment.c
264         src/msg/msg_deployment.c
265         src/msg/msg_mailbox.c
266         src/msg/msg_actions.c
267 )
268
269 set(SIMDAG_SRC
270         src/simdag/sd_global.c
271         src/simdag/sd_link.c
272         src/simdag/sd_task.c
273         src/simdag/sd_workstation.c
274         src/simdag/sd_daxloader.c
275 )
276 if(HAVE_GRAPHVIZ)
277         set(SIMDAG_SRC 
278             ${SIMDAG_SRC} src/simdag/sd_dotloader.c
279         )
280 else(HAVE_GRAPHVIZ)
281         set(EXTRA_DIST
282             ${EXTRA_DIST} src/simdag/sd_dotloader.c
283         )
284 endif(HAVE_GRAPHVIZ)
285
286 set(GRAS_COMMON_SRC
287         src/gras/gras.c
288         src/gras/Transport/transport.c
289         src/gras/Transport/transport_private.h
290         src/gras/Msg/gras_msg_mod.c
291         src/gras/Msg/gras_msg_types.c
292         src/gras/Msg/gras_msg_exchange.c
293         src/gras/Msg/gras_msg_listener.c
294         src/gras/Msg/rpc.c 
295         src/gras/Msg/timer.c
296         src/gras/Msg/msg_interface.h
297         src/gras/Msg/msg_private.h
298         src/gras/Virtu/process.c
299         src/gras/Virtu/gras_module.c
300         src/gras/DataDesc/ddt_create.c
301         src/gras/DataDesc/ddt_convert.c
302         src/gras/DataDesc/ddt_exchange.c
303         src/gras/DataDesc/cbps.c
304         src/gras/DataDesc/datadesc.c
305         src/gras/DataDesc/datadesc_interface.h
306         src/gras/DataDesc/datadesc_private.h
307         src/gras/DataDesc/ddt_parse.c
308         src/gras/DataDesc/ddt_parse.yy.c
309 )
310
311 set(GRAS_SG_SRC
312         src/gras/Transport/sg_transport.c
313         src/gras/Transport/transport_plugin_sg.c
314         src/gras/Virtu/sg_emul.c
315         src/gras/Virtu/sg_process.c
316         src/gras/Virtu/sg_dns.c
317         src/gras/Msg/sg_msg.c
318         ${XBT_SG_SRC}
319 )
320
321 set(AMOK_SRC
322         src/amok/amok_base.c
323         src/amok/Bandwidth/bandwidth.c
324         src/amok/Bandwidth/saturate.c
325         src/amok/PeerManagement/peermanagement.c
326 )
327
328 set(LUA_SRC
329         src/bindings/lua/simgrid_lua.c
330         src/bindings/lua/lua_stub_generator.c
331         src/bindings/lua/lua_console.c
332         src/bindings/lua/lua_utils.c
333         src/bindings/lua/lua_state_cloner.c
334 )
335
336 set(TRACING_SRC
337         src/instr/instr_routing.c
338         src/instr/instr_config.c
339         src/instr/instr_interface.c
340         src/instr/instr_paje.c
341         src/instr/instr_paje_trace.c
342         src/instr/instr_msg_task.c
343         src/instr/instr_msg_process.c
344         src/instr/instr_surf.c
345         src/instr/instr_smpi.c
346         src/instr/instr_simdag.c
347         src/instr/instr_resource_utilization.c
348         src/instr/instr_private.h
349 )
350
351
352 set(JEDULE_SRC
353         include/instr/jedule/jedule_events.h
354         include/instr/jedule/jedule_output.h
355         include/instr/jedule/jedule_platform.h
356         include/instr/jedule/jedule_sd_binding.h
357         src/instr/jedule/jedule_events.c
358         src/instr/jedule/jedule_output.c
359         src/instr/jedule/jedule_platform.c
360         src/instr/jedule/jedule_sd_binding.c
361 )
362
363 set(MC_SRC
364         src/mc/mc_memory.c
365         src/mc/mc_checkpoint.c
366         src/mc/mc_state.c
367         src/mc/memory_map.c
368         src/mc/mc_global.c
369         src/mc/mc_dpor.c
370         src/mc/mc_request.c
371         src/mc/private.h
372         src/mc/mc_liveness.c
373 )
374
375 set(RNGSTREAM_SRC
376         src/rngstreams/RngStream.h
377         src/rngstreams/RngStream.c
378 )
379
380 set(headers_to_install
381         include/xbt/misc.h
382         include/xbt/sysdep.h
383         include/xbt/virtu.h
384         include/xbt/str.h
385         include/xbt/strbuff.h
386         include/xbt/hash.h
387         include/xbt/function_types.h
388         include/xbt/asserts.h 
389         include/xbt/ex.h
390         include/xbt/log.h
391         include/xbt/module.h
392         include/xbt/mallocator.h
393         include/xbt/dynar.h
394         include/xbt/dict.h
395         include/xbt/set.h
396         include/xbt/heap.h
397         include/xbt/graph.h
398         include/xbt/fifo.h
399         include/xbt/swag.h
400         include/xbt/lib.h
401         include/xbt/matrix.h
402         include/xbt/peer.h
403         include/xbt/config.h
404         include/xbt/cunit.h
405         include/xbt/graphxml_parse.h
406         include/xbt/graphxml.h
407         include/xbt/time.h
408         include/xbt/synchro.h
409         include/xbt/synchro_core.h
410         include/xbt/queue.h
411         include/xbt/setset.h
412         include/xbt/mmalloc.h
413         include/xbt/replay_trace_reader.h
414         include/xbt/parmap.h
415         include/xbt/automaton.h
416         include/xbt/automatonparse_promela.h
417         include/simgrid/platf.h
418         include/mc/modelchecker.h
419         include/msg/msg.h
420         include/msg/datatypes.h
421         include/simdag/simdag.h
422         include/simdag/datatypes.h
423         include/smpi/smpi.h
424         include/smpi/mpi.h
425         include/smpi/mpif.h
426         include/smpi/smpi_cocci.h
427         include/surf/surfxml_parse.h
428         include/surf/simgrid_dtd.h
429         include/surf/surf_routing.h
430         include/gras/datadesc.h
431         include/gras/transport.h
432         include/gras/virtu.h
433         include/gras/emul.h
434         include/gras/process.h
435         include/gras/module.h
436         include/gras/messages.h
437         include/gras/timer.h
438         include/amok/peermanagement.h
439         include/amok/bandwidth.h
440         include/instr/instr.h
441         include/gras.h 
442         include/xbt.h
443         include/simix/simix.h
444         include/simix/datatypes.h
445         include/simix/context.h
446 )
447 set(source_of_generated_headers
448         include/simgrid_config.h.in
449         include/smpi/smpif.h.in
450         src/context_sysv_config.h.in)
451
452 ### depend of some variables setted upper
453 # -->CONTEXT_THREADS CONTEXT_UCONTEXT
454 if(${CONTEXT_THREADS}) #pthread
455         set(SURF_SRC
456                 ${SURF_SRC}
457                 src/xbt/xbt_os_thread.c
458                 src/simix/smx_context_thread.c
459                 )
460 else(${CONTEXT_THREADS}) # NOT pthread
461         set(EXTRA_DIST
462                 ${EXTRA_DIST}
463                 src/xbt/xbt_os_thread.c
464                 src/simix/smx_context_thread.c
465                 )
466 endif(${CONTEXT_THREADS})
467
468 if(${CONTEXT_UCONTEXT}) #ucontext
469         set(SURF_SRC
470                 ${SURF_SRC}
471                 src/simix/smx_context_sysv.c
472         )
473 else(${CONTEXT_UCONTEXT}) # NOT ucontext
474         set(EXTRA_DIST
475                 ${EXTRA_DIST}
476                 src/simix/smx_context_sysv.c
477         )
478 endif(${CONTEXT_UCONTEXT})
479
480 # -->HAVE_GTNETS
481 if(HAVE_GTNETS)
482         set(GTNETS_USED 
483                 ${GTNETS_SRC}
484         )
485 else(HAVE_GTNETS)
486         set(GTNETS_USED "")
487         set(EXTRA_DIST
488                 ${EXTRA_DIST}
489                 ${GTNETS_SRC}
490         )
491 endif(HAVE_GTNETS)
492
493 ### Simgrid Lib sources
494 set(simgrid_sources
495         ${XBT_SRC}
496         ${SURF_SRC}
497         ${GTNETS_USED}
498         ${SIMIX_SRC}
499         ${MSG_SRC}
500         ${TRACING_SRC}
501         ${SIMDAG_SRC}
502         ${GRAS_COMMON_SRC}
503         ${GRAS_SG_SRC}
504         ${AMOK_SRC}
505         ${JEDULE_SRC}
506         ${RNGSTREAM_SRC}
507 )
508
509 if(HAVE_MC)
510         set(simgrid_sources
511                 ${simgrid_sources}
512                 ${MC_SRC}
513                 )
514 endif(HAVE_MC)
515
516 if(HAVE_NS3)
517         set(simgrid_sources
518                 ${simgrid_sources}
519                 ${NS3_SRC}
520         )
521 endif(HAVE_NS3)
522
523 # WINDOWS
524 if(WIN32)
525         set(simgrid_sources
526                 ${simgrid_sources}
527                 src/xbt/win32_ucontext.c
528                 src/xbt/xbt_os_thread.c
529                 src/simix/smx_context_thread.c
530                 )
531 endif(WIN32)
532
533 ### Gras Lib sources
534 set(gras_sources
535         ${XBT_SRC}
536         ${GRAS_COMMON_SRC}
537         ${GRAS_RL_SRC}
538         ${AMOK_SRC}
539 )
540
541 if(${HAVE_LUA})
542         set(simgrid_sources
543                 ${simgrid_sources}
544                 ${LUA_SRC}
545         )
546 elseif(${HAVE_LUA})
547         set(EXTRA_DIST
548                 ${EXTRA_DIST}
549                 ${LUA_SRC}
550         )
551 endif(${HAVE_LUA})
552
553 file(GLOB_RECURSE examples_to_install_in_doc
554 "examples/*.c"
555 "examples/*.h"
556 "examples/*.cxx"
557 "examples/*.hpp"
558 "examples/*.rb"
559 "examples/*.lua"
560 "examples/*.java"
561 "examples/*.xml"
562 "examples/*README"
563 )
564
565
566     
567 set(DOC_SOURCES
568         doc/installSimgrid.doc
569         doc/bindings.doc
570         doc/options.doc
571         doc/use.doc
572         doc/tracing.doc
573         doc/pls.doc
574         doc/gtut-howto-design.doc
575         doc/gtut-howto.doc
576         doc/gtut-introduction.doc
577         doc/gtut-main.doc
578         doc/gtut-tour-00-install.doc
579         doc/gtut-tour-01-bones.doc
580         doc/gtut-tour-02-simple.doc
581         doc/gtut-tour-03-args.doc
582         doc/gtut-tour-04-callback.doc
583         doc/gtut-tour-05-globals.doc
584         doc/gtut-tour-06-logs.doc
585         doc/gtut-tour-07-timers.doc
586         doc/gtut-tour-08-exceptions.doc
587         doc/gtut-tour-09-simpledata.doc
588         doc/gtut-tour-10-rpc.doc
589         doc/gtut-tour-11-explicitwait.doc
590         doc/gtut-tour-12-staticstruct.doc
591         doc/gtut-tour-13-pointers.doc
592         doc/gtut-tour-14-dynar.doc
593         doc/gtut-tour-15-manualdatadef.doc
594         doc/gtut-tour-16-exchangecb.doc
595         doc/gtut-tour.doc
596         doc/gtut-tour-recap-messages.doc
597         
598         #doc/index-API.doc
599         doc/index.doc
600         doc/module-amok.doc
601         doc/module-gras.doc
602         doc/module-msg.doc
603         doc/module-sd.doc
604         doc/modules.doc
605         doc/module-surf.doc
606         doc/module-xbt.doc
607         
608         doc/gtut-files/01-bones.c
609         doc/gtut-files/01-bones.output
610         doc/gtut-files/02-simple.c
611         doc/gtut-files/02-simple.output
612         doc/gtut-files/03-args.c
613         doc/gtut-files/03-args.output
614         doc/gtut-files/03-args.xml
615         doc/gtut-files/04-callback.c
616         doc/gtut-files/04-callback.output
617         doc/gtut-files/05-globals.c
618         doc/gtut-files/05-globals.output
619         doc/gtut-files/06-logs.c
620         doc/gtut-files/06-logs.output
621         doc/gtut-files/06-logs.output.error
622         doc/gtut-files/06-logs.output.fmt
623         doc/gtut-files/06-logs.output.fmt-bt
624         doc/gtut-files/06-logs.output.verbose
625         doc/gtut-files/07-timers.c
626         doc/gtut-files/07-timers.output
627         doc/gtut-files/08-exceptions.c
628         doc/gtut-files/08-exceptions.output
629         doc/gtut-files/09-datatype-dump.c
630         doc/gtut-files/09-simpledata.c
631         doc/gtut-files/09-simpledata.output
632         doc/gtut-files/10-rpc.c
633         doc/gtut-files/10-rpc.output
634         doc/gtut-files/11-explicitwait.c
635         doc/gtut-files/11-explicitwait.output
636         doc/gtut-files/11-explicitwait.xml
637         doc/gtut-files/gtut-platform-3nodes.xml
638         doc/gtut-files/gtut-platform.xml
639         doc/gtut-files/Makefile
640         doc/gtut-files/README
641         doc/gtut-files/test.xml
642         
643         doc/webcruft/awstats_logo3.png
644         doc/webcruft/Paje_MSG_screenshot.jpg
645         doc/webcruft/Paje_MSG_screenshot_thn.jpg
646         doc/webcruft/poster_thumbnail.png
647         doc/webcruft/simgrid_logo.png
648         doc/webcruft/simgrid_logo_small.png
649         doc/triva-graph_configuration.png
650         doc/triva-graph_visualization.png
651         doc/simgrid.css
652         
653         doc/Doxyfile.in
654         doc/footer.html.in
655         
656         tools/doxygen/doxygen_postprocesser.pl
657         tools/doxygen/index_create.pl
658         tools/doxygen/toc_create.pl
659         tools/doxygen/bibtex2html_wrapper.pl
660         tools/doxygen/fig2dev_postprocessor.pl
661         tools/doxygen/xbt_log_extract_hierarchy.pl
662 )
663
664 set(DOC_FIGS
665         ${CMAKE_HOME_DIRECTORY}/doc/fig/simgrid_modules.fig
666         ${CMAKE_HOME_DIRECTORY}/doc/fig/simgrid_modules2.fig
667         ${CMAKE_HOME_DIRECTORY}/doc/fig/amok_bw_test.fig
668         ${CMAKE_HOME_DIRECTORY}/doc/fig/amok_bw_sat.fig
669         ${CMAKE_HOME_DIRECTORY}/doc/fig/gras_comm.fig
670 )
671
672 file(GLOB_RECURSE add_src_files
673 "teshsuite/*.c"
674 "teshsuite/*.cxx"
675 "teshsuite/*CMakeLists.txt"
676 "testsuite/*.c"
677 "testsuite/*.cxx"
678 "testsuite/*CMakeLists.txt"
679 "tools/*.c"
680 "tools/*.cxx"
681 "tools/*CMakeLists.txt"
682 "examples/*.c"
683 "examples/*.cxx"
684 "examples/*.lua"
685 "examples/*.rb"
686 "examples/*CMakeLists.txt"
687 "src/bindings/*.lua"
688 "src/bindings/*.rb"
689 "src/bindings/*.c"
690 "src/bindings/*.h"
691 "src/bindings/*CMakeLists.txt"
692 )
693 set(add_src_files
694         ${add_src_files}
695         CMakeLists.txt
696         src/smpi/smpicc.in
697         src/smpi/smpif2c.in
698         src/smpi/smpiff.in
699         src/smpi/smpirun.in
700 )
701
702 file(GLOB_RECURSE xml_files
703 "examples/*.xml"
704 "include/*.xml"
705 "src/*.xml"
706 "teshsuite/*.xml"
707 "testsuite/*.xml"
708 "tools/*.xml"
709 )
710
711 file(GLOB_RECURSE tesh_files
712 "examples/*.tesh"
713 "include/*.tesh"
714 "src/*.tesh"
715 "teshsuite/*.tesh"
716 "testsuite/*.tesh"
717 "tools/*.tesh"
718 )
719
720 set(txt_files
721 "testsuite/surf/trace_A_failure.txt"
722 "testsuite/surf/trace_A.txt"
723 "testsuite/surf/trace_B.txt"
724 "examples/smpi/hostfile"
725 "examples/msg/trace/file.trace"
726 "examples/msg/link5_state.trace"
727 "examples/msg/fafard_state.trace"
728 "examples/msg/jupiter_state.trace"
729 "examples/msg/actions/actions_allReduce.txt"
730 "examples/msg/actions/actions_reduce.txt"
731 "examples/msg/actions/actions.txt"
732 "examples/msg/actions/actions_barrier.txt"
733 "examples/msg/actions/actions_split_p0.txt"
734 "examples/msg/actions/actions_with_isend.txt"
735 "examples/msg/actions/actions_bcast.txt"
736 "examples/msg/actions/actions_split_p1.txt"
737 "examples/msg/actions/CMakeLists.txt"
738 "examples/msg/migration/migration.deploy"
739 "teshsuite/gras/datadesc/datadesc.little32_4"
740 "teshsuite/gras/datadesc/datadesc.little64"
741 "teshsuite/gras/datadesc/datadesc.big32_8_4"
742 "teshsuite/gras/datadesc/mk_datadesc_structs.pl"
743 "teshsuite/gras/msg_handle/test_rl.tesh"
744 "teshsuite/gras/msg_handle/test_sg_32.tesh"
745 "teshsuite/gras/msg_handle/test_sg_64.tesh"
746 "teshsuite/gras/empty_main/test_rl.tesh"
747 "teshsuite/gras/empty_main/test_sg.tesh"
748 "teshsuite/gras/small_sleep/test_sg_32.tesh"
749 "teshsuite/gras/small_sleep/test_sg_64.tesh"
750 "teshsuite/simdag/platforms/bob.fail"
751 "teshsuite/simdag/platforms/bob.trace"
752 "teshsuite/simdag/platforms/bob0_availability_file.trace"
753 "teshsuite/simdag/platforms/bob0_state_file.trace"
754 "teshsuite/simdag/platforms/bob2_availability_file.trace"
755 "teshsuite/simdag/platforms/bob2_state_file.trace"
756 "teshsuite/simdag/platforms/link1.bw"
757 "teshsuite/simdag/platforms/link1.fail"
758 "teshsuite/simdag/platforms/link1.lat"
759 "examples/gras/ping/test_rl.tesh"
760 "examples/gras/rpc/test_rl.tesh"
761 "examples/gras/spawn/test_rl.tesh"
762 "examples/gras/timer/test_rl.tesh"
763 "examples/gras/chrono/test_rl.tesh"
764 "examples/gras/mutual_exclusion/simple_token/test_rl.tesh"
765 "examples/gras/mmrpc/test_rl.tesh"
766 "examples/gras/all2all/test_rl.tesh"
767 "examples/gras/pmm/test_rl.tesh"
768 "examples/gras/synchro/test_rl.tesh"
769 "examples/gras/properties/test_rl.tesh"
770 "examples/gras/ping/test_sg_32.tesh"
771 "examples/gras/rpc/test_sg_32.tesh"
772 "examples/gras/spawn/test_sg_32.tesh"
773 "examples/gras/timer/test_sg_32.tesh"
774 "examples/gras/chrono/test_sg_32.tesh"
775 "examples/gras/mutual_exclusion/simple_token/test_sg_32.tesh"
776 "examples/gras/mmrpc/test_sg_32.tesh"
777 "examples/gras/all2all/test_sg_32.tesh"
778 "examples/gras/pmm/test_sg_32.tesh"
779 "examples/gras/synchro/test_sg_32.tesh"
780 "examples/gras/ping/test_sg_64.tesh"
781 "examples/gras/rpc/test_sg_64.tesh"
782 "examples/gras/spawn/test_sg_64.tesh"
783 "examples/gras/timer/test_sg_64.tesh"
784 "examples/gras/chrono/test_sg_64.tesh"
785 "examples/gras/mutual_exclusion/simple_token/test_sg_64.tesh"
786 "examples/gras/mmrpc/test_sg_64.tesh"
787 "examples/gras/all2all/test_sg_64.tesh"
788 "examples/gras/pmm/test_sg_64.tesh"
789 "examples/gras/synchro/test_sg_64.tesh"
790 "examples/gras/properties/test_sg.tesh"
791 )
792
793 set(txt_files
794         ${txt_files}
795         AUTHORS
796         ChangeLog
797         COPYING
798         LICENSE-LGPL-2.1
799         NEWS
800         TODO
801         configure
802         INSTALL
803 )
804
805 file(GLOB_RECURSE README_files
806 "*README"
807 )
808         
809 string(REPLACE "${CMAKE_HOME_DIRECTORY}/" "" README_files "${README_files}")
810
811 file(GLOB_RECURSE CMAKE_SOURCE_FILES
812 "buildtools/Cmake/Makefile.default"
813 "buildtools/Cmake/test_java.sh"
814 "buildtools/Cmake/*.cmake"
815 "buildtools/Cmake/*.h.in"
816 "buildtools/Cmake/*.pl"
817 "buildtools/Cmake/*.sh"
818 "buildtools/Cmake/test_prog/*.c"
819 "buildtools/Cmake/test_prog/*.cpp"
820 )
821
822 set(bin_files
823 tools/MSG_visualization/colorize.pl
824 tools/sg_unit_extractor.pl
825 tools/simgrid_update_xml.pl
826 buildtools/Cmake/tesh.pl
827 )
828
829 # This is the complete list of what will be added to the source archive
830 set(source_to_pack      
831         ${headers_to_install}
832         ${source_of_generated_headers}
833         ${XBT_RL_SRC}
834         ${EXTRA_DIST}
835         ${SMPI_SRC}
836         ${GRAS_RL_SRC}
837         ${XBT_SRC}
838         ${GTNETS_SRC}
839         ${NS3_SRC}
840         ${SURF_SRC}
841         ${SIMIX_SRC}
842         ${TRACING_SRC}
843         ${MSG_SRC}
844         ${SIMDAG_SRC}
845         ${GRAS_COMMON_SRC}
846         ${GRAS_SG_SRC}
847         ${AMOK_SRC}
848         ${LUA_SRC}
849         ${MC_SRC}
850         ${JEDULE_SRC}
851         ${RNGSTREAM_SRC}
852         ${add_src_files}
853         ${xml_files}
854         ${tesh_files}
855         ${txt_files}
856         ${CMAKE_SOURCE_FILES}
857         ${bin_files}
858         ${DOC_SOURCES}
859         ${DOC_FIGS}
860         ${README_files}
861         buildtools/Cmake/simgrid.nsi.in 
862 )