+--------------------------------------------------------------------+
| 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 |
+--------------------------------------------------------------------------+
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
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