GDD installation instructions:
------------------------------

0-Prerequisites

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

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 GDD 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 (or the LIBHOME variable) so
that it points to SCEDA installation path.

To allow easy testing, libGDD include a very basic Arch and GDD xml
parser. To build this parser, libxml2 is needed. If you don't need
this convenient feature, define the value ENABLE_XML_PARSER to "no".
Note that by doing this, libxml2 will not be needed anymore to build
libGDD.  However, most of the examples will fail to compile if this
feature is disablad.

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

make install

or to install in a specified directory:

make install TARGET=/path/to/GDD

To generate the documentation (uses Doxygen), type:

make doc

To compile all the examples, type:

make examples GDD=/path/to/GDD SCEDA=/path/to/SCEDA

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