smarteiffel/serc

   1 -- This is the configuration file of SmartEiffel, generated by the
   2 -- SmartEiffel installer.
   3 -- If you have any problems or questions, please:
   4 --   - either look at the SmartEiffel site (http://SmartEiffel.loria.fr)
   5 --   - or contact the SmartEiffel team (SmartEiffel@loria.fr)
   6 -- ======================================================================= --
   7 [General]
   8
   9 -- This section contains some general-purpose keys. They describe how is the
  10 -- SmartEiffel distribution arranged, and on which operating system it was
  11 -- installed.
  12
  13 -- The 'bin' key is the path to the directory that contains the SmartEiffel
  14 -- directory. It is used by 'compile' to find 'compile_to_c'.
  15
  16 -- The 'sys' directory is used to find the C and Java files used by the
  17 -- compilers.
  18
  19 -- The 'short' directory is used by the 'short' utility to format the output.
  20
  21 -- The 'os' key tells on which system SmartEiffel is installed on.
  22
  23 -- The 'flavor' key gives additional hints on the system SmartEiffel runs on.
  24
  25 -- At last, 'tag' gives the version of install configuration (used only by the
  26 -- installer)
  27
  28 bin: @EIFFEL_HOME/bin/
  29 sys: @EIFFEL_HOME/sys/
  30 short: @EIFFEL_HOME/short/
  31 os: UNIX
  32 flavor: generic
  33 jobs: 0
  34 tag: 3
  35
  36 [Environment]
  37
  38 -- This section contains keys that can be used environment variables. They may
  39 -- be used by other sections (typically [Loadpath]) or Ace files.
  40
  41 path_tools: @EIFFEL_HOME/tools/
  42 path_lib: @EIFFEL_HOME/lib/
  43 path_tutorial: @EIFFEL_HOME/tutorial/
  44
  45 [Loadpath]
  46
  47 -- This section contains the default loadpaths used by this SmartEiffel
  48 -- installation.
  49
  50 -- The key is used when naming clusters (SmartEiffel output when a
  51 -- class is not found, or external tools like eiffeldoc)
  52
  53 -- The value of the key is the path to a loadpath file.
  54
  55 -- Note that the loadpath files are read in the order given below.
  56
  57 lib: ${path_lib}loadpath.se
  58 tools: ${path_tools}loadpath.se
  59 tutorial: ${path_tutorial}loadpath.se
  60
  61 [Tools]
  62
  63 -- This section contains the tools used by the `se' command.
  64
  65 -- The key is the name of the command used by `se'
  66
  67 -- The value of the command to launch, which must be in ${bin} (bin
  68 -- is a key defined above in the [General] section).
  69
  70 c: compile
  71 c2c: compile_to_c
  72 clean: clean
  73 pretty: pretty
  74 short: short
  75 find: finder
  76 ace_check: ace_check
  77 class_check: class_check
  78 doc: eiffeldoc
  79 test: eiffeltest
  80 x_int: extract_internals
  81
  82
  83 -- ======================================================================= --
  84
  85 -- Below are the "C mode" sections. Each C mode describes which C compiler must
  86 -- be called, with which options, which linker, and so on. The keys are
  87 -- described below.
  88
  89 -- The first sections (boost, ..., debug_check) are by default used in
  90 -- conjunction with the corresponding SmartEiffel check level. This behavior
  91 -- may be changed by using the -c_mode flag.
  92
  93 -- The recognized keys in each section are:
  94
  95 -- 'compiler_type', which tells which is the compiler type to use
  96
  97 -- 'compiler_path', which gives the path to the compiler executable
  98
  99 -- 'compiler_options', which gives some options to the compiler
 100
 101 -- 'c_linker_path', which gives the path to the linker executable (not used
 102 --  in -no_split mode)
 103
 104 -- 'c_linker_options', which gives some options for the linker (not used in
 105 --  -no_split mode)
 106
 107 -- 'smarteiffel_options', which gives some extra SmartEiffel options to take
 108 --  into account
 109
 110
 111 [boost]
 112 c_compiler_type: gcc
 113 c_compiler_path: gcc-4.1
 114 c_compiler_options: -pipe -O2
 115 cpp_compiler_type: g++
 116 cpp_compiler_options: -pipe -O2
 117
 118 [no_check]
 119 c_compiler_type: gcc
 120 c_compiler_path: gcc-4.1
 121 c_compiler_options: -pipe -O1
 122 cpp_compiler_type: g++
 123 cpp_compiler_options: -pipe -O1
 124
 125 [require_check]
 126 c_compiler_type: gcc
 127 c_compiler_path: gcc-4.1
 128 c_compiler_options: -pipe
 129 cpp_compiler_type: g++
 130 cpp_compiler_options: -pipe
 131
 132 [ensure_check]
 133 c_compiler_type: gcc
 134 c_compiler_path: gcc-4.1
 135 c_compiler_options: -pipe
 136 c_linker_options: gcc-4.1
 137 cpp_compiler_type: g++
 138 cpp_compiler_options: -pipe
 139
 140 [invariant_check]
 141 c_compiler_type: gcc
 142 c_compiler_path: gcc-4.1
 143 c_compiler_options: -pipe
 144 cpp_compiler_type: g++
 145 cpp_compiler_options: -pipe
 146
 147 [loop_check]
 148 c_compiler_type: gcc
 149 c_compiler_path: gcc-4.1
 150 c_compiler_options: -pipe
 151 cpp_compiler_type: g++
 152 cpp_compiler_options: -pipe
 153
 154 [all_check]
 155 c_compiler_type: gcc
 156 c_compiler_path: gcc-4.1
 157 c_compiler_options: -pipe
 158 cpp_compiler_type: g++
 159 cpp_compiler_options: -pipe
 160
 161 [debug_check]
 162 c_compiler_type: gcc
 163 c_compiler_path: gcc-4.1
 164 c_compiler_options: -pipe -g
 165 cpp_compiler_type: g++
 166 cpp_compiler_options: -pipe -g
 167 smarteiffel_options: -no_strip
 168
 169 [release]
 170 c_compiler_type: gcc
 171 c_compiler_path: gcc-4.1
 172 c_compiler_options: -pipe -O3 -fomit-frame-pointer
 173 cpp_compiler_type: g++
 174 cpp_compiler_options: -pipe -O3 -fomit-frame-pointer
 175 smarteiffel_options: -no_split
 176
 177
 178 -- ======================================================================= --
 179
 180 -- Below is the "Java" section which describes which program must
 181 -- be called by default, with which options, and so on. The keys are
 182 -- described below.
 183
 184 -- The recognized keys in this section are:
 185
 186 -- 'jar', which tells which is the archiver to use to produce Java ARchives.
 187
 188 -- 'jvm', which gives the name of the program providing the Java Virtual Machine.
 189
 190 -- 'javac', which gives the extern compiler used to compile Java plugins.
 191
 192 [Java]
 193 jar: jar
 194 jvm: java
 195 java_compiler: javac