blob: 087a63111227761897916563004221cba0e74a36 [file] [log] [blame]
<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" />
<title>Polly - Getting Started</title>
<link type="text/css" rel="stylesheet" href="menu.css" />
<link type="text/css" rel="stylesheet" href="content.css" />
<div id="box">
<!--#include virtual="menu.html.incl"-->
<div id="content">
<h1>Getting Started: Building and Installing Polly</h1>
<h2> Automatic </h2>
There is a <a href="">script</a> available to automatically checkout,
update, build, and test Polly. This script contains all the commands that are
subsequently described on this webpage. The automatic installation consists
of four simple steps:
mkdir polly &amp;&amp; cd polly
chmod +x
<h2> Manual </h2>
<h3 id="source"> Get the code </h3>
The Polly source code is available in the LLVM SVN repository as well as through
an official git mirror. It is added to the <em>tools</em>
directory of the llvm sources.
<b>Polly and LLVM need to be checked out at the same time. Checkouts
from different dates may not work!</b>
<h4>Set the directory layout:</h4>
export BASE=`pwd`
export LLVM_SRC=${BASE}/llvm
export POLLY_SRC=${LLVM_SRC}/tools/polly
# Also build the matching clang-version (optional)
export CLANG_SRC=${LLVM_SRC}/tools/clang
svn checkout ${LLVM_SRC}
svn checkout ${POLLY_SRC}
# Also build the matching clang-version (optional)
svn checkout ${CLANG_SRC}
git clone ${LLVM_SRC}
git clone ${POLLY_SRC}
# Also build the matching clang-version (optional)
git clone ${CLANG_SRC}
<h3 id="prerequisites"> Prerequisites </h3>
<h4> libgmp </h4>
Install libgmp (library + developer package) through the package management
system of your operating system.
<h4> isl</h4>
Polly is tested with a fixed version of isl. To obtain the source code of isl
use as available in ${POLLY_SRC}/utils/
<h4>Set the directory layout:</h4>
export ISL_SRC=${BASE}/isl_src
export ISL_INSTALL=${BASE}/isl_install
<h4> First installation</h4>
${POLLY_SRC}/utils/ ${ISL_SRC}
cd ${ISL_SRC}
./configure --prefix=${ISL_INSTALL}
make install
cd ${BASE}
<h4> Update the installation</h4>
Updating isl may become necessary, if Polly uses a feature
only available in a recent version of isl.
${POLLY_SRC}/utils/ ${ISL_SRC}
cd ${ISL_SRC}
make install
cd ${BASE}
<h3 id="build">Build Polly</h3>
To build Polly you can either use the autoconf or the cmake build system. At the
moment only the autoconf build system allows to run the llvm test-suite and only
the cmake build system allows to run 'make check-polly'.
<h4>Set the directory layout:</h4>
export LLVM_BUILD=${BASE}/llvm_build
mkdir ${LLVM_BUILD}
<h4> Autoconf </h4>
${LLVM_SRC}/configure --with-isl=${ISL_INSTALL}
<h3> Test Polly</h3>
<p>To check if Polly works correctly you can run <em>make check-polly</em> for the
cmake build or <em>make check-polly -C tools/polly/test/</em> for the autoconf
<p>If you get something like <em>"... cannot open shared object file .."</em>,
it is because you installed isl to a non-standard path, and libisl
could not be found. To solve this issue, you need to append the path of parent
directory of libisl, i.e. ${ISL_INSTALL}/lib, to LD_LIBRARY_PATH by:
<p>Also try the above command if you get errors such as:
<code>undefined symbol: isl_ctx_get_max_operations</code>
<p>If you get an error in one of the python files, your system probably uses python3
as default python interpreter. This is the case, for instance, under Arch Linux.
To solve this issue, run <code>cmake</code> again, but with the added argument:
<code>-DPYTHON_EXECUTABLE=/usr/bin/python2</code> (replace <code>/usr/bin/python2</code>
with the location of the python2 interpreter under your system).
<pre>cmake -DCMAKE_PREFIX_PATH=${ISL_INSTALL} -DPYTHON_EXECUTABLE=/usr/bin/python2 ${LLVM_SRC}</pre>
<h2> Optional Features </h2>
<h3> Pocc [Supported until <a href="">LLVM 3.4.2</a>]</h3>
<p>Polly can use <a href="">
PoCC</a> as an external optimizer. PoCC is a research project that provides
an integrated version of <a href="">Pluto</a>, an
advanced data-locality and tileability optimizer. Polly includes internally
already a similar optimizer, such that in general PoCC is not needed. It is
only recommended for people who want to compare against a different
To use it install PoCC 1.0-rc3.1 (the one with Polly support) and add it to your PATH.
wget <a
tar xzf pocc-1.0-rc3.1-full.tar.gz
cd pocc-1.0-rc3.1
export PATH=$PATH:`pwd`/bin
You also need to install scoplib-0.2.0 and provide its location to
Polly's cmake or configure call.
wget <a
tar xzf scoplib-0.2.0.tar.gz
cd scoplib-0.2.0
./configure --enable-mp-version --prefix=/path/to/scoplib/installation
make && make install