-- 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://opensvn.csie.org/traccgi/smarteiffel12)
--   - or contact the SmartEiffel12 team (smarteiffel@except.com.ar)
-- ======================================================================= --
[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 fotmat 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: /usr/local/smarteiffel-1.2r7/bin/
sys: /usr/local/smarteiffel-1.2r7/sys/
short: /usr/local/smarteiffel-1.2r7/short/
os: UNIX
tag: 1

[Loadpath]

-- This section contains the default loadpaths used by this SmartEiffel
-- installation.

-- The key is a mere description and serves no other purpose,

-- The value of the key is the path to a loadpath file.

-- Note that the loadpath files ar read in the order given below.

lib: /usr/local/smarteiffel-1.2r7/lib/loadpath.se
tools: /usr/local/smarteiffel-1.2r7/tools/loadpath.se
tutorial: /usr/local/smarteiffel-1.2r7/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: -O2 -fno-strict-aliasing -pipe
cpp_compiler_type: g++
cpp_compiler_options:  -O2 -fno-strict-aliasing -pipe

[no_check]
c_compiler_type: gcc
c_compiler_options: -O2 -fno-strict-aliasing -pipe
cpp_compiler_type: g++
cpp_compiler_options:  -O2 -fno-strict-aliasing -pipe

[require_check]
c_compiler_type: gcc
c_compiler_options: -O2 -fno-strict-aliasing -pipe
cpp_compiler_type: g++
cpp_compiler_options:  -O2 -fno-strict-aliasing -pipe

[ensure_check]
c_compiler_type: gcc
c_compiler_options: -O2 -fno-strict-aliasing -pipe
cpp_compiler_type: g++
cpp_compiler_options:  -O2 -fno-strict-aliasing -pipe

[invariant_check]
c_compiler_type: gcc
c_compiler_options: -O2 -fno-strict-aliasing -pipe
cpp_compiler_type: g++
cpp_compiler_options:  -O2 -fno-strict-aliasing -pipe

[loop_check]
c_compiler_type: gcc
c_compiler_options: -O2 -fno-strict-aliasing -pipe
cpp_compiler_type: g++
cpp_compiler_options:  -O2 -fno-strict-aliasing -pipe

[all_check]
c_compiler_type: gcc
c_compiler_options: -O2 -fno-strict-aliasing -pipe
cpp_compiler_type: g++
cpp_compiler_options:  -O2 -fno-strict-aliasing -pipe

[debug_check]
c_compiler_type: gcc
c_compiler_options: -O2 -fno-strict-aliasing -pipe
cpp_compiler_type: g++
cpp_compiler_options:  -O2 -fno-strict-aliasing -pipe
smarteiffel_options: -no_strip

[release]
c_compiler_type: gcc
c_compiler_options: -O2 -fno-strict-aliasing -pipe
cpp_compiler_type: g++
cpp_compiler_options:  -O2 -fno-strict-aliasing -pipe
smarteiffel_options: -no_split -compact
