← Back to branch summary

~ubuntu-branches/ubuntu/raring/simgrid/raring

« back to all changes in this revision

Viewing changes to examples/msg/mc/CMakeLists.txt

  • Committer: Package Import Robot
  • Author(s): Martin Quinson
  • Date: 2013-01-31 00:24:51 UTC
  • mfrom: (10.1.6 sid)
  • Revision ID: package-import@ubuntu.com-20130131002451-krejhf7w7h24lpsc
Tags: 3.9~rc1-1
* New upstream release: the "Grasgory" release. Major changes:
  - Gras was completely removed from this version.
  - Documentation reorganization to ease browsing it.
  - New default value for the TCP_gamma parameter: 4MiB

Show diffs side-by-side

added added

removed removed

Lines of Context:
examples/msg/mc/CMakeLists.txt
1
1
cmake_minimum_required(VERSION 2.6)
2
2
 
3
 
set(EXECUTABLE_OUTPUT_PATH "${CMAKE_CURRENT_BINARY_DIR}")
4
 
 
5
 
add_executable(centralized centralized_mutex.c)
6
 
add_executable(bugged1     bugged1.c)
7
 
add_executable(bugged1_stateful bugged1_stateful.c)
8
 
add_executable(bugged2_stateful bugged2_stateful.c)
9
 
add_executable(bugged2     bugged2.c)
10
 
add_executable(bugged3     bugged3.c)
11
 
add_executable(random_test random_test.c)
12
 
add_executable(bugged1_for_liveness automaton.c automatonparse_promela.c bugged1_for_liveness.c)
13
 
add_executable(bugged1_while_liveness automaton.c automatonparse_promela.c bugged1_while_liveness.c)
14
 
add_executable(bugged2_liveness automaton.c automatonparse_promela.c bugged2_liveness.c)
15
 
add_executable(centralized_liveness automaton.c automatonparse_promela.c centralized_liveness.c)
16
 
add_executable(test_snapshot automaton.c automatonparse_promela.c test_snapshot.c)
17
 
 
18
 
target_link_libraries(centralized simgrid m )
19
 
target_link_libraries(bugged1     simgrid m )
20
 
target_link_libraries(bugged1_stateful simgrid m)
21
 
target_link_libraries(bugged2_stateful simgrid m)
22
 
target_link_libraries(bugged2     simgrid m )
23
 
target_link_libraries(bugged3     simgrid m )
24
 
target_link_libraries(random_test     simgrid m )
25
 
target_link_libraries(bugged1_for_liveness     simgrid m )
26
 
target_link_libraries(bugged1_while_liveness     simgrid m )
27
 
target_link_libraries(bugged2_liveness     simgrid m )
28
 
target_link_libraries(centralized_liveness     simgrid m )
29
 
target_link_libraries(test_snapshot     simgrid m )
 
3
if(HAVE_MC)
 
4
  set(EXECUTABLE_OUTPUT_PATH "${CMAKE_CURRENT_BINARY_DIR}")
 
5
 
 
6
  file(MAKE_DIRECTORY "${CMAKE_CURRENT_BINARY_DIR}/test/")
 
7
  file(MAKE_DIRECTORY "${CMAKE_CURRENT_BINARY_DIR}/chord/")
 
8
 
 
9
  add_executable(centralized centralized_mutex.c)
 
10
  add_executable(bugged1     bugged1.c)
 
11
  add_executable(bugged2      bugged2.c)
 
12
  add_executable(bugged3           bugged3.c)
 
13
  add_executable(random_test random_test.c)
 
14
  add_executable(bugged1_liveness bugged1_liveness.c)
 
15
  add_executable(bugged2_liveness bugged2_liveness.c)
 
16
  add_executable(chord/chord_liveness chord/chord_liveness.c)
 
17
  add_executable(test/snapshot_comparison1 test/snapshot_comparison1.c)
 
18
  add_executable(test/snapshot_comparison2 test/snapshot_comparison2.c)
 
19
  add_executable(test/snapshot_comparison3 test/snapshot_comparison3.c)
 
20
  add_executable(test/snapshot_comparison4 test/snapshot_comparison4.c)
 
21
  add_executable(test/snapshot_comparison5 test/snapshot_comparison5.c)
 
22
 
 
23
  target_link_libraries(centralized simgrid m )
 
24
  target_link_libraries(bugged1     simgrid m )
 
25
  target_link_libraries(bugged2     simgrid m )
 
26
  target_link_libraries(bugged3     simgrid m )
 
27
  target_link_libraries(random_test     simgrid m )
 
28
  target_link_libraries(bugged1_liveness     simgrid m )
 
29
  target_link_libraries(bugged2_liveness     simgrid m )
 
30
  target_link_libraries(chord/chord_liveness     simgrid m )
 
31
  target_link_libraries(test/snapshot_comparison1     simgrid m )
 
32
  target_link_libraries(test/snapshot_comparison2     simgrid m )
 
33
  target_link_libraries(test/snapshot_comparison3     simgrid m )
 
34
  target_link_libraries(test/snapshot_comparison4     simgrid m )
 
35
  target_link_libraries(test/snapshot_comparison5     simgrid m )
 
36
 
 
37
endif()
 
38
 
 
39
set(tesh_files
 
40
  ${tesh_files}
 
41
  ${CMAKE_CURRENT_SOURCE_DIR}/bugged1.tesh
 
42
  ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness.tesh
 
43
  ${CMAKE_CURRENT_SOURCE_DIR}/centralized.tesh
 
44
  ${CMAKE_CURRENT_SOURCE_DIR}/chord/chord_neverjoin.tesh
 
45
  ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison1.tesh
 
46
  ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison2.tesh
 
47
  ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison3.tesh
 
48
  ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison4.tesh
 
49
  ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison5.tesh
 
50
  PARENT_SCOPE
 
51
  )
 
52
set(xml_files
 
53
  ${xml_files}
 
54
  ${CMAKE_CURRENT_SOURCE_DIR}/deploy_bugged1_liveness.xml
 
55
  ${CMAKE_CURRENT_SOURCE_DIR}/deploy_bugged1.xml
 
56
  ${CMAKE_CURRENT_SOURCE_DIR}/deploy_bugged2_liveness.xml
 
57
  ${CMAKE_CURRENT_SOURCE_DIR}/deploy_bugged2.xml
 
58
  ${CMAKE_CURRENT_SOURCE_DIR}/deploy_bugged3.xml
 
59
  ${CMAKE_CURRENT_SOURCE_DIR}/deploy_mutex.xml
 
60
  ${CMAKE_CURRENT_SOURCE_DIR}/deploy_random_test.xml
 
61
  ${CMAKE_CURRENT_SOURCE_DIR}/platform.xml
 
62
  ${CMAKE_CURRENT_SOURCE_DIR}/chord/deploy_chord_liveness.xml
 
63
  ${CMAKE_CURRENT_SOURCE_DIR}/test/deploy_snapshot_comparison.xml
 
64
  ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison_platform.xml
 
65
  PARENT_SCOPE
 
66
  )
 
67
set(examples_src
 
68
  ${examples_src}
 
69
  ${CMAKE_CURRENT_SOURCE_DIR}/bugged1.c
 
70
  ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness.c
 
71
  ${CMAKE_CURRENT_SOURCE_DIR}/bugged2.c
 
72
  ${CMAKE_CURRENT_SOURCE_DIR}/bugged2_liveness.c
 
73
  ${CMAKE_CURRENT_SOURCE_DIR}/bugged3.c
 
74
  ${CMAKE_CURRENT_SOURCE_DIR}/centralized_mutex.c
 
75
  ${CMAKE_CURRENT_SOURCE_DIR}/random_test.c
 
76
  ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness.h
 
77
  ${CMAKE_CURRENT_SOURCE_DIR}/bugged2_liveness.h
 
78
  ${CMAKE_CURRENT_SOURCE_DIR}/chord/chord_liveness.c
 
79
  ${CMAKE_CURRENT_SOURCE_DIR}/chord/chord_liveness.h
 
80
  ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison1.c
 
81
  ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison2.c
 
82
  ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison3.c
 
83
  ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison4.c
 
84
  ${CMAKE_CURRENT_SOURCE_DIR}/test/snapshot_comparison5.c
 
85
  PARENT_SCOPE
 
86
  )
 
87
set(bin_files
 
88
  ${bin_files}
 
89
  ${CMAKE_CURRENT_SOURCE_DIR}/parse_dwarf
 
90
  ${CMAKE_CURRENT_SOURCE_DIR}/promela_bugged1_liveness
 
91
  ${CMAKE_CURRENT_SOURCE_DIR}/promela_bugged2_liveness
 
92
  ${CMAKE_CURRENT_SOURCE_DIR}/chord/promela_chord_liveness
 
93
  ${CMAKE_CURRENT_SOURCE_DIR}/test/promela
 
94
  PARENT_SCOPE
 
95
  )
 
96
set(txt_files
 
97
  ${txt_files}
 
98
  PARENT_SCOPE
 
99
  )