+--------------------------------------------------------------------+
    |                              Clay                                  |
    +--------------------------------------------------------------------+

 +--------------------------------------------------------------------------+
 |  / __)(  )    /__\ ( \/ )                                                |
 | ( (__  )(__  /(__)\ \  /         Chunky Loop Alteration wizardrY         |
 |  \___)(____)(__)(__)(__)                                                 |
 +--------------------------------------------------------------------------+
 | Copyright (C) 2012 University of Paris-Sud                               |
 |                                                                          |
 | This library is free software; you can redistribute it and/or modify it  |
 | under the terms of the GNU Lesser General Public License as published by |
 | the Free Software Foundation; either version 2.1 of the License, or      |
 | (at your option) any later version.                                      |
 |                                                                          |
 | This library is distributed in the hope that it will be useful but       |
 | WITHOUT ANY WARRANTY; without even the implied warranty of               |
 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser  |
 | General Public License for more details.                                 |
 |                                                                          |
 | You should have received a copy of the GNU Lesser General Public License |
 | along with this software; if not, write to the Free Software Foundation, |
 | Inc., 51 Franklin Street, Fifth Floor,                                   |
 | Boston, MA  02110-1301  USA                                              |
 |                                                                          |
 | Clay, the Chunky Loop Alteration wizardrY                                |
 | Written by Joel Poudroux, joel.poudroux@u-psud.fr                        |
 +--------------------------------------------------------------------------+


INSTALL
------------------------------

By default Clay is linked with Clan, Candl and Cloog. This is useful to run
Clay with the -c (compile) option. 

If Clan, Cloog (need Osl), Candl, OSL..., are not present on your system 
use the bundled option in the redo.sh and run the get_submodules.sh

Edit the redo.sh to modify the configuration.


  - linked with Clan and ClooG
    -c : input  : .c file
         output : .c file

  - linked with Clan
    --readc : input : .c file

  - linked with ClooG
    --printc : output : .c file

  - linked with Candl 
    Warning: Candl need to be compiled with Piplib in GMP, because Cloog is
    only compatible with GMP (change the variable BITS in the configure of
    Candl).
    If there is a violation, the violation graph is printed otherwise it's the 
    result (scop or .c file).
    You can use the --nocandl to not check dependencies.


Installation:
$ ./redo.sh
$ make install

Alternative installation with CMake:
$ mkdir build
$ cd build
$ cmake .. # -DCMAKE_INSTALL_PREFIX="/your/install/directory"
$ make
$ make test
$ # make install # sudo make install # su -c "make install"
$ make doc
$ make doxygen


SUPPORT
------------------------------

For bug reporting or any suggestions, please send an email to the author
Joel Poudroux <joel.poudroux@u-psud.fr> 
or to
Cedric Bastoul <cedric.bastoul@inria.fr>