lang/SmartEiffel/files/system.se

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