[llvm-commits] [polly] r134152 - /polly/trunk/www/get_started.html

[Tobias Grosser]

Author: grosser
Date: Thu Jun 30 09:07:23 2011
New Revision: 134152

URL: http://llvm.org/viewvc/llvm-project?rev=134152&view=rev
Log:
www: How to use most recent version of isl

In some cases it is necessary to use a version of isl that is more recent than
the one included with CLooG. Point out what is needed to get such a version.

Modified:
    polly/trunk/www/get_started.html

Modified: polly/trunk/www/get_started.html
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/www/get_started.html?rev=134152&r1=134151&r2=134152&view=diff
==============================================================================
--- polly/trunk/www/get_started.html (original)
+++ polly/trunk/www/get_started.html Thu Jun 30 09:07:23 2011
@@ -28,8 +28,8 @@
 <h3> Install ISL / CLooG libraries </h3>
 
 Polly requires the latest versions of <a href="http://www.cloog.org">CLooG</a>
-and <a href="http://repo.or.cz/w/isl.git">isl</a> to be installed. The CLooG git
-repository contains both the latest version of CLooG and isl.
+and the version of <a href="http://repo.or.cz/w/isl.git">isl</a> included with
+CLooG. To install both use the following commands.
 
 <pre>
 git clone git://repo.or.cz/cloog.git
@@ -41,6 +41,27 @@
 make install
 </pre>
 
+<h4 id="islTrunk">Use isl trunk</h4>
+
+In rare case it is necessary to use an isl version that is even newer than
+the one included in CLooG. This may happen, because we work in close interaction
+with the developers of isl such that Polly sometimes uses features that are not
+yet available in the version of isl which is included with CLooG.  To get the
+most recent version of isl perform these additional steps.<br />
+<em>Only perform these steps if a recent mailing list message asks you to do
+so.</em>
+
+<pre>
+cd isl
+git remote update
+git checkout origin/master
+cd ..
+./autogen.sh
+./configure  --with-gmp-prefix=/path/to/gmp/installation --prefix=/path/to/cloog/installation
+make
+make install
+</pre>
+
 <h3> Install Pocc (Optional) </h3>
 
 Polly can use <a href="http://www.cse.ohio-state.edu/~pouchet/software/pocc">