Change installation instruction to use a fixed isl version

llvm-svn: 139362

polly/www/get_started.html

@@ -28,36 +28,31 @@ system of your operating system.
 <h3> Install ISL / CLooG libraries </h3>
 
 Polly requires the latest versions of <a href="http://www.cloog.org">CLooG</a>
-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.
+and <a href="http://repo.or.cz/w/isl.git">isl</a> checked out at
+commit cd1939ed06617d00159e8e51b72a804b467e98b4.
 
+<h4> First installation</h4>
 <pre>
 git clone git://repo.or.cz/cloog.git
 cd cloog
 ./get_submodules.sh
+cd isl
+git remote update
+git checkout cd1939ed06617d00159e8e51b72a804b467e98b4
+cd ..
 ./autogen.sh
 ./configure --with-gmp-prefix=/path/to/gmp/installation --prefix=/path/to/cloog/installation
 make
 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>
-
+<h4> Update an earlier installation</h4>
 <pre>
+git pull
 cd isl
 git remote update
-git checkout origin/master
+git checkout cd1939ed06617d00159e8e51b72a804b467e98b4
 cd ..
-./autogen.sh
-./configure  --with-gmp-prefix=/path/to/gmp/installation --prefix=/path/to/cloog/installation
 make
 make install
 </pre>