4.2.1 PolyLib (optional)

To successfully install CLooG with the PolyLib backend, the user first needs to install PolyLib version 5.22.1 or above (default 64 bits version is satisfying as well as 32 bits or GMP multiple precision version). Polylib can be downloaded freely at http://icps.u-strasbg.fr/PolyLib/ or http://www.irisa.fr/polylib/. Once downloaded and unpacked (e.g. using the ‘tar -zxvf polylib-5.22.3.tar.gz’ command), the user can compile it by typing the following commands on the PolyLib’s root directory:

• ./configure
• make
• And as root: make install

Alternatively, the latest development version can be obtained from the git repository:

• git clone git://repo.or.cz/polylib.git
• cd polylib
• ./autogen.sh
• ./configure
• make
• And as root: make install

The PolyLib default installation is /usr/local. This directory may not be inside your library path. To fix the problem, the user should set

export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/local/lib

if your shell is, e.g., bash or

setenv LD_LIBRARY_PATH $LD_LIBRARY_PATH:/usr/local/lib

if your shell is, e.g., tcsh. Add the line to your .bashrc or .tcshrc (or whatever convenient file) to make this change permanent. Another solution is to ask PolyLib to install in the standard path by using the prefix option of the configure script: ‘./configure --prefix=/usr’.

CLooG makes intensive calls to polyhedral operations, and PolyLib functions do the job. Polylib is a free library written in C for the manipulation of polyhedra. The library is operating on objects like vectors, matrices, lattices, polyhedra, Z-polyhedra, unions of polyhedra and a lot of other intermediary structures. It provides functions for all the important operations on these structures.

This document was generated on August 20, 2013 using texi2html 5.0.