1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
|
-- This is the configuration file of SmartEiffel, generated by the
-- SmartEiffel installer.
-- If you have any problems or questions, please:
-- - either look at the SmartEiffel site (http://SmartEiffel.loria.fr)
-- - or contact the SmartEiffel team (SmartEiffel@loria.fr)
-- ======================================================================= --
[General]
-- This section contains some general-purpose keys. They describe how is the
-- SmartEiffel distribution arranged, and on which operating system it was
-- installed.
-- The 'bin' key is the path to the directory that contains the SmartEiffel
-- directory. It is used by 'compile' to find 'compile_to_c'.
-- The 'sys' directory is used to find the C and Java files used by the
-- compilers.
-- The 'short' directory is used by the 'short' utility to format the output.
-- The 'os' key tells on which system SmartEiffel is installed on.
-- At last, 'tag' gives the version of install configuration (used only by the
-- installer)
bin: XXXWORKDIRXXX/SmartEiffel/bin/
sys: XXXWORKDIRXXX/SmartEiffel/sys/
short: XXXWORKDIRXXX/SmartEiffel/short/
os: UNIX
tag: 2
[Environment]
-- This section contains keys that can be used environment variables. They may
-- be used by other sections (typically [Loadpath]) or Ace files.
path_tutorial: XXXWORKDIRXXX/SmartEiffel/tutorial/
path_tools: XXXWORKDIRXXX/SmartEiffel/tools/
path_lib: XXXWORKDIRXXX/SmartEiffel/lib/
[Loadpath]
-- This section contains the default loadpaths used by this SmartEiffel
-- installation.
-- The key is used when naming clusters (SmartEiffel output when a
-- class is not found, or external tools like eiffeldoc)
-- The value of the key is the path to a loadpath file.
-- Note that the loadpath files are read in the order given below.
lib: ${path_lib}loadpath.se
tools: ${path_tools}loadpath.se
tutorial: ${path_tutorial}loadpath.se
-- ======================================================================= --
-- Below are the "C mode" sections. Each C mode describes which C compiler must
-- be called, with which options, which linker, and so on. The keys are
-- described below.
-- The first sections (boost, ..., debug_check) are by default used in
-- conjunction with the corresponding SmartEiffel check level. This behaviour
-- may be changed by using the -c_mode flag.
-- The recognized keys in each section are:
-- 'compiler_type', which tells which is the compiler type to use
-- 'compiler_path', which gives the path to the compiler executable
-- 'compiler_options', which gives some options to the compiler
-- 'linker_path', which gives the path to the linker executable (not used in
-- -no_split mode)
-- 'linker_options', which gives some options for the linker (not used in
-- -no_split mode)
-- 'smarteiffel_options', which gives some extra SmartEiffel options to take
-- into account
[boost]
c_compiler_type: gcc
c_compiler_options: -pipe -O2
cpp_compiler_type: g++
cpp_compiler_options: -pipe -O2
[no_check]
c_compiler_type: gcc
c_compiler_options: -pipe -O1
cpp_compiler_type: g++
cpp_compiler_options: -pipe -O1
[require_check]
c_compiler_type: gcc
c_compiler_options: -pipe
cpp_compiler_type: g++
cpp_compiler_options: -pipe
[ensure_check]
c_compiler_type: gcc
c_compiler_options: -pipe
cpp_compiler_type: g++
cpp_compiler_options: -pipe
[invariant_check]
c_compiler_type: gcc
c_compiler_options: -pipe
cpp_compiler_type: g++
cpp_compiler_options: -pipe
[loop_check]
c_compiler_type: gcc
c_compiler_options: -pipe
cpp_compiler_type: g++
cpp_compiler_options: -pipe
[all_check]
c_compiler_type: gcc
c_compiler_options: -pipe
cpp_compiler_type: g++
cpp_compiler_options: -pipe
[debug_check]
c_compiler_type: gcc
c_compiler_options: -pipe -g
cpp_compiler_type: g++
cpp_compiler_options: -pipe -g
smarteiffel_options: -no_strip
[release]
c_compiler_type: gcc
c_compiler_options: -pipe -O3 -fomit-frame-pointer
cpp_compiler_type: g++
cpp_compiler_options: -pipe -O3 -fomit-frame-pointer
smarteiffel_options: -no_split -compact
|
