SIRA installation instructions:
-------------------------------

0-Prerequisites

To compile SIRA, you need GNU Make, Doxygen and a C compiler (gcc
for instance). You also need SCEDA, libxml2 and GDD (headers and libraries).

Depending on the solving method you chose, you may also need glpk or
lp_solve.  

Beware that when using glpk, this will taint the library with the
GPLv3.

1-Customise make options in the Makefile.config file.

A default configuration script Makefile.config.linux is given. In most
cases, it is sufficient to create a symbolic link from this file to
Makefile.config, ie:

ln -s Makefile.config.linux Makefile.config

You might want to modify the target installation path of SIRA by
changing the value of TARGET variable. This can also be modified in
the manner you call the "make install" command below.

You may also adjust the SCEDA variable as well as GDD variable (or the
LIBHOME variable) so that they point to the library installation paths.

If you chose lp_solve method, then adjust also the LP_SOLVE variable.

2-Launch the compilation & installation process, ie being in saturation
root directory, type:

make install

or to install in a specified directory:

make install TARGET=/path/to/SIRA

You may also define the METHOD variable to be either "flow" or "glpk"
or "lpsolve" to chose the solving method. By default, the network flow
method is chosen. 

Hence, to build a version of SIRA that makes use of glpk, simply type:

make install METHOD=glpk

Note that some functionalities might be unavailable depending on the
chosen solving method. For instance, the heuristic of negative
circuits elimination is available only when either "glpk" or "lpsolve"
is enabled.

To generate the documentation (uses Doxygen), type:

make doc

To compile all the examples, type:

make examples RS=/path/to/RS SIRA=/path/to/SIRA GDD=/path/to/GDD
SCEDA=/path/to/SCEDA METHOD=<chosen method>

(replace the /path/to/SIRA with the path you just used for
installing SIRA)

(replace also <chosen method> with the method you chose to build
SIRA)

(RS is used by reduction examples)