Index: BOOK/cross-tools/alpha-chapter.xml
===================================================================
--- BOOK/cross-tools/alpha-chapter.xml	(revision 9dc4bfaa625fb106fee5dbb40ef5683caee6d0bc)
+++ BOOK/cross-tools/alpha-chapter.xml	(revision bcfce32e6318cea519ab7346801df3b4b6b97b05)
@@ -22,4 +22,5 @@
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/mpfr.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/mpc.xml"/>
+  <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/isl.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/cloog.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/binutils-32.xml"/>
Index: BOOK/cross-tools/common/cloog.xml
===================================================================
--- BOOK/cross-tools/common/cloog.xml	(revision 9dc4bfaa625fb106fee5dbb40ef5683caee6d0bc)
+++ BOOK/cross-tools/common/cloog.xml	(revision bcfce32e6318cea519ab7346801df3b4b6b97b05)
@@ -27,5 +27,5 @@
 <screen os="b"><userinput>LDFLAGS="-Wl,-rpath,/cross-tools/lib" \
     ./configure --prefix=/cross-tools --enable-shared --disable-static \
-    --with-gmp-prefix=/cross-tools</userinput></screen>
+    --with-gmp-prefix=/cross-tools --with-isl-prefix=/cross-tools</userinput></screen>
 
     <para os="c">Compile the package:</para>
Index: BOOK/cross-tools/mips-chapter.xml
===================================================================
--- BOOK/cross-tools/mips-chapter.xml	(revision 9dc4bfaa625fb106fee5dbb40ef5683caee6d0bc)
+++ BOOK/cross-tools/mips-chapter.xml	(revision bcfce32e6318cea519ab7346801df3b4b6b97b05)
@@ -22,4 +22,5 @@
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/mpfr.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/mpc.xml"/>
+  <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/isl.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/cloog.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/binutils-32.xml"/>
Index: BOOK/cross-tools/mips64-64-chapter.xml
===================================================================
--- BOOK/cross-tools/mips64-64-chapter.xml	(revision 9dc4bfaa625fb106fee5dbb40ef5683caee6d0bc)
+++ BOOK/cross-tools/mips64-64-chapter.xml	(revision bcfce32e6318cea519ab7346801df3b4b6b97b05)
@@ -23,4 +23,5 @@
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/mpfr.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/mpc.xml"/>
+  <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/isl.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/cloog.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/binutils.xml"/>
Index: BOOK/cross-tools/mips64-chapter.xml
===================================================================
--- BOOK/cross-tools/mips64-chapter.xml	(revision 9dc4bfaa625fb106fee5dbb40ef5683caee6d0bc)
+++ BOOK/cross-tools/mips64-chapter.xml	(revision bcfce32e6318cea519ab7346801df3b4b6b97b05)
@@ -23,4 +23,5 @@
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/mpfr.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/mpc.xml"/>
+  <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/isl.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/cloog.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="multilib/binutils.xml"/>
Index: BOOK/cross-tools/ppc-chapter.xml
===================================================================
--- BOOK/cross-tools/ppc-chapter.xml	(revision 9dc4bfaa625fb106fee5dbb40ef5683caee6d0bc)
+++ BOOK/cross-tools/ppc-chapter.xml	(revision bcfce32e6318cea519ab7346801df3b4b6b97b05)
@@ -22,4 +22,5 @@
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/mpfr.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/mpc.xml"/>
+  <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/isl.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/cloog.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/binutils-32.xml"/>
Index: BOOK/cross-tools/ppc64-chapter.xml
===================================================================
--- BOOK/cross-tools/ppc64-chapter.xml	(revision 9dc4bfaa625fb106fee5dbb40ef5683caee6d0bc)
+++ BOOK/cross-tools/ppc64-chapter.xml	(revision bcfce32e6318cea519ab7346801df3b4b6b97b05)
@@ -23,4 +23,5 @@
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/mpfr.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/mpc.xml"/>
+  <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/isl.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/cloog.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="multilib/binutils.xml"/>
Index: BOOK/cross-tools/sparc-chapter.xml
===================================================================
--- BOOK/cross-tools/sparc-chapter.xml	(revision 9dc4bfaa625fb106fee5dbb40ef5683caee6d0bc)
+++ BOOK/cross-tools/sparc-chapter.xml	(revision bcfce32e6318cea519ab7346801df3b4b6b97b05)
@@ -22,4 +22,5 @@
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/mpfr.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/mpc.xml"/>
+  <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/isl.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/cloog.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/binutils-32.xml"/>
Index: BOOK/cross-tools/sparc64-64-chapter.xml
===================================================================
--- BOOK/cross-tools/sparc64-64-chapter.xml	(revision 9dc4bfaa625fb106fee5dbb40ef5683caee6d0bc)
+++ BOOK/cross-tools/sparc64-64-chapter.xml	(revision bcfce32e6318cea519ab7346801df3b4b6b97b05)
@@ -23,4 +23,5 @@
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/mpfr.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/mpc.xml"/>
+  <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/isl.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/cloog.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/binutils.xml"/>
Index: BOOK/cross-tools/sparc64-chapter.xml
===================================================================
--- BOOK/cross-tools/sparc64-chapter.xml	(revision 9dc4bfaa625fb106fee5dbb40ef5683caee6d0bc)
+++ BOOK/cross-tools/sparc64-chapter.xml	(revision bcfce32e6318cea519ab7346801df3b4b6b97b05)
@@ -23,4 +23,5 @@
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/mpfr.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/mpc.xml"/>
+  <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/isl.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/cloog.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="multilib/binutils.xml"/>
Index: BOOK/cross-tools/x86-chapter.xml
===================================================================
--- BOOK/cross-tools/x86-chapter.xml	(revision 9dc4bfaa625fb106fee5dbb40ef5683caee6d0bc)
+++ BOOK/cross-tools/x86-chapter.xml	(revision bcfce32e6318cea519ab7346801df3b4b6b97b05)
@@ -22,4 +22,5 @@
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/mpfr.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/mpc.xml"/>
+  <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/isl.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/cloog.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/binutils-32.xml"/>
Index: BOOK/cross-tools/x86_64-64-chapter.xml
===================================================================
--- BOOK/cross-tools/x86_64-64-chapter.xml	(revision 9dc4bfaa625fb106fee5dbb40ef5683caee6d0bc)
+++ BOOK/cross-tools/x86_64-64-chapter.xml	(revision bcfce32e6318cea519ab7346801df3b4b6b97b05)
@@ -23,4 +23,5 @@
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/mpfr.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/mpc.xml"/>
+  <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/isl.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/cloog.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/binutils.xml"/>
Index: BOOK/cross-tools/x86_64-chapter.xml
===================================================================
--- BOOK/cross-tools/x86_64-chapter.xml	(revision 9dc4bfaa625fb106fee5dbb40ef5683caee6d0bc)
+++ BOOK/cross-tools/x86_64-chapter.xml	(revision bcfce32e6318cea519ab7346801df3b4b6b97b05)
@@ -23,4 +23,5 @@
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/mpfr.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/mpc.xml"/>
+  <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/isl.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="common/cloog.xml"/>
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="multilib/binutils.xml"/>
