Index: BOOK/cross-tools/common/cloog.xml
===================================================================
--- BOOK/cross-tools/common/cloog.xml (revision afc74a1d40d6c62d9f924037d79037f8549ec3f2)
+++ BOOK/cross-tools/common/cloog.xml (revision bcfce32e6318cea519ab7346801df3b4b6b97b05)
@@ -27,5 +27,5 @@
LDFLAGS="-Wl,-rpath,/cross-tools/lib" \
./configure --prefix=/cross-tools --enable-shared --disable-static \
- --with-gmp-prefix=/cross-tools
+ --with-gmp-prefix=/cross-tools --with-isl-prefix=/cross-tools
Compile the package: