Index: BOOK/temp-system/common/cloog.xml
===================================================================
--- BOOK/temp-system/common/cloog.xml (revision 81e259146136f95d1c7bb3d54f21f7d7a1d243b2)
+++ BOOK/temp-system/common/cloog.xml (revision b46be7dc5ead8b7cc25b9dbf8b8fbb9a7a611505)
@@ -29,4 +29,18 @@
--with-isl=system
+
+ The meaning of the new configure option:
+
+
+ --with-isl=system
+
+ This ensures that CLooG will use the version of Isl that was
+ just installed into /tools,
+ rather than the copy in its own source tree.
+
+
+
+
+
+
+