Index: BOOK/temp-system/common/cloog.xml
===================================================================
--- BOOK/temp-system/common/cloog.xml (revision 5ca021c187d7ece0aca5ef2ec3d2a5215027328c)
+++ BOOK/temp-system/common/cloog.xml (revision 4e658f65bd46f0a43d5026806dd46668e261c95f)
@@ -26,5 +26,6 @@
./configure --prefix=/tools \
- --build=${CLFS_HOST} --host=${CLFS_TARGET}
+ --build=${CLFS_HOST} --host=${CLFS_TARGET} \
+ --with-isl=system