Logo AND Algorithmique Numérique Distribuée

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